logoalt Hacker News

gottheUIbluesyesterday at 12:54 PM1 replyview on HN

So specified .. that it can actually prove it can't be completely specified by any single specification


Replies

vatsachaktoday at 12:07 AM

All mathematical statements we care about fall out of the purview of incompleteness