Godel's completeness theorem - _Climbing版 - 未名存档

本页内容为未名空间相应帖子的节选和存档，一周内的贴子最多显示50字，超过一周显示500字访问原贴

_Climbing版 - Godel's completeness theorem

相关主题
● [合集] 看了点儿生物书以后反而对无神论没信心了。。。。	● 有谁帮忙下载两篇文章？李-杨太牛了
● 超越猜想	● 李-杨太牛了，有谁帮忙下载两篇文章？
● Sound and complete	● 发现了一个literature里面谁都没发现的效应
● Re: 谁能介绍一下哥德尔德不完备性定理马？	● 都不要争了，理科古今第一人是Godel
● 日本人很牛啊，解决了4个希尔伯特问题 (转载)	● ZT： ● 歪写数学史
● EE选课，real analysis or numerical analysis....	● 冯·诺依曼：事了拂衣去，深藏功与名
● Proposition, Lemma, Theorem (转载)	● 来几个audi的视频
● 门外汉好奇请教：Faltings Theorem 和 Atiyah-Singer Index Theorem	● Wiki 战争（修改版） (转载)

相关话题的讨论汇总
话题: godel话题: theorem

1

(共1页)

c******n
发帖数: 4965

1

am reading it now, as part of the class
almost driven mad
by full pages of greek letters

1

(共1页)

相关主题
● Wiki 战争（修改版） (转载)	● 日本人很牛啊，解决了4个希尔伯特问题 (转载)
● 旅行证的一个＂是否加入外国国籍＂的问题	● EE选课，real analysis or numerical analysis....
● 挂假单高频套利，这个没办法完全监控住的吧？	● Proposition, Lemma, Theorem (转载)
● 诚征女友（芝加哥）--代友发文	● 门外汉好奇请教：Faltings Theorem 和 Atiyah-Singer Index Theorem
● [合集] 看了点儿生物书以后反而对无神论没信心了。。。。	● 有谁帮忙下载两篇文章？李-杨太牛了
● 超越猜想	● 李-杨太牛了，有谁帮忙下载两篇文章？
● Sound and complete	● 发现了一个literature里面谁都没发现的效应
● Re: 谁能介绍一下哥德尔德不完备性定理马？	● 都不要争了，理科古今第一人是Godel

相关话题的讨论汇总
话题: godel话题: theorem

未名新帖统计// 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的版面，努力灌水吧:-)