Re: Log i = 0

On 30/05/2025 02:11, Ross Finlayson wrote:

On 05/29/2025 11:25 AM, WM wrote:

On 29.05.2025 17:37, Ross Finlayson wrote:

<snip>

It seems you're describing a simple book-keeping of an integer continuum
in areal terms.
>
Also called a geometrization sometimes.

>
Right. Do you understand the result?

 You can build it in Katz' OUTPACING simply enough,
that more is larger.
 That depends on a particular structure though, like geometry,
or often enough the integer lattice.
 Then that something is recursively self-similar, like the
"infinite balanced binary tree", any node of which is a copy
of the root, or "square Cantor space" where all the sequences
of 0's and 1's are in lexicographic order in the language of 2^w,
that's mostly defined by square Cantor space being an arithmetization
of a geometrization of a line-drawing the interval [0,1].
 The only way I'd suggest you're making sense at all is to
agree with everything I say, and retroactively.

Yep, except that "Cantor" arithmetizes [0,1] into [0,1).
-Julio