5 Jan
2014
5 Jan
'14
1:35 p.m.
On the contrary, Gene's argument is perfectly logical. Its absurd conclusion shows that arithmetic is inconsistent. --Dan Charles Greathouse wrote: Gene Salamin wrote:
All natural numbers are interesting because, if there were an uninteresting number, there would be a smallest one, and that number would be interesting by virtue of being the smallest uninteresting number.
(Easy) exercise: Show how Gene's argument fails in first-order logic. (Hint: Russell.)