Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
praptak
on Nov 17, 2020
|
parent
|
context
|
favorite
| on:
What Gödel Discovered
No, it is not about nonsensical phrases. Godel proved that there are some sentences that are true, but they have no proof in the system.
Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: