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: Matheology § 285
Replies: 84   Last Post: Jun 15, 2013 6:05 PM

 Messages: [ Previous | Next ]
 Tanu R. Posts: 640 Registered: 12/13/04
Re: Matheology ? 285
Posted: Jun 11, 2013 6:11 PM

Virgil wrote:
> In article <kp8645\$g5h\$1@speranza.aioe.org>, Sam Sung <no@mail.invalid>
> wrote:

>> Virgil schrieb:
>>> mueckenh@rz.fh-augsburg.de wrote:

>>>> On Tuesday, 11 June 2013 19:18:34 UTC+2, Julio Di Egidio wrote:
>>>>

>>>>> > Therefore it is not possible to enumerate all rational numbers >
>>>>> > (always
>>>>> > infinitely many remain) by all natural numbers (always > infinitely
>>>>> > many
>>>>> > remain) or to traverse the lines of a Cantor list (always > infinitely
>>>>> > many remain).

>>>>
>>>>> It is not possible to do so effectively... Julio
>>>>
>>>> It is only possible by applying the axiom of infinity.

>>>
>>> Surjecting the naturals onto the rationals is usually done by formula,
>>> of which formulae many are already known.

>>
>> Right - even little things and concepts as are continuous functions
>> require the existence of "actual" infinity.
>>
>> http://de.wikipedia.org/wiki/Stetigkeit_(Topologie)
>>

>>> The existence of such surjections can also be proved by injecting the
>>> rationals into the naturals, which is even easier.

>>
>> nbl You really write very considerable posts - easy learning,
>> simply great, thx

>
> I keep trying to write things so simply and straightforawardly that even
> WM will be unable to garble them, but with WM I fail.

They did feel that in de.sci.mathematik for about 8 years...

Date Subject Author
6/11/13 mueckenh@rz.fh-augsburg.de
6/11/13 Virgil
6/11/13 JT
6/11/13 Tucsondrew@me.com
6/11/13 mueckenh@rz.fh-augsburg.de
6/11/13 Virgil
6/11/13 Tucsondrew@me.com
6/11/13 mueckenh@rz.fh-augsburg.de
6/11/13 Tucsondrew@me.com
6/11/13 Virgil
6/12/13 mueckenh@rz.fh-augsburg.de
6/12/13 Tucsondrew@me.com
6/12/13 Virgil
6/11/13 Tucsondrew@me.com
6/11/13 Virgil
6/12/13 mueckenh@rz.fh-augsburg.de
6/12/13 Tucsondrew@me.com
6/12/13 mueckenh@rz.fh-augsburg.de
6/12/13 Virgil
6/12/13 Tucsondrew@me.com
6/13/13 mueckenh@rz.fh-augsburg.de
6/13/13 Tucsondrew@me.com
6/14/13 mueckenh@rz.fh-augsburg.de
6/14/13 Tucsondrew@me.com
6/14/13 mueckenh@rz.fh-augsburg.de
6/14/13 Tucsondrew@me.com
6/15/13 mueckenh@rz.fh-augsburg.de
6/15/13 Tucsondrew@me.com
6/15/13 Virgil
6/15/13 Tanu R.
6/15/13 mueckenh@rz.fh-augsburg.de
6/15/13 Virgil
6/15/13 Virgil
6/14/13 Virgil
6/13/13 Virgil
6/12/13 Virgil
6/12/13 mueckenh@rz.fh-augsburg.de
6/12/13 Virgil
6/12/13 Tucsondrew@me.com
6/12/13 Virgil
6/13/13 mueckenh@rz.fh-augsburg.de
6/13/13 Virgil
6/11/13 Virgil
6/12/13 mueckenh@rz.fh-augsburg.de
6/12/13 Tucsondrew@me.com
6/12/13 mueckenh@rz.fh-augsburg.de
6/12/13 Virgil
6/12/13 Scott Berg
6/12/13 Virgil
6/12/13 Tucsondrew@me.com
6/13/13 mueckenh@rz.fh-augsburg.de
6/13/13 Virgil
6/12/13 Virgil
6/12/13 mueckenh@rz.fh-augsburg.de
6/12/13 Virgil
6/11/13 LudovicoVan
6/11/13 mueckenh@rz.fh-augsburg.de
6/11/13 LudovicoVan
6/11/13 mueckenh@rz.fh-augsburg.de
6/11/13 Tucsondrew@me.com
6/11/13 Tucsondrew@me.com
6/12/13 mueckenh@rz.fh-augsburg.de
6/12/13 Virgil
6/12/13 mueckenh@rz.fh-augsburg.de
6/12/13 Tucsondrew@me.com
6/12/13 mueckenh@rz.fh-augsburg.de
6/12/13 Virgil
6/12/13 Tucsondrew@me.com
6/12/13 Virgil
6/12/13 Virgil
6/13/13 mueckenh@rz.fh-augsburg.de
6/13/13 Virgil
6/12/13 Virgil
6/11/13 LudovicoVan
6/11/13 Virgil
6/11/13 Tanu R.
6/11/13 Tucsondrew@me.com
6/11/13 Tucsondrew@me.com
6/11/13 Tucsondrew@me.com
6/11/13 Virgil
6/11/13 Tanu R.
6/11/13 Virgil
6/11/13 Tanu R.