由买买提看人间百态
登录
首页
论坛
未名存档
话题女王
小圈子
马甲追踪
版面排名
流量曲线
水枪排名
发帖量曲线
发帖版面饼图
发帖时间柱图
关于本站
帮助
boards
本页内容为未名空间相应帖子的节选和存档,一周内的贴子最多显示50字,超过一周显示500字
访问原贴
Mathematics版
- 四色定理到底证明了没有?
相关主题
●
四色定理证明有更新了 (转载)
●
哪里有现成的球面几何公理体系?
●
哪位大牛能帮我挑挑这个四色问题证明的错误
●
有没有可能黄导的逻辑在他的公理体系下自洽
●
不知道这个哥德尔定理是不是否定了圣经的神圣性。。。
●
讨论两个悖论
●
几何问题-尺规n等分任意角是难题吗?
●
一个集合能包含它自己么?
●
关于4色图,请教
●
关于反证法的思路
●
Re: 谁能介绍一下哥德尔德不完备性定理马?
●
我想问一下, 同时承认 "自然数" 和 "实数" 的公理体系, 会不会一定有矛盾?
●
Re: 想了解一下关于现代几何的分类
●
李文林 : 希尔伯特
●
zz:希尔伯特23个数学问题及其解决情况
●
夜深人静,谁能科普下老丘这段话是什么意思?
相关话题的讨论汇总
话题: 四色
话题: 定理
话题: 证明
进入Mathematics版参与讨论
1
(共1页)
q****x
发帖数: 7404
1
怎么有人说程序里有bug。陶是不是可以考虑试试。
z*******3
发帖数: 13709
2
不是说有bug
是用穷举法来验证所有的基本图
这种做法是不是可取
你自己思考了
b*******n
发帖数: 5065
3
我证明了,但不太会表述,缺乏
数学系统训练。
哇哈哈。
只需一个公理:
图形复杂度与所必用色数目正相关。
【在 q****x 的大作中提到】
: 怎么有人说程序里有bug。陶是不是可以考虑试试。
1
(共1页)
进入Mathematics版参与讨论
相关主题
●
夜深人静,谁能科普下老丘这段话是什么意思?
●
关于4色图,请教
●
证明可以取无限次子序列吗?
●
Re: 谁能介绍一下哥德尔德不完备性定理马?
●
数学与科学的随想(转贴)
●
Re: 想了解一下关于现代几何的分类
●
数学界的英雄怀尔斯(费马大定理) (zz)
●
zz:希尔伯特23个数学问题及其解决情况
●
四色定理证明有更新了 (转载)
●
哪里有现成的球面几何公理体系?
●
哪位大牛能帮我挑挑这个四色问题证明的错误
●
有没有可能黄导的逻辑在他的公理体系下自洽
●
不知道这个哥德尔定理是不是否定了圣经的神圣性。。。
●
讨论两个悖论
●
几何问题-尺规n等分任意角是难题吗?
●
一个集合能包含它自己么?
相关话题的讨论汇总
话题: 四色
话题: 定理
话题: 证明
未名新帖统计
// 7月16日
#
版面
帖数(主题数)
-
全站
4871 (796)
1
Military
3777 (569)
2
Stock
341 (51)
3
Joke
117 (17)
4
History
116 (3)
5
Automobile
100 (9)
6
USANews
55 (9)
7
Midlife
45 (1)
8
Headline
41 (41)
9
Dreamer
33 (13)
10
FleaMarket
32 (20)
11
Living
30 (7)
* 这里只显示发帖超过25的版面,努力灌水吧:-)
历史上的今天
faintcat妹妹看进来~~
发表于12年前.
NSC, PD 1/7/2007, EB2, ...
发表于11年前.
[FBA求购]MJVE2 758 MJVM2 ...
发表于6年前.
老生常谈,归与不归
发表于10年前.
【申请】Seattle西雅图 版版主——申请人...
发表于9年前.
宝宝出生,头骨骨折,求祝福
发表于9年前.
求推荐舒缓优美的古典音乐
发表于11年前.
百分之一的北京人上北大 中国网友愤怒(转载)
发表于10年前.
新人带狗狗Bailey来报道
发表于12年前.
全世界最有价值的运动队
发表于10年前.
请问大切诺基的质量如何
发表于6年前.
TNND,军版全是BKC
发表于15年前.
Inception
发表于12年前.
微软的有些家属可真恶心,为了卖保险脸都不要了
发表于10年前.
每周坐高铁的苦逼来说说感受吧!!
发表于9年前.