Re: Godel's proof, truth, reality, self-awareness, and all that jazz

On Sep 25, 12:29 pm, "cbr...@xxxxxxxxxxxxxxxxx"
<cbr...@xxxxxxxxxxxxxxxxx> wrote:

His whole point (?) is to /equate/ sets and natural numbers by way of
a particular encoding. But he hasn't presented a bijection:

I haven't been following this discussion, so maybe I'm don't know
what's going on, but I thought Han did show us a bijection between the
naturals and finite sets.

0 == {}
N = sum 2^a_i == { a_i }

where sum 2^a_i corresponds to the binary representation of N.

Thus, 13 (base 10) = 1101 (base 2) = 2^3 + 2^2 + 2^0 == {3, 2, 0}
etc.


.

Relevant Pages

  • Re: Godels proof, truth, reality, self-awareness, and all that jazz
    ... a particular encoding. ... But he hasn't presented a bijection: ... naturals and finite sets. ... Han de Bruijn ...
    (sci.math)
  • Re: abundance of irrationals!)
    ... >> leads to the infinite string 0.111..., ... > limit (of the partial sums) is not part of the bijection of the ... construct a number that is not part of the assumed bijection with N. ... > B) The binary representation of 1 is not in a line. ...
    (sci.math)
  • Re: infinity
    ... It is possible to draw a bijection between the ... >> Note that binary representation of reals are not unique, ...
    (sci.math)
Quantcast