Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
rcthompson
on March 25, 2012
|
parent
|
context
|
favorite
| on:
Gödel's Incompleteness Theorem explained
I guess I should have said that you pick as your new axiom a statement that you couldn't prove and also couldn't
disprove
. Though I'm not sure if even that is the same as logical independence, which is what you really want.
Consider applying for YC's Fall 2026 batch!
Applications
are open till July 27.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: