Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
diffeomorphism
on Dec 17, 2019
|
parent
|
context
|
favorite
| on:
Kurt Gödel and the Mechanization of Mathematics
That is the summary, not "the first part". The how is the second paragraph.
Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
