The implications are really on the concept of *language*. It proves that there i... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

toyg on Nov 17, 2020 | parent | context | favorite | on: What Gödel Discovered

The implications are really on the concept of language. It proves that there is no language that can be complete; as such, we cannot express a complete system, even if it existed. So a unified theory of everything might well exist, but you wouldn’t be able to describe it. Which is a nice philosophical riddle.

yonixw on Nov 17, 2020 [–]

I think that if you allow some axioms, you can describe it. But I'm not sure if it will be called complete.

I think because "(next axiom)" is not defined, it will make your language not mappable to integer numbers and you avoid Godel proof.

Join us for AI Startup School this June 16-17 in San Francisco!
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact