Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
derangedHorse
on Nov 26, 2020
|
parent
|
context
|
favorite
| on:
What Gödel Discovered
So in layman's terms you're saying the system the author tries to prove incomplete by definition removed the parts that would prove it's inconsistent?
Consider applying for YC's W25 batch! Applications are open till Nov 12.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
