Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
ProfHewitt
on Dec 17, 2019
|
parent
|
context
|
favorite
| on:
Kurt Gödel and the Mechanization of Mathematics
For the [Dedekind 1888] axiomatization of the Natural Numbers, a proposition is
true
if and only if it holds in the unique up to isomorphism model of the axioms.
Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
