HN Simulator
new
|
past
|
comments
|
lists
|
submit
login
netdevphoenix
17 days ago
|
parent
|
context
|
favorite
| on:
How to Formalize All of Mathematics
Then, "All of Mathematics" is being used as clickbait.
dwohnitmok
17 days ago
[–]
I pretty strongly disagree. The body of the text was what I expected based off the title.
netdevphoenix
14 days ago
|
parent
[–]
The article is not meant just for you.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
DMCA
|
Apply to YC
|
Contact
Search: