[ An AD(n) = (L(n,n) + 1) mod 9 -> An AD(n) =/= L(n,n) ] -> Higher Infinities
in [Logic]
|
From: |-|ercules on 19 Jun 2010 05:38 [ An AD(n) = (L(n,n) + 1) mod 9 -> An AD(n) =/= L(n,n) ] -> Higher Infinities Does anyone agree with the above version of Cantor's proof? Herc -- "And God posted an angel with a flaming sword at the gates of Cantor's paradise, that the slow-witted and the deliberately obtuse might not glimpse the wonders therein." ~ Barb Knox
|
Pages: 1 Prev: A reformulation of ZF-Reg. Next: question on rules of inference in ZFC |