Aiur · Zellux 的博客
blog.yxwang.me
哥德尔定理 用比较通俗的英文来说，就是 All consistent axiomatic formulations of number theory include undicidable propositions. 图形和衬底也许会不带有完全相同的信息 There exist formal systems whose negative space (set of non-theorems) is…
讨论
登录后参与讨论
还没有评论，来说第一句吧。