五千年(敝帚自珍)

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

共:💬28 🌺19
全看分页树展 · 主题 跟帖
家园 忙死了,好久没有上来,花谢专家

受教了,花谢:D

另有问题:

Godel的证明是否是构造了一个自指的命题?(印象里似乎是这样的)

可以定义皮亚诺的五条关于整数公理对我们的逻辑有什么要求?

我需要去好好看看书了,hehe

全看分页树展 · 主题 跟帖


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

Copyright © cchere 西西河