I was inexact when stating the analogy. The original is something like:
Let S be the set of all sets that don't contain themselves. Does S contain itself?
It's an example of an unprovable statement and indirectly led to Godel's incompleteness theorem. It wasn't until the 1960's that a concrete mathematical example was found. An American (I forget his name) proved that the statement 'There is an order of infinity between the countable (e.g. the integers) and uncountable (e.g. the reals)' was unprovable.
Posted By: yarmyyarmy, Oct 5, 13:57:32
Written & Designed By Ben Graves 1999-2025