189可决定性成立吗(3/3)
慕武提出来的要求，作为客人的冯·诺依曼插不上嘴，作为朋友的狄拉克没有意见。
商定好写书的事宜之后，狄拉克回圣约翰学院去取他的个人用品，未来几个月，他打算常驻在这间办公室。
而陈慕武陪着冯·诺依曼，打算随便找家为学生服务的小饭馆里吃点儿东西。
身边没了其他人之后，他终于能和这位目标人物说几句体己话。
之前在哥廷根藏在心中对陈慕武的种种不满，在见到他本人后，慢慢开始烟消云散，到现在早就无影无踪。
身为天才的冯·诺依曼，了解到了他和同为“天才”的陈慕武有哪些不同。
陈博士的天才之处，在于他的大脑之中装着无数个新奇的点子，而这些点子总能恰到好处地被他本人或者是别人证明是正确的。
自己的天才之处则正相反，自己的计算能力，理解领悟能力绝对能算是一流的，属于是一点就透那个类型。
唯一缺的，就是那一点。
这不是刚好和陈博士互补了吗？
冯·诺依曼觉得自己在剑桥大学多留上几个月也不是不可以，争取能多从陈慕武身上薅些羊毛。
这两个人各怀心思，一个把对方当成超级人体计算器，一个把对方当成无敌灵感发生器，因此相处的十分客气。
走在去饭馆的路上，冯·诺依曼还在拍着陈慕武的马屁。
量子力学方面，他姑且还算是一个初学者，只能在自己的老本行数学上找补。
聊着聊着，两个人就聊到了不完备性定理，说这个定理的横空出世，彻底击碎了希尔伯特公理体系的完备性和自洽性。
好么，杆还没抛呢，鱼就先开始咬钩了。
那陈慕武索性把诱饵丢了下去，他转头面向冯·诺依曼，依旧用闲聊似的语气说道：“约翰，你觉得希尔伯特教授提出来的那个公理体系当中的可决定性，是成立的，还是不成立的呢？”
(本章完)
商定好写书的事宜之后，狄拉克回圣约翰学院去取他的个人用品，未来几个月，他打算常驻在这间办公室。
而陈慕武陪着冯·诺依曼，打算随便找家为学生服务的小饭馆里吃点儿东西。
身边没了其他人之后，他终于能和这位目标人物说几句体己话。
之前在哥廷根藏在心中对陈慕武的种种不满，在见到他本人后，慢慢开始烟消云散，到现在早就无影无踪。
身为天才的冯·诺依曼，了解到了他和同为“天才”的陈慕武有哪些不同。
陈博士的天才之处，在于他的大脑之中装着无数个新奇的点子，而这些点子总能恰到好处地被他本人或者是别人证明是正确的。
自己的天才之处则正相反，自己的计算能力，理解领悟能力绝对能算是一流的，属于是一点就透那个类型。
唯一缺的，就是那一点。
这不是刚好和陈博士互补了吗？
冯·诺依曼觉得自己在剑桥大学多留上几个月也不是不可以，争取能多从陈慕武身上薅些羊毛。
这两个人各怀心思，一个把对方当成超级人体计算器，一个把对方当成无敌灵感发生器，因此相处的十分客气。
走在去饭馆的路上，冯·诺依曼还在拍着陈慕武的马屁。
量子力学方面，他姑且还算是一个初学者，只能在自己的老本行数学上找补。
聊着聊着，两个人就聊到了不完备性定理，说这个定理的横空出世，彻底击碎了希尔伯特公理体系的完备性和自洽性。
好么，杆还没抛呢，鱼就先开始咬钩了。
那陈慕武索性把诱饵丢了下去，他转头面向冯·诺依曼，依旧用闲聊似的语气说道：“约翰，你觉得希尔伯特教授提出来的那个公理体系当中的可决定性，是成立的，还是不成立的呢？”
(本章完)