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: Joel David Hamkins on definable real numbers in analysis
Replies: 98   Last Post: Jun 30, 2013 3:22 PM

 Messages: [ Previous | Next ]
 Virgil Posts: 8,833 Registered: 1/6/11
Re: Joel David Hamkins on definable real numbers in analysis
Posted: Jun 28, 2013 3:09 PM

mueckenh@rz.fh-augsburg.de wrote:

> So, you can prove that a collection of finite decimal sequences
> contains an infinite one.

An infinite set of finite sets can have as its union an infinite set
everywhere outside of WNM's matheological messup.

>
> IF: An infinite collection of finite decimal sequences, when written in one
> line, makes an actually infinite collection,

The relative 'orientation' of finite sequences is irrelevant, since
sequences are functions having either a FISON or |N as domain.

If WM wants to concatenate strings instead of sequences, that would at
least be possible without the sort of wild handwaving typifying WM's
mytheology.

> THEN: an infinite collection of finite decimal sequences written in different
> lines does the same.

When one does NOT concatenate the strings in a list of strings, one does
NOT get a single string containing all of them.

> (Unioning over subsets cannot not extend a set.)

Unioning over subsets of a set creates a rand NEW set, at least outside
of WM's wild weird world of WMytheology.

Given only set {{1,2},{3,4}}, one does not have set {1,2,3,4} until one
unions {{1,2},{3,4}} "over its subsets".
>
> >
> > > "For every n there exists k such that a_kn = d_n" is a contradiction for
> > > mathematicians who take the trouble to try to escape it - without success,
> > > of course.

> >
> > That doesn't imply, "There exist m e N, such that a_m = d."

>
> That is your uneducated or miseducated guess.

It is a theorem everywhere outside WM's wild weird world of
WMytheology.

Since d is constructed so that for all n, _n =/= a_nn,
It is also the case that for all n, d =/= a_n

> Prove it by finding any digit of d that is not, together will all its
> predecessors, in an a_m.

All the digits in d will be in some a_n at least as soon as that a_n
contains each of the digits from 0 up to (base - 1).So if the base is 10
and a_10 = 9876543210, then every digit in any d is in a_10.

But that only proves that WM as no idea about the true meanings of what
he is says.

> If there is a set of FISONs that contains every natural number n and all its
> predecessors, then this set cntains |N. Is there something in |N that is
> outside of all its FISONs?

Only in WM's wild weird world of WMytheology!
--

Date Subject Author
6/18/13 fom
6/19/13 David Petry
6/19/13 fom
6/19/13 mueckenh@rz.fh-augsburg.de
6/19/13 Peter Percival
6/19/13 mueckenh@rz.fh-augsburg.de
6/19/13 Virgil
6/19/13 Tucsondrew@me.com
6/21/13 David C. Ullrich
6/21/13 mueckenh@rz.fh-augsburg.de
6/21/13 Virgil
6/22/13 mueckenh@rz.fh-augsburg.de
6/22/13 Virgil
6/22/13 mueckenh@rz.fh-augsburg.de
6/22/13 Virgil
6/22/13 mueckenh@rz.fh-augsburg.de
6/22/13 Tucsondrew@me.com
6/22/13 mueckenh@rz.fh-augsburg.de
6/22/13 Tucsondrew@me.com
6/23/13 mueckenh@rz.fh-augsburg.de
6/23/13 Tucsondrew@me.com
6/23/13 Tucsondrew@me.com
6/23/13 mueckenh@rz.fh-augsburg.de
6/23/13 Tucsondrew@me.com
6/23/13 Virgil
6/23/13 Virgil
6/24/13 Virgil
6/23/13 Virgil
6/22/13 Virgil
6/23/13 mueckenh@rz.fh-augsburg.de
6/23/13 Virgil
6/23/13 mueckenh@rz.fh-augsburg.de
6/23/13 Virgil
6/24/13 mueckenh@rz.fh-augsburg.de
6/24/13 Virgil
6/25/13 Virgil
6/25/13 Virgil
6/26/13 Virgil
6/26/13 fom
6/26/13 Virgil
6/22/13 Virgil
6/22/13 Tucsondrew@me.com
6/22/13 mueckenh@rz.fh-augsburg.de
6/22/13 Virgil
6/22/13 David C. Ullrich
6/22/13 mueckenh@rz.fh-augsburg.de
6/22/13 Virgil
6/23/13 David C. Ullrich
6/23/13 mueckenh@rz.fh-augsburg.de
6/23/13 Virgil
6/24/13 mueckenh@rz.fh-augsburg.de
6/24/13 Virgil
6/25/13 mueckenh@rz.fh-augsburg.de
6/25/13 Virgil
6/24/13 David C. Ullrich
6/24/13 mueckenh@rz.fh-augsburg.de
6/24/13 Virgil
6/25/13 David C. Ullrich
6/25/13 mueckenh@rz.fh-augsburg.de
6/25/13 Virgil
6/26/13 mueckenh@rz.fh-augsburg.de
6/26/13 Virgil
6/25/13 Tucsondrew@me.com
6/26/13 mueckenh@rz.fh-augsburg.de
6/26/13 Virgil
6/26/13 mueckenh@rz.fh-augsburg.de
6/26/13 Virgil
6/26/13 David C. Ullrich
6/26/13 mueckenh@rz.fh-augsburg.de
6/26/13 Virgil
6/27/13 mueckenh@rz.fh-augsburg.de
6/27/13 Virgil
6/26/13 Virgil
6/27/13 mueckenh@rz.fh-augsburg.de
6/27/13 Virgil
6/28/13 mueckenh@rz.fh-augsburg.de
6/28/13 Tucsondrew@me.com
6/28/13 mueckenh@rz.fh-augsburg.de
6/28/13 Tucsondrew@me.com
6/28/13 mueckenh@rz.fh-augsburg.de
6/28/13 Tucsondrew@me.com
6/29/13 mueckenh@rz.fh-augsburg.de
6/29/13 Virgil
6/30/13 Virgil
6/28/13 Virgil
6/29/13 mueckenh@rz.fh-augsburg.de
6/29/13 Virgil
6/28/13 Virgil
6/28/13 Virgil
6/19/13 Virgil
6/19/13 Virgil