西西河

主题:谈谈陈经的"预测和自由意志"的例子 -- CatOH

共:💬28 🌺19 新:
全看分页树展 · 主题 跟帖
家园 希尔勃特第十问题

丢番图方程的解集是不可判定的,从表面上看这个命题没有自指,但它同递归可枚举集合等价。

全看分页树展 · 主题 跟帖


有趣有益,互惠互利;开阔视野,博采众长。
虚拟的网络,真实的人。天南地北客,相逢皆朋友

Copyright © cchere 西西河