News for hackers. Stuff that matters.

A comment on What were Einstein and Gödel talking about? (2005). Parent comment

Re:What were Einstein and Gödel talking about? (2005) by Retra on Friday October 14, 2016 @12:48AM (#12706196)
It's quite a stretch to say that we find truths that are beyond every possible formal system, rather than those that we've simply managed to encode in computers.
[ Parent | on HN ]

There are no comments on this comment yet.