Re: The logic of atheism



Now, here's the  key part, the diagonalization. We make  a list of
the diagonals; in  this case, it starts out  with two falses. This
is itself something (a sequence  of true / false statements)

I’m confused about what is actually in this list of diagonals. Do you
mean for it to be “Water is equal to 4 AND 2+2 is wet AND...” or for it
to just be a list of the diagonal entries themselves, as you have
written “false false true true ...” I’m assuming it’s the latter based
on the way you wrote it out, but I just wanted to make sure. Maybe,
for clarity, you would label that entry, “The sequence ‘false false
true true...’”.

about which a  truth can be known  (can be found on  God's cheat sheet).

This label I don’t understand. Wouldn’t this yield a “true” in every
column, since by definition they’re all on the cheat sheet?

And, it’s not yet clear to me that the diagonal elements of the table
can be found on the cheat sheet but the inverted sequence of diagonal
elements couldn’t be; you can find either sequence, it’s just a matter
of how you look.

.



Relevant Pages

  • Re: Wolkenmueckenheim
    ... for a sequence of sets is not a contradiction. ... sequence of "diagonals". ... first CDP does NOT choose a diagonal but constructs a number OUT ... in this case it is possible to choose the "rightmost" digit ...
    (sci.math)
  • Re: (Not quite) Cantors diagonal proof
    ... >> rationals is itself rational. ... decimal digits represents a unique real. ... an infinite sequence of decimal digits, it too represents some real (which ... diagonals, ALL of which will not be in the hypothesised list. ...
    (sci.math)
  • Re: (Not quite) Cantors diagonal proof
    ... >> rationals is itself rational. ... decimal digits represents a unique real. ... an infinite sequence of decimal digits, it too represents some real (which ... diagonals, ALL of which will not be in the hypothesised list. ...
    (sci.logic)
  • Re: Ultimate debunking of Cantors Theory
    ... digits as there are strings/numbers listed. ... of them is only an equally infinite amount. ... Can there be a sequence of 1's in the list ... including infinitely long diagonals, is more than twice as long as any ...
    (sci.math)
  • Re: A definition of an infinity, perhaps!?
    ... the sequence of the diagonals of all finite triangles plus the ... of the infinite "triangle" and the sequence of the last ...
    (sci.math)