x******r
发帖数: 367 | 1 From http://bbs1.creaders.net/education/messages/380036.html
5月28日，美国计算机协会（ACM：the Association for Computing Machinery）的算
法和
计算机理论专业组（SIGACT：Special Interest Group on Algorithms and Computing
Theory）宣布，滕尚华教授及其合作者荣获2008年哥德尔（Godel）奖。
滕尚华是美国波士顿大学计算机系教授，卡耐基梅隆大学博士。主要研究方向为计算几
何、
最优化、互联网算法等。他们此次的获奖工作是Smoothed Analysis of Algorithms:
Why
the Simplex Algorithm Usually Takes Polynomial Time。
哥德尔奖是理论计算机科学领域的最高奖项之一，由EATCS和ACM SIGACT共同评选
http://sigact.acm.org/prizes/godel/, for outstanding papers)，与美国工业与应用 |
|
E*****m
发帖数: 25615 | 2 http://en.wikipedia.org/wiki/Gödel's_ontological_proo
Godel 可以說是有史以來最偉大的邏輯學家，以上是他用很簡單的
modal logic 證明上帝存在。
據說羅素曾經有十五分鐘因為不能找出 ontological proof 的錯誤
而相信上帝存在。
與邏輯同好分享一下。 |
|
E*****m
发帖数: 25615 | 3 不要看到 Godel 就只想到不完備，這裡講的是另一套東西。 |
|
m*********n
发帖数: 540 | 4
这是31楼所有内容，请看清楚啊：
发信人: mengenderen (我信耶稣是救主), 信区: TrustInJesus
标 题: Re: Godel 證明上帝存在
发信站: BBS 未名空间站 (Tue Jun 7 17:36:53 2011, 美东)
那你怎么证明圣经中的书卷不是独立创作呢？
再‘当年的犹太国人数不过数万 ，口耳相传很容易就影响彼此了。’这个就不大认同
了。
就我们中国来说，普遍是佛教信仰，但是中国人却不见得对佛的认识都是一致的。
有些人认为拜个佛像就能保发财，有些人修佛却又说佛教其实是无神论信仰。不是吗。
而圣经历经几千年，其中有些书卷上卷和下卷的作成时间都相差几百年，可是传达的信
息都是一致的。 |
|
m******i
发帖数: 834 | 5 5 月28日，美国计算机协会（ACM：the Association for Computing Machinery）的算
法和计算机理论专业组（SIGACT：Special Interest Group on Algorithms and
Computing Theory）宣布，滕尚华教授及其合作者荣获2008年哥德尔（Gdel）奖。
滕尚华是姚期智讲席教授组成员之一，美国波士顿大学计算机系教授，卡耐基梅隆大学
博士。主要研究方向为计算几何、最优化、互联网算法等。他们此次的获奖工作是
Smoothed Analysis of Algorithms: Why the Simplex Algorithm Usually Takes
Polynomial Time。
哥德尔奖是理论计算机科学领域的最高奖项，由EATCS和ACM SIGACT共同评选。
http://sigact.acm.org/prizes/godel/, for outstanding papers)，与美国工业与应用数学学会（SIAM)乔治·波利亚奖(George Polya Prize,http://www.sia |
|
z*****3
发帖数: 1793 | 6 首先，halting problem和 Godel's incompleteness theorem必然联系。Godel讲的就
是undecidability.我想你是没上过symbolic logic. 要学Godel's incompleteness
theorem必须先学decidability和undecidability。
http://en.wikipedia.org/wiki/On_Formally_Undecidable_Propositio
这篇文章就是出处。
其次，这里的不自洽性是inconsistent，和soundness没关系。Godel 我上symbolic
logic的时候老师是这样翻译的。soundness应该翻译成可靠性。
所以他说的是对的，
“Any effectively generated theory capable of expressing elementary
arithmetic cannot be both consistent and complete”
http://en.wikipedia.org/wiki/Göd... 阅读全帖 |
|
e*******n
发帖数: 4912 | 7 201. Nobert Wiener听学术报告的习惯是一般迟到几分钟，然后在
第一排坐下，拿出本杂志很认真的看，如果他比较累就会睡上
一觉，在报告快结束时问一个关键的问题，或者自己来做一个
小型报告
Wiener经常会让人列出美国最伟大的十个数学家，1930s有一
次在duke大学的一次数学会议上，一些人故意只列出9个，然
后观察Wiener那种表情
202. 在Princeton大学曾经流传着一些数学家证明定理的“显然”
标准
if Wedderburn says it's obvious,everybody in the
room has seen it ten minutes ago
if Bohnenblust says it's obvious,it's obvious
if Bochner says it's obvious,you can figure it out
in half an hour
if von Neumann says it's obvious,you can prove it
in three months if you are a genius
if... 阅读全帖 |
|
l*****n
发帖数: 125 | 8 Godel的定理简单的说就是证明了"arithmetic is not recursively enumerable."
RE是比decidability弱一些的一个性质，并不要求程序终止，也可以叫做
semidecidable。所以证明了arithmetic不是RE的当然也就证明了arithmetic不是
decidable的。所以，理解Godel的定理需要知道什么是RE，当然和decidability也有关
系，但是说要学Godel's incompleteness theorem必须先学decidability和
undecidability，个人觉得还是未必，呵呵。
至于证明，我也说了，halting problem和Godel的定理有类似的地方，都可以用到对角
线方法（也可以不用，两者都有不止一种证法），本质上都是在构造逻辑悖论，但并不
代表他们描述的是同一个性质，一个是关于RE，一个是关于decidability。
关于inconsistency，看来是我表述不清，每个人都以为我把自洽性当成soundness，其
实我并没有这个意思。我没提inconsistency是因为这... 阅读全帖 |
|
f*c
发帖数: 687 | 9 Godel入美籍的时候，需要通过一个关于美国政治历史的考试。于是Godel开始认真研读
美国宪法；可是一读之下，他认为自己发现了宪法里一个逻辑矛盾之处，感到非常不爽
，以至于入籍那天需要Morgenstern和Einstein两人陪他去； Morgenstern负责开车，
Einstein负责东扯西扯转移Godel的注意力。
如果Godel是中国人，给儿子办旅行证，不知他会怎么想。。。 |
|
b***e
发帖数: 1419 | 10 大哥，Godel证明的是算术系统的自洽性在算数系统本身的表示中是无法证明的。说白
了就是你自己没办法证明你自己是对（无矛盾）的。算术系统的自洽性由逻辑学家
Gentzen在1936年证明了。证明是基于ordinal counting和ordinal induction，所以不
是在Peano Arithmetic可以表示的范围内。故而和Godel's incompleteness不矛盾。
另外实数连续统的独立性（基于集合论的六条公理）不是Godel的工作。是P.J.科恩。
Gedel仅证明的无冲突。 |
|
s**********y
发帖数: 8135 | 11 关于bach和Beethoven，你可以看看这篇文章，写的比较损，有些观点我也不敢苟同，但
是总得来说观点还是挺有意思的，值得一看。不知道为啥一个贴子粘不下，我就分成两
个帖子转载。
古尔德的凳子
2010-06-07 20:24:23
《古尔德的凳子》
作者：adgc
从无极开始谈起。电影“无极”又一次验证了导演陈凯歌是个傻X。吴孟达在大话
西游里问，“为什么要说‘又’呢？” 因为上一次是电影“和你在一起”。陈凯歌显然
认为其身上有点艺术家气质，可以装腔作势的去演一个林耀基级别的小提琴教
授。在剧中有个场景，陈很自以为是的对被其抛弃的女弟子说，“你的音乐中没
有感情啊”。我想陈凯歌一定自以为其深得音乐之精髓，所以在片尾安排唐韵一
把鼻涕一把眼泪在火车站拉柴D，看起来确实充满了感情。而当时，忍耐已久的
我已是浑身发冷，接近崩溃的边缘，真想冲着唐韵大喝一声，“你他妈把眼泪鼻
涕擦干净了再来拉”。出于对总是很自恋的陈凯歌的厌恶，从那电影之后，我常
在想，音乐就一定要和人类的感情联系在一起么，音乐真的就那么狭隘，一定
要限制在人们吃饱了饭之后大脑中的某些神经兴奋。如果是那样，那跟艺术的
美又... 阅读全帖 |
|
g****t
发帖数: 31659 | 12 functional programming逐步变成非显学。人少的时候我来趁机发个言。
计算机科学第一重要的自然律，我觉得是universal Turing machine
或者church－turing thesis的构造性证明。
它绝对不是显然的。一个系统内部可以有自己的严格表示。这绝对不是显然的。
觉得是显然的，可以猜一下多久量子计算机会有universal machine
三大计算系统，Godel，Church，Turing的等价性，是Turing证明的。
Church率先发表，但是证明中间有gap。正确的证明需要通过Turing 的工具。
Godel没有指出Church证明中的数学正确性问题（我怀疑他知道）。
Godel毫不含糊的说，Turing统一的定义了可计算性。（指的是概念的建模方面）
从实践的角度，图灵1936年的一个单独论文提出，给一个函数f（n），
要定义f（n－1）的一些属性，有一个办法可以用函数调用方便的做到。
这就是loop用lambda calculus／function call实现的一般技术。
或者goto用函数调用来实现的起源。
这是我看到的第一个用... 阅读全帖 |
|
g****t
发帖数: 31659 | 13 functional programming逐步变成非显学。人少的时候我来趁机发个言。
计算机科学第一重要的自然律，我觉得是universal Turing machine
或者church－turing thesis的构造性证明。
它绝对不是显然的。一个系统内部可以有自己的严格表示。这绝对不是显然的。
觉得是显然的，可以猜一下多久量子计算机会有universal machine
三大计算系统，Godel，Church，Turing的等价性，是Turing证明的。
Church率先发表，但是证明中间有gap。正确的证明需要通过Turing 的工具。
Godel没有指出Church证明中的数学正确性问题（我怀疑他知道）。
Godel毫不含糊的说，Turing统一的定义了可计算性。（指的是概念的建模方面）
从实践的角度，图灵1936年的一个单独论文提出，给一个函数f（n），
要定义f（n－1）的一些属性，有一个办法可以用函数调用方便的做到。
这就是loop用lambda calculus／function call实现的一般技术。
或者goto用函数调用来实现的起源。
这是我看到的第一个用... 阅读全帖 |
|
R******e
发帖数: 623 | 14 不知道数理逻辑算个啥，可大家公认做数理逻辑的Godel是一流数学家，这Godel也真不
知趣，也玩过广相，也不知道小爱和他天天一块交往逛荡啥，难道是基友？
你说对了，我确实不是做数学或者物理的。可微积分实变函数复变函数与泛函基本都跟
相对论无关，倒是微分几何跟相对论关系密切。
数理逻辑吗，你说说公认20世纪前三的两位数学家有两个下大力气研究过，难道这两个
数学家都是闲的？
大家天天离不开的电脑啊手机啊甚至电梯和红绿灯等等的理论基础都发源于数理逻辑或
者相关的研究，说说，这学科到底算啥？
听说过set theory，不知道它算啥，也听说过model theory，好像有做代数几何的都在
用这个东西。其他两个就不说了。不知道这些算啥？ |
|
E*****m
发帖数: 25615 | 15 既然你要講 Godel, 那麼問你點正經的
1. Godel Incompleteness Theorem 是對countable infinite 的 axiom
systems 就有效，還是對不可數的公理系統才有效？
2. 請問什麼叫做"描述一个可数无穷的理论集合，根本无法描述不可数
无穷的理论集合", 可否具體說明？ "理论集合" 英文是什麼？你這是在講
自然科學還是數學？
先兩個問題吧
描述 |
|
f******k
发帖数: 297 | 16 进化论可行性的问题其实Godel也思考过，这里引用他的话(A Logical Journey: From
Godel to Philosophy, MIT Press 1997)
I believe that mechanism in biology is a prejudice of our time which will be
disproved.In this case, one disproof, in my opinion, will consist in a
mathematical theorem to the effect that the formation within geological time
of a human body by the laws of physics (or any other laws of similar nature
), starting from a random distribution of the elementary particles and the
field, is as unlikely as the separ... 阅读全帖 |
|
g****t
发帖数: 31659 | 17 你说的大致不错.但除了business,实用用取向之外.
也不能完全忽略学术取向的东西.
要知道Godel发表包括Godel numbering,一般递归函数等等的论文的时候
才25岁.你怎么知道新的语言就一定要从大公司出来才有前途?
现在有些phd论文就是一个完全的语言设计.全无价值吗? 我看未必.
学术界的论文,哪怕mit AI lab的文章或者产品,因为取向不是实用.
所以绝大多数都可以被看作垃圾.但我仍然认为这个方向是不应被完全忽略的存在. |
|
g****t
发帖数: 31659 | 18 这个不容易证明。当年是图灵自己证明的。
简化证明我印象里：
用图灵机写一个lambda解释器。证明Turing 》 Lambda
然后还用Y combinator证明一个Turing 《 General recursive （Godel）
然后用Church coding证明 Godel= Church
A》B，B《A 所以能力相同?
步骤我记不太清了。very shock |
|
b***e
发帖数: 1419 | 19 笑话，有矛盾的逻辑系统怎么能用呢？一个non-trivial的
逻辑系统的最最最最基本的要求就是要无矛盾，也就是说，
不是所有的东西都是真的。
如果对数理逻辑有兴趣的话，请看看基本的textbook, 搞清楚
形式化系统正确性(soundness)和完备性(completeness)的区别。
一个形式化系统起码要是正确的。如果完备更好，实在完备不了
也能用。
一个形式化系统正确的意思是，所有可以由此系统证明的东西
相对于其形式语义来讲都是正确的。完备的意思是，所有在形式
语义上正确的东西都可以被形式化地证明。
Godel's Incompleteness是说，一阶算术的定义是不完备的。也
就是说，存在一个正确的statement无法被现存的公理形式化的证明。
于是人们自然可以想到，那么可不可以将无法证明的statement作为
公理加入系统，以期达到完备呢？Godel's进一步说：No! 即使你
加入了新的公理，必然还可以找到语义正确但无法形式化证明的
statement。所以结论是，永远无法得到一个完备的一阶算术系统。
如果通俗的讲，应该说：人们永远无法了解全部的事实。无论数学
如何 |
|
f*********g
发帖数: 632 | 20 你先别扣帽子，仔细算算再说。
Martin Davis也是科盲？他所引的好像是selected papers of Kurt Godel.Godel可是
在广相上有贡献的人，不会也是科盲吧？ |
|
S******y
发帖数: 39 | 21
There is a Pulitzer-prize winning book called "Godel, Escher and Bach",
An Eternal Golden Braid that also discussed paradoxes and Godel theorem.
I ordered the book from Amazon.com a couple of years ago, it was out of
print then, back now the reprint came out shortly after.
It also had a Chinese version: "GEB - 一条永恒的金带“ |
|
i*****g
发帖数: 11893 | 22 估计费吗应该是个 洞察力很好的人，能提出猜想
看了看Godel的传记，在我们一般人看来，数学就是公式，变化
这些其实是最下乘的
其次是条理，完整证明，这个其实是中乘本事
能洞察，给出个猜想，命题，是上乘本事（当然，要求证明能力一点也不低）
但要说费吗证明了那些，就不可信了。
他真要露一手，又保留绝技，可以在别人必经的路上，勾勒3-5个要点，
类似爬山，在必经路上，留下某某到此一游，到顶峰再留下某某到此一游
唉，学那些有什么用呢，估计纯数学wsn的日子 也很难熬 |
|
h*i
发帖数: 3446 | 23 佛教如何辩论的我不懂。但我倾向于相信蒙古人不是愚蠢的judge。同台辩论，辩不过
只能说明水平不如人。
逻辑有很多种的，公理系统不同，可以有很多不同的逻辑。从数学角度说，不同公理系
统的逻辑没有好坏之分，而且根据godel定理，也不能证明自己是自洽的。
但是，人总想分个好坏，所以我理解蒙古人为啥举办这样的辩论。如果我们假设不同的
宗教文化的公理系统不一样，但非要分个好坏的话，也许佛教的公理系统和人的常识最
融洽，漏洞最小。 |
|
s*******w
发帖数: 2257 | 24 华夏文摘】老钱：硅谷传奇：计算机发展简史- -（附录）
发表于 2016 年 04 月 22 日 由 老钱
人类的进步主要由两个部分组成：一是人类的组织原则和组织结构的进步，另一个是科
学技术的进步。近代以来，人类在组织原则和组织结构方面的进步相对比较缓慢。但是
，科学与技术则有了翻天覆地的变化。用理工科的说法就是，以往的世代里，科技进步
是线性的，近代以来则是以指数形式在发展。近代的科技发展，赋予了人类无以伦比的
力量。这么说吧，要是把人类和地球上其他物种进行比较的话，今天人类的能力堪比上
帝。
十八世纪的第一次工业革命给我们带来了蒸汽机，人类在力量、速度、和距离上开始主
宰世界，这是力学与热学综合应用的产物。十九世纪和二十世纪初的第二次工业革命，
给我们带来了新能源，电力、石油、化工等等新兴产业主宰了我们的日常生活，尽管这
次工业革命也带来了一场世界性的农业革命，但从此人们对土地的依赖越来越弱了。这
是热力学、电磁学、化学综合应用的产物。到了二十世纪末，一场彻底改变人类传统生
活方式的工业革命发端了。这是以技算机、互联网、无线通讯兴起的产业革命。这是以
量子力学为代表的近代物理的综... 阅读全帖 |
|
m********6
发帖数: 1283 | 25 人均定理发现率
最重要的100个数学定理,中国人发现了几个? 1个?
1 根号2的无理性
毕达哥拉斯 和他的学派 公元前500年
2 代数基本定理
卡尔•弗里德里希•高斯（Karl Frederich Gauss）
1799
3 实数集的不可数
康托（Georg Cantor）
1867
4 勾股定理
毕达哥拉斯 和他的学派
公元前500 年
5 素数定理
阿达玛（Jacques Hadamard） 和普森Charles-Jean de la Vallee Poussin(分别地)
1896
6 哥德尔不完全性定理
哥德尔（Kurt Godel）
1931
7 二次互反律
高斯（Karl Frederich Gauss）
1801
8 三分角 与倍立方体的不可能
旺策尔（Pierre Wantzel）
1837
9 圆的面积
阿基米得（Archimedes）
公元前225
10 费马小定理的欧拉推广(Fermat’s Little Theorem)
欧拉（Leonhard Euler）
... 阅读全帖 |
|
b***y
发帖数: 14281 | 26 证明人类的逻辑基础是不完整的，顿时超越其他一切成就。 |
|
|
i*****g
发帖数: 11893 | 28 这个这个闲扯一下
据传记说，莱布尼兹看见了牛顿小圈子传播的手稿，开始了微积分
我个人相信他是受到了牛顿的启发，但他很不承认这一点
再继续8卦，高斯评价很高的人里面有牛顿
哥德尔Godel，评价极高的人里面也有牛顿
看超级人物到什么程度，最好的办法是看后来超级人物对他前辈的评价；因为他们到了
那个地步，知道什么是一般性的牛人，什么是超级人物。这些人物心里有数，能感觉，
能判断 |
|
t***h
发帖数: 5601 | 29 你的说法漏洞百出.
1. 象复数、群论、解析数论、非欧几何等数学分支, 绝对不是什么“没名气的”“一
堆手稿”. 事实上, 这些都是历史上很多数学家下了很大功夫研究的热门领域. 但是这
些数学成果在科学和工程上的应用, 则往往在上百年后才被人们认识到.
2. 牛顿的很多研究在当时也没有实际应用, 至少引力理论在当时没法用来指导火箭制
造. 再举个例子, 牛顿做的三棱镜分光实验, 在他那个年代也解决不了什么实际问题.
类似的例子还很多, 比如伽利略做的比萨斜塔扔球实验, 按照你的说法, 又有什么用呢?
3. 历史上有不少数学家在其它学科也有贡献, 不过多数数学家的研究领域还是集中在
数学里. 如Lebesgue, Cantor, Poincare, Godel, Hardy,等等. 中国的陈省身和华罗
庚也是如此. |
|
i******0
发帖数: 609 | 30 Nah, far from it.
Heavy-weight figures are Godel, Turing, and Church.
：他是
：计算机之父。 |
|
i******0
发帖数: 609 | 31 这个不是他让不让的问题。冯诺伊曼在计算机领域的地位本来就没你以为的那么高。不
知道什么原因，二十多年前的国内计算机教材把他捧得很高，对真正的奠基人图灵却一
笔带过，只说图灵奖是计算机界的顶级荣誉。
图灵之所以有那么高的地位是因为他的模型令人信服地解决了什么是effectively
computable的定义的问题。尽管大家目前还是用Church-Turing Thesis来定义它，但是
在众多包括Church的lambda calculus, Godel-Herbrand General Recursion等等与之
等价的计算模型中，Turing Machine更准确地定义了可计算性的上界。歌德尔在1936年
看到图灵的论文后对其模型很推崇。
奉劝楼主一句，自己不懂的领域别光靠看点演义性质的资料就出来得瑟。
：不要脸的牛人多了去了，特别是当代。所以他能够不占别人便宜，主动让credits,就
是值得称道。
： |
|
z**********e
发帖数: 22064 | 32 http://hx.cnd.org/?p=123650
老钱
人类的进步主要由两个部分组成：一是人类的组织原则和组织结构的进步，另一个是科
学技术的进步。近代以来，人类在组织原则和组织结构方面的进步相对比较缓慢。但是
，科学与技术则有了翻天覆地的变化。用理工科的说法就是，以往的世代里，科技进步
是线性的，近代以来则是以指数形式在发展。近代的科技发展，赋予了人类无以伦比的
力量。这么说吧，要是把人类和地球上其他物种进行比较的话，今天人类的能力堪比上
帝。
十八世纪的第一次工业革命给我们带来了蒸汽机，人类在力量、速度、和距离上开始主
宰世界，这是力学与热学综合应用的产物。十九世纪和二十世纪初的第二次工业革命，
给我们带来了新能源，电力、石油、化工等等新兴产业主宰了我们的日常生活，尽管这
次工业革命也带来了一场世界性的农业革命，但从此人们对土地的依赖越来越弱了。这
是热力学、电磁学、化学综合应用的产物。到了二十世纪末，一场彻底改变人类传统生
活方式的工业革命发端了。这是以技算机、互联网、无线通讯兴起的产业革命。这是以
量子力学为代表的近代物理的综合应用的产物。
在今天的世界里，对人们日常生活... 阅读全帖 |
|
m********6
发帖数: 1283 | 33 【 以下文字转载自 Military 讨论区 】
发信人: majia12346 (我们灌水好辛苦), 信区: Military
标 题: 人均定理发现率..最重要的100个数学定理,中国人发现了几个? 1个?
发信站: BBS 未名空间站 (Tue Aug 28 05:24:13 2012, 美东)
人均定理发现率
最重要的100个数学定理,中国人发现了几个? 1个?
1 根号2的无理性
毕达哥拉斯 和他的学派 公元前500年
2 代数基本定理
卡尔•弗里德里希•高斯（Karl Frederich Gauss）
1799
3 实数集的不可数
康托（Georg Cantor）
1867
4 勾股定理
毕达哥拉斯 和他的学派
公元前500 年
5 素数定理
阿达玛（Jacques Hadamard） 和普森Charles-Jean de la Vallee Poussin(分别地)
1896
6 哥德尔不完全性定理
哥德尔（Kurt Godel）
1931
7 二次互反律
高斯（Karl Frederich Gau... 阅读全帖 |
|
|
|
l******r
发帖数: 18699 | 36 我的梦想就是进入下面这个名单。我相信我能做到。和你一起共勉。
1.A.N.Kolmogorov ---为概率论建立了公理体系的俄罗斯人。
2.H.Poincare -----H.庞加莱人类历史上最后一位全才科学家。
3.D.Hilbert -----号称数学之王，无数天才的老师。
4.A.E,Nother -----二十世纪代数学执牛耳者，诺特阿姨。
5.Von Neumann-----计算机的发明者，地球人都知道。
6.H.weyl ---你还知道哪个外尔？
7.A.Weil ----韦伊，布尔巴基学派的精神领袖。
8.I.M.Gelfand——首届Wolf奖得主，泛函分析大师。
9.Wiener -----典型的神童，控制论的创立人。
10.Alxsandrff ---
11.Ledesque ----实分析开山鼻祖，被同行认为精神病勒贝格。
12.Shafarevich ----
13.V.I.Arnold---- A.N.Kolmogorov最得意的门徒。
14.Dedekind ------著名的戴德金分割－实数理论。
15.Markov ------马尔可夫？学概率的人都知... 阅读全帖 |
|
m********o
发帖数: 2088 | 37 "最近都数学书，著名的歌得尔不完备性定理，更是令人沮丧，他说，在任何一个理论体
系中，无论你的体系是多么的严密，总会有一些让你说不清道不明的问题，也就是说，
总有一些问题，让你左右为难，就是无法下结论。
例如，对于“我这句话是错的”这个话题，你就是无法说他是对还是错，你试试看？"
The guy had no idea about Godel's incompleteness theorem, but used it to
support his argument about TA?. Pure diaosi |
|
g****t
发帖数: 31659 | 38 例如股票现价100刀。
我挂一个10刀的X手大卖单。然后挂一个埋伏的50刀钓鱼x手小买单。
无知散户看到10刀了，赶快50刀卖给我了。我然后撤掉10刀的大卖单。
X,x之间进进出出，这赚的可不是一点啊。
能玩的花样太多了。而且各种策略之间可以组合迭代。
我怀疑不存在一种策略，可以有效的检查出所有的非法策略。
这就跟Turing停机问题或者Godel不完全定理类似。 |
|
J*****n
发帖数: 4859 | 39
价的4倍一般在，如果是餐馆再加两三倍的markup，如果是酒吧再加。。。遇到一个懂
行的MM，会笑话的。。。
这个只能泡文科小妞而已。
泡理科生要会谈：Black-Scholes,Superstring,Godel Incompleteness,Shanno Theory。
我记得当年读过一个bbs的帖子，里面一个北大的老师说：学分析掌握很多反例最大的
好处就是，当有学妹请教的时候，用可以用一种优雅的格调告诉她。 |
|
e****a
发帖数: 4783 | 40 哥德尔(Kurt Godel) 会来打酱油嘛？ |
|
g****t
发帖数: 31659 | 41 逻辑推理就是你的上帝?
听说过Godel不完全定理么.
再说了,你平常衣食住行的选择,基本伦理观念,文化背景,
民族意识,...,etc,这些有逻辑推理过吗?
那个有逻辑推理，
圣经漏洞百出 |
|
T*********s
发帖数: 2987 | 42 Is that guy 2nd from left Roger Godell? |
|
G*******s
发帖数: 10605 | 43 估计上周对DB太严，这周Godell关照了，结果矫枉过正，GATES这个是很好的TD |
|
|
l*x
发帖数: 14021 | 45 原来 RGII 是 Rex Grossman, 现在成RGIII的替补了。
RGI 是 Rodger Godell，NFL老大。 |
|
w*****r
发帖数: 2061 | 46 也可能Godell一看drama这么爽，直接放弃正式裁判了 |
|
z*i
发帖数: 58873 | 47 Godell has God in his name. not surprised. |
|
g*****e
发帖数: 1301 | 48 I never watched the Ray Rice tape...
--Godell |
|
W*****d
发帖数: 4196 | 49 NFLPA还要让狗戴尔做证人：狗戴尔说wells是公正的， appeal说不公正，狗戴尔做法
官和证人
这事绝对有阴谋，可能是狗戴尔不想当傀儡和Kraft的母狗引发的反攻倒算。这个可以
解释为什么Patriot, Godell 行为这么反常
The most pressing and chilling part for everyone in football remains why did
ESPN, a day after the AFC title game, run a story citing "a league source"
that said 11 of the 12 Patriots footballs were measured to be more than 2
pounds per square inch below the allowable limit? That story, which
suggested significant and organized cheating, turned curiosity into hysteria
. It was... 阅读全帖 |
|
B*****e
发帖数: 9375 | 50
这位同学
我们理解妳对NFL Commissioner猛打拍子的英勇行为非常敬佩非常欣赏
但妳也不能擅自就把他的名字都给改得更高大上 把他给封神了呀
他不是God 只是Good而已 他不叫Godell 叫Goodell
妳心里对他那无尽的敬意和爱戴 还是含蓄一些地表达更好 |
|
