Hacker News new | past | comments | ask | show | jobs | submit login

A lot of math draws conclusions from something not possible in practice (e.g. "let's take all the natural numbers and ...").

All the parent says: if it's possible even theoretically to learn the answer to the BB problem then we've proven something that cannot be proven, as shown by Godel incompleteness.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: