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: RE: Matheology 400: Quantifier Confusion
Replies: 188   Last Post: Dec 13, 2013 5:48 AM

 Messages: [ Previous | Next ]
 wolfgang.mueckenheim@hs-augsburg.de Posts: 3,394 Registered: 10/18/08
Re: Matheology 400: Quantifier Confusion
Posted: Dec 10, 2013 11:06 AM

Am Dienstag, 10. Dezember 2013 14:01:30 UTC+1 schrieb wpih...@gmail.com:

> Then you know that for a constructivist there is no list of
>
> all real numbers.

Here we need a list of all rational numbers only. This list can be diagonalized. The first few digits of the antidiagonal cannot prove that the antidiagonal differs from all rational numbers of the list. Nobody has ever seen the following infintely many rationals. We can only prove mathematically that they are there and infinitey many of them are identical with the antidiagonal for all digits such that it is impossible to distinguish the antidiagonal from all of them.

Regards, WM

Date Subject Author
12/4/13 Tucsondrew@me.com
12/4/13 wolfgang.mueckenheim@hs-augsburg.de
12/4/13 fom
12/4/13 wolfgang.mueckenheim@hs-augsburg.de
12/4/13 fom
12/4/13 Tucsondrew@me.com
12/5/13 wolfgang.mueckenheim@hs-augsburg.de
12/5/13 Tucsondrew@me.com
12/5/13 Virgil
12/5/13 Tucsondrew@me.com
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 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/6/13 wolfgang.mueckenheim@hs-augsburg.de
12/6/13 Virgil
12/7/13 wolfgang.mueckenheim@hs-augsburg.de
12/7/13 Virgil
12/6/13 Tucsondrew@me.com
12/7/13 wolfgang.mueckenheim@hs-augsburg.de
12/7/13 Virgil
12/7/13 Virgil
12/8/13 wolfgang.mueckenheim@hs-augsburg.de
12/8/13 Virgil
12/6/13 fom
12/6/13 Virgil
12/7/13 wolfgang.mueckenheim@hs-augsburg.de
12/7/13 Virgil
12/4/13 Virgil
12/4/13 Tucsondrew@me.com
12/5/13 wolfgang.mueckenheim@hs-augsburg.de
12/5/13 Virgil
12/5/13 wolfgang.mueckenheim@hs-augsburg.de
12/5/13 fom
12/5/13 wolfgang.mueckenheim@hs-augsburg.de
12/5/13 fom
12/5/13 Tucsondrew@me.com
12/5/13 wolfgang.mueckenheim@hs-augsburg.de
12/5/13 Tucsondrew@me.com
12/5/13 Virgil
12/5/13 Virgil
12/5/13 Tucsondrew@me.com
12/5/13 fom
12/5/13 Tucsondrew@me.com
12/5/13 fom
12/5/13 Michael F. Stemper
12/5/13 fom
12/5/13 Tucsondrew@me.com
12/5/13 fom
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 Virgil
12/6/13 Michael F. Stemper
12/6/13 wolfgang.mueckenheim@hs-augsburg.de
12/6/13 Virgil
12/7/13 albrecht
12/7/13 fom
12/7/13 albrecht
12/6/13 fom
12/7/13 wolfgang.mueckenheim@hs-augsburg.de
12/7/13 fom
12/7/13 Virgil
12/7/13 fom
12/8/13 Virgil
12/8/13 fom
12/6/13 fom
12/6/13 Virgil
12/6/13 fom
12/7/13 ross.finlayson@gmail.com
12/5/13 Tucsondrew@me.com
12/5/13 Tucsondrew@me.com
12/5/13 wolfgang.mueckenheim@hs-augsburg.de
12/5/13 Tucsondrew@me.com
12/5/13 Virgil
12/6/13 wolfgang.mueckenheim@hs-augsburg.de
12/6/13 Virgil
12/6/13 albrecht
12/6/13 wolfgang.mueckenheim@hs-augsburg.de
12/6/13 albrecht
12/6/13 Virgil
12/6/13 Tucsondrew@me.com
12/6/13 albrecht
12/6/13 albrecht
12/6/13 fom
12/6/13 Virgil
12/7/13 albrecht
12/8/13 albrecht
12/5/13 Virgil
12/5/13 wolfgang.mueckenheim@hs-augsburg.de
12/5/13 Virgil
12/5/13 wolfgang.mueckenheim@hs-augsburg.de
12/5/13 Virgil
12/5/13 Tucsondrew@me.com
12/4/13 Virgil
12/5/13 wolfgang.mueckenheim@hs-augsburg.de
12/5/13 Tucsondrew@me.com
12/5/13 wolfgang.mueckenheim@hs-augsburg.de
12/5/13 Virgil
12/6/13 wolfgang.mueckenheim@hs-augsburg.de
12/6/13 Virgil
12/5/13 Virgil
12/5/13 ross.finlayson@gmail.com
12/9/13 William Hughes
12/9/13 wolfgang.mueckenheim@hs-augsburg.de
12/9/13 William Hughes
12/9/13 wolfgang.mueckenheim@hs-augsburg.de
12/9/13 Tucsondrew@me.com
12/10/13 wolfgang.mueckenheim@hs-augsburg.de
12/10/13 Tucsondrew@me.com
12/10/13 wolfgang.mueckenheim@hs-augsburg.de
12/10/13 Virgil
12/10/13 Tucsondrew@me.com
12/10/13 Virgil
12/9/13 William Hughes
12/10/13 wolfgang.mueckenheim@hs-augsburg.de
12/10/13 William Hughes
12/10/13 wolfgang.mueckenheim@hs-augsburg.de
12/10/13 William Hughes
12/10/13 wolfgang.mueckenheim@hs-augsburg.de
12/10/13 William Hughes
12/10/13 Virgil
12/11/13 wolfgang.mueckenheim@hs-augsburg.de
12/11/13 Virgil
12/11/13 Tucsondrew@me.com
12/11/13 fom
12/11/13 Tucsondrew@me.com
12/11/13 William Hughes
12/11/13 wolfgang.mueckenheim@hs-augsburg.de
12/11/13 William Hughes
12/11/13 wolfgang.mueckenheim@hs-augsburg.de
12/11/13 William Hughes
12/11/13 Virgil
12/11/13 Virgil
12/11/13 fom
12/11/13 Virgil
12/13/13 albrecht
12/10/13 Virgil
12/10/13 wolfgang.mueckenheim@hs-augsburg.de
12/10/13 Virgil
12/10/13 Tucsondrew@me.com
12/11/13 wolfgang.mueckenheim@hs-augsburg.de
12/11/13 Virgil
12/11/13 Tucsondrew@me.com
12/11/13 wolfgang.mueckenheim@hs-augsburg.de
12/11/13 Tucsondrew@me.com
12/11/13 wolfgang.mueckenheim@hs-augsburg.de
12/11/13 Tucsondrew@me.com
12/12/13 wolfgang.mueckenheim@hs-augsburg.de
12/12/13 Tucsondrew@me.com
12/12/13 Virgil
12/12/13 Virgil
12/12/13 Virgil
12/12/13 Virgil
12/12/13 Virgil
12/11/13 fom
12/11/13 Virgil
12/12/13 wolfgang.mueckenheim@hs-augsburg.de
12/12/13 Virgil
12/11/13 Virgil
12/11/13 Virgil
12/10/13 Virgil
12/11/13 William Hughes
12/11/13 Virgil
12/11/13 William Hughes
12/11/13 Virgil
12/11/13 William Hughes
12/11/13 fom
12/11/13 Virgil
12/10/13 Virgil
12/9/13 Virgil
12/9/13 Tucsondrew@me.com
12/9/13 William Hughes
12/9/13 Tucsondrew@me.com
12/9/13 Virgil
12/9/13 William Hughes
12/9/13 Virgil
12/9/13 Tucsondrew@me.com
12/10/13 William Hughes