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.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: