Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Uncountability of the Real Numbers Without Decimals
Replies: 110   Last Post: Dec 10, 2013 4:33 AM

 Messages: [ Previous | Next ]
 fom Posts: 1,968 Registered: 12/4/12
Re: Uncountability of the Real Numbers Without Decimals
Posted: Dec 7, 2013 7:35 PM

On 12/7/2013 3:27 PM, WM wrote:
> Am Samstag, 7. Dezember 2013 21:42:05 UTC+1 schrieb fom:
>
>

>>
>>> If Goedel was wrong, then ZF is wrong. If Goedel was right, then it will never be clear whether ZF is right.
>>
>>>
>>
>>> So or so, your yes is unfounded.
>>
>>>
>>
>>
>>
>> You forget the goal of Hilbert's program.

>
> Hilbert's program has be shown untenable by Goedel.

Not at all. For one thing, Goedel's proof
relies upon recursive definition in the arithmetical
sense applied to grammatical constructs. There are
other ways of thinking mathematically.

For another thing, why should metamathematical
research be restricted by Hilbert's opinion?

His decision to pursue arithmetization is motivated
by the opinions he had in relation to his work in
geometry. Frege did far more significant work in
logic, and, the distinction between their views
corresponds precisely to the distinction Kant draws
in his distinction between general logic and
transcendental logic. Hilbert's views are compatible
with general logic, but the more difficult problems
which allowed Frege to develop his compositional
logic derive from Kant's program of transcendental
logic.

Frege turned to geometry. And, when Hilbert let
the cat out of the bag by admitting 'intuitive
arithmetic' into metamathematics, he certainly
opens the possibility for anyone intelligent enough
to apply 'intuitive geometry' in the guise finite
geometries to do so.

Combinatorial block designs are finite incident
structures, and, many of them relate to one
another recursively.

>>
>>
>>
>> And, you forget that mathematics is not just arithmetic.

>
> ZFC is mainly arithmetic.

Yes, THANKS TO CANTOR'S GENIUS FOR
ARGUING THAT IT IS SUCH. IT IS SO
NICE TO SEE HOW MUCH YOU ACTUALLY
AGREE WITH HIM.

But, what is within a theory is not
what constitutes the metamathematical
metatheory.

As always, I have complied with the
constraints far more closely than
others would take the time to discover.

>>
>>
>>
>> Also, your decision to be ignorant of modern mathematics
>>
>> probably makes you incapabble of considering what I
>>
>> wrote.

>
> You commnitted an error as even every modern mathematican can tell you.
>

So, NOW YOU APPEAL TO ALL OF MATHEOLOGY!!!

chuckle(x, 0) = LOL

giggle(x, y, chuckle(x,y)) = LOL

chuckle(x, y+1) = giggle(x, y, chuckle(x,y))

Date Subject Author
12/2/13 Tucsondrew@me.com
12/2/13 William Elliot
12/2/13 Tucsondrew@me.com
12/2/13 G. A. Edgar
12/2/13 Tucsondrew@me.com
12/2/13 wolfgang.mueckenheim@hs-augsburg.de
12/2/13 gnasher729
12/2/13 wolfgang.mueckenheim@hs-augsburg.de
12/2/13 Virgil
12/2/13 Tucsondrew@me.com
12/2/13 Virgil
12/3/13 wolfgang.mueckenheim@hs-augsburg.de
12/3/13 Tucsondrew@me.com
12/5/13 wolfgang.mueckenheim@hs-augsburg.de
12/5/13 Virgil
12/3/13 Virgil
12/5/13 wolfgang.mueckenheim@hs-augsburg.de
12/5/13 Tucsondrew@me.com
12/7/13 wolfgang.mueckenheim@hs-augsburg.de
12/7/13 Virgil
12/5/13 Virgil
12/10/13 Robin Chapman
12/2/13 Virgil
12/2/13 wolfgang.mueckenheim@hs-augsburg.de
12/2/13 Virgil
12/3/13 wolfgang.mueckenheim@hs-augsburg.de
12/3/13 Virgil
12/2/13 Tucsondrew@me.com
12/3/13 wolfgang.mueckenheim@hs-augsburg.de
12/3/13 Tucsondrew@me.com
12/5/13 wolfgang.mueckenheim@hs-augsburg.de
12/5/13 Tucsondrew@me.com
12/5/13 Michael F. Stemper
12/7/13 wolfgang.mueckenheim@hs-augsburg.de
12/7/13 Virgil
12/6/13 wolfgang.mueckenheim@hs-augsburg.de
12/6/13 Tucsondrew@me.com
12/6/13 wolfgang.mueckenheim@hs-augsburg.de
12/6/13 Virgil
12/6/13 Brian Q. Hutchings
12/7/13 Brian Q. Hutchings
12/7/13 Brian Q. Hutchings
12/7/13 wolfgang.mueckenheim@hs-augsburg.de
12/7/13 fom
12/7/13 albrecht
12/7/13 fom
12/7/13 ross.finlayson@gmail.com
12/8/13 albrecht
12/7/13 wolfgang.mueckenheim@hs-augsburg.de
12/7/13 fom
12/7/13 wolfgang.mueckenheim@hs-augsburg.de
12/7/13 fom
12/7/13 wolfgang.mueckenheim@hs-augsburg.de
12/7/13 Virgil
12/7/13 fom
12/8/13 Virgil
12/7/13 Virgil
12/7/13 Virgil
12/7/13 Virgil
12/8/13 albrecht
12/6/13 Virgil
12/6/13 Virgil
12/7/13 wolfgang.mueckenheim@hs-augsburg.de
12/7/13 Virgil
12/5/13 Virgil
12/3/13 Virgil
12/3/13 Michael F. Stemper
12/3/13 Virgil
12/3/13 fom
12/2/13 Tucsondrew@me.com
12/2/13 wolfgang.mueckenheim@hs-augsburg.de
12/2/13 Virgil
12/3/13 wolfgang.mueckenheim@hs-augsburg.de
12/3/13 Virgil
12/5/13 wolfgang.mueckenheim@hs-augsburg.de
12/5/13 Virgil
12/2/13 Virgil
12/2/13 Tucsondrew@me.com
12/3/13 wolfgang.mueckenheim@hs-augsburg.de
12/3/13 Virgil
12/3/13 wolfgang.mueckenheim@hs-augsburg.de
12/3/13 gnasher729
12/3/13 wolfgang.mueckenheim@hs-augsburg.de
12/3/13 gnasher729
12/5/13 wolfgang.mueckenheim@hs-augsburg.de
12/5/13 Virgil
12/3/13 Virgil
12/3/13 Virgil
12/5/13 gnasher729
12/3/13 Tucsondrew@me.com
12/5/13 wolfgang.mueckenheim@hs-augsburg.de
12/5/13 Tucsondrew@me.com
12/5/13 Tucsondrew@me.com
12/5/13 Virgil
12/3/13 wolfgang.mueckenheim@hs-augsburg.de
12/3/13 Tucsondrew@me.com
12/5/13 wolfgang.mueckenheim@hs-augsburg.de
12/5/13 Tucsondrew@me.com
12/7/13 wolfgang.mueckenheim@hs-augsburg.de
12/7/13 Virgil
12/8/13 wolfgang.mueckenheim@hs-augsburg.de
12/8/13 Virgil
12/5/13 Virgil
12/3/13 Virgil
12/2/13 ross.finlayson@gmail.com
12/4/13 ross.finlayson@gmail.com
12/3/13 albrecht
12/3/13 Tucsondrew@me.com
12/5/13 albrecht
12/5/13 Tucsondrew@me.com