Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
erichahn
on June 17, 2021
|
parent
|
context
|
favorite
| on:
1931: Kurt Gödel shows limits of math, logic, comp...
"it does not rely on any particular axiomatisation"
-- OK, what does it rely on then?
carnitine
on June 17, 2021
[–]
The axioms allowing one to express enough of arithmetic for Goedel’s methods to apply. As the comment says.
Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
-- OK, what does it rely on then?