Re: Cantor and the binary tree

Robert Kolker wrote:
> Ross A. Finlayson wrote:
> >
> > Hi,
> >
> > It has to do with duality and that in a sense that the totality and the
> > nothingness share an identity. In philosophical terms it's discussed
> > by Kant as the
> > Ding-an-Sich, perhaps more applicably to this discussion by Hegel as
> > Being and Nothing.
>
> This is Philosophical Bull*** not mathematics.
>
> > In modern technical logic one formalized address is
> > along the lines of dialetheism with the paraconsistency, as promoted by
> > Church, or basically an ur-element that paraconsistently is a set and
> > dually represents the minimal and maximal element.
>
> Are you channeling Alan Sokal today?
> >
> > Basically with f(x)=x+1 M={} and with f(x)=x M=N, and as above {}=N.
> > The powerset is order type is successor.
> >
> > Please present a well-ordering of the reals. Please describe the
> > natural total well-ordering of the non-negative real numbers. Hilbert
> > would really appreciate it.
>
> No one knows how to write a finite algorithm to w.o. the reals. I don't
> have a proof offhand, but I am sure no such algorithm exists.
> >
> > I think theory should have no paradoxes and prove all true statements.
>
> See Geodel Incompleteness Theorems. We have consistent theories, but
> theories powerful enough to formalize arithmentic are incomplete.
>
> If you want to discuss mathematics then state theorems and write or
> reference proofs. Otherwise I am not interested in conversing with you.
>
> Bob Kolker

How LOW can you GO?

These things work together, pal, just like mathematics is used in
physics logic is used in mathematics and philosophy in logic.

Presburger arithmetic isn't incomplete, except as it's axiomatized. We
had an interesting little discussion about that last month over on
sci.logic.

The physical universe is infinite and an infinite set is equivalent to
another there, you agree, right?

You don't understand those things, I think.

Ross

.

Loading