Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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 Fall 2025 batch! Applications are open till Aug 4

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

Search: