Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
hollerith
25 days ago
|
parent
|
context
|
favorite
| on:
How has mathematics gotten so abstract?
>quite clearly you had formal proofs which do not meet the symbolic abstraction requirements
I've been unable to imagine or recall an example. Can you provide one?
Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
I've been unable to imagine or recall an example. Can you provide one?