王崎，冯落衣图灵二主桌边让位，示坐。表示，已经认王崎算力，将视位平等非晚辈。图灵王崎笑笑：“显化幻象喝茶，给斟。”
冯落衣首先问王崎：“解决完吗？”
“，苟宝边尾已经做完，边应该报告。次，边……”
“具体必告诉。知。”冯落衣平静。王崎苟宝始实证候，许剑正秘。况，算苟宝够脱离空间站式型辰法器，被剑追，彻底蒸。
冯落衣先跟王崎简与图灵真刚刚话。王崎首先惊服图灵真做，更感叹宇宙物理规律神奇。
宇宙，冯诺依曼机概念，比图灵机更早。非常神奇。冯落衣图灵先靠模仿灵魂魄，规范化冯氏构架，将进步机械化，严格“图灵机”。
科技黑箱特别容易形宇宙，才够支持象。
，神州修士算器算盘间认知首先，算器疑算盘进阶版本。，算器算盘间度版本呢？
【话，目朗读听书app，野果阅读， 安装新版。】
知。
，图灵真接数逻辑突飞猛进，填块空缺。
研究什其名曰“填补空白”骗经费项目。它明确算器基础，让算器展“脚踏实”。
很算器方理论，更加坚实根基。算器方向研究进余更。
按照图灵，“副产品”。思考何绕“判定”候，算器理论做改进。
图灵真真正思考问题，才更让王崎感兴趣。
“您。您刚才尝试做逻辑推理方法，证明……证明问题？”
“希望够绕完备，貌似失败。”图灵真摊书稿，指：“首先。未知变式定义元元元像经常元式做，虚构符号处理未知变式。，假设两变式‘斗’‘牛’别问具体什，假设……”
冯落衣感兴趣。什“假设”思路，很罕见。
另边。王崎却长嘴。
“……分明……”
λ算法，球历史存另外判定证明。
阿兰·图灵导师，数丘奇证明方法。
虽阿兰·图灵终证明λ算法图灵机等价，判定性证明。，两证明法数却截义。续展，图灵机证明λ算法证明走条皇皇。
，王崎图灵真稍显清秀脸，唏嘘。
啊。图灵机证明λ算法证明互表，归殊途。借“指”东凤，图灵机证明判定。图灵真将丘奇思路给完。
神州修，虽身球某影，，终究命。
丘奇阿兰·图灵导师。此方，图灵真乃才，才领千机阁，镇压扶桑万妖。
，图灵思路应该丘奇才吧？图灵真底何走步？
两位逍遥修士思维敏捷，交流非常快。王崎走神片刻功夫，图灵真已经完新点。笑笑。：“算法称俗。试，够证明几乎切命题，表达几乎切算系统它完备系统。”
图灵真判定性思考，完备思考。
冯落衣：“王崎证明。完备性相容性存。若万万算法，……”
“它必相矛盾算法。”王崎指空划，凝聚彩光，写算式：“义逻辑系统，强表达力必伴随坚摧限制。代入明显错误算法……，通”
若理论。错罢，正反解释通，怎理，等任何理。
图灵真王崎反应迅捷，赞赏点点头：“确实厉害。始候，识点。，，够靠施加更‘限定’规避相矛盾。”
“。”王崎摇头：“指涉绕。”
指涉，λ算法绕坎。
名λ算法，λ原型函数。定义λ项候，它被允许将任函数处理另λ项。
既“任函数项”，必包含λ项身。
，它够处理身吗？
“指涉，神奇概念。”图灵真赞：“感觉，工核部分它息息相关。”
“‘此言真’真假辨，已经存万，王崎，未认识它内恐怖内涵。”冯落衣点点头，图灵法。
完备，判定。“指涉”，像逻辑界碑。它算本身界限，显眼界碑。
仿佛条界限，牢牢限制住逻辑展。
跨界限，穷尽死循环，相矛盾，站稳跟脚。
何绕限界，度数关问题。
“次尝试，算败。”图灵真缓缓：“被万象算法算术，其义，候再整理。接讲，却法。”
“假假。”图灵真强调：“若真绕界限暂且管具体怎绕，做点。突廉价，‘音’‘梵圣禅唱’类灵犀充盈与间，轻易建立台算器，它直接连通，给定切特定问题答案……”
王崎明。图灵真，球便被称“谕示机”。
“谕示机”，另连“帝”图灵机，关先知黑箱。假，谕示机带素数判定谕示，它除做普通图灵机做切外，瞬间判定纸带写某数否素数，需实际计算。
，原本涉及指涉、涉及矛盾问题，谕示机够解决吗？
比，指涉引矛盾。
“近做另外猜。‘指涉’，究竟绕呢？”图灵真苦笑：“虚构圣音，究竟解决问题？”
数经常证明方法，先假定东西存，再根据提做逻辑推演。
图灵真做推演，其本质找象存，假定它够解决原本判定问题，再它究竟够解决什问题。
“象东西，究竟完项业呢？”图灵真王崎冯落衣，平静问：“若，则代表路线希望。算假象做……”
冯落衣问：“其结果何？”
图灵真报苦笑：“怎。”
果存判断停机问题程序甲（甲需输入程序），再构造新程序乙，程序调甲与甲输正相反：果乙输入经甲判断停机，则乙停机；果乙输入经甲判断停机，则乙停机。
假定存带停机问题谕示谕示机，果台机器纸带写台普通图灵机“代码”及输入，它需计算瞬间知，台普通图灵机遇指示输入底停机。
，若将即使将证明“图灵机”三字换“带‘数论问题’谕示谕示机”，其部分字易呢？完备证明依立！
或许类身思维限制象吧，算类象，跨线。
即使圣音，敲门。(未完待续。)
ps：
继续求月票！推荐票！