]]>
TobyBartels comments on "Chaitin's incompleteness theorem" (50212)https://nforum.ncatlab.org/discussion/6293/?Focus=50212#Comment_502122014-10-28T20:01:40+00:002024-03-28T09:11:51+00:00TobyBartelshttps://nforum.ncatlab.org/account/7/
I fixed some spelling and added a bit more exposition.
I fixed some spelling and added a bit more exposition.
]]>
Urs comments on "Chaitin's incompleteness theorem" (50195)https://nforum.ncatlab.org/discussion/6293/?Focus=50195#Comment_501952014-10-28T11:19:24+00:002024-03-28T09:11:51+00:00Urshttps://nforum.ncatlab.org/account/4/
some bare minimum at Chaitin’s incompleteness theorem