
matheology 0.111...
Posted:
Jan 11, 2014 2:11 PM


The present position.
A is a potentially infinite list of finite objects call the nth element of A, a_n b is a finite object.
WM has agreed to
(i) b is an element of A (ii) for every n in N, b is not equal to a_n
WM claims that (ii) does not contradict (i) as a direct proof of the contradiction would use (ii) and infinite number of times.
WM refuses to look at the indirect proof that (ii) contradicts 1.
William Hughes

