News for hackers. Stuff that matters.
Re:The On-Line Encyclopedia of Integer Sequences by braythwayt on Sunday October 27, 2019 @08:47PM (#21373468)
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.

There are no comments on this comment yet.