Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Complexity No Bar to AI. Parent comment
powerful Wittgenstein proof that existence of I'mUnprovable
means that mathematical foundations are inconsistent.
Wittgenstein's more powerful version is much more
devastating.
As mentioned previously in this discussion, the following
article explains why I'mUnprovable must not and does not
exist in foundations:
"Recrafting Foundations of Mathematics"
https://papers.ssrn.com/abstract=3603021
There are no comments on this comment yet.
powerful Wittgenstein proof that existence of I'mUnprovable
means that mathematical foundations are inconsistent.
Wittgenstein's more powerful version is much more
devastating.
As mentioned previously in this discussion, the following
article explains why I'mUnprovable must not and does not
exist in foundations:
"Recrafting Foundations of Mathematics"
https://papers.ssrn.com/abstract=3603021