Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
krusch
on Jan 31, 2019
|
parent
|
context
|
favorite
| on:
Some Fundamental Theorems in Mathematics
No, even if you start with the axioms of PA and enumerate all theorems provable, you'll miss some true sentences, one of them being the Goedel sentence of PA.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
