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

I forget which book is the source of this, but I recall Smullyan writing about (I hope I have it roughly right) asking a child whether they could prove something they knew about mathematics or logic, and the child replied "What is a proof?"

Smullyan said that this was--if you took it literally--an incredibly deep question.




Consider applying for YC's W25 batch! Applications are open till Nov 12.

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

Search: