谢谢捧场！我还没读完GEB， 但是我读完了GEB提及的Goedel's Proof.

来源: 于 2024-01-28 20:12:27 [旧帖] [给我悄悄话] 本文已被阅读：次

其实本文提及的层级理论也和G的证明有些关联，这周末有空可以先写一些。：）