Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
srcreigh
on Feb 16, 2023
|
parent
|
context
|
favorite
| on:
Does mathematics need a philosophy?
The halting problem itself is not computable, that doesn’t mean the proof that it’s not computable isn’t itself computable.
Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
