Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
pimpampum
on Nov 17, 2020
|
parent
|
context
|
favorite
| on:
What Gödel Discovered
Was this successor? function ever implemented? I'm quite skeptic. Wouldn't there be infinite possible successors? Are all of them mechanistically derivable?
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:
