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: some amateurish opinions on CH
Replies: 57   Last Post: Apr 16, 2013 8:12 PM

 Messages: [ Previous | Next ]
 Guest
Re: some amateurish opinions on CH
Posted: Apr 10, 2013 11:03 AM

- show quoted text -
"If I make a program that gives for each number n as input the output 1-
(n%2) , I can be reasonably sure it's the desired sequence .
The information is finite. You've got it backwards . We can use a
finite amount of information  to generate an infinite string .
You could say we're never interested in the structure of the infinite
string per se (in the sense that we never directly observe the
infinite string in its entirety ), rather , in the structure and
morphology of the different 'shapes of information' that describe the
string .

Anyway, there are different 'shades' of mathematics along the line
between 'finitism' and 'platonic realism'.
What I said is only not realistic for some extreme forms of finitism .
It works from 'effective computability' upwards. "

The information is finite if we have a program that outputs the given
sequence. However, for the Universal Sentence
'Every natural number has a successor' the information content is
clearly infinite.For we can have axiom systems where,for example
1 has no successor or 2 has no successor or 3 has no successor etc.
It is this sentence ,along with the analogous sentences of Geometery
'Every line segment can be subdivided'
And 'Every segment can be extended indefinitely '
That bring in the infinite into Maths and logic .
That is what needs to be reconciled with reality.
Consider the Turing Machine with the infinite tape.
The very assumption of 'infinite tape' presupposes
Infinite information, because verifying that the tape is
Infinite would need infinite number of steps.
Apoorv

Date Subject Author
4/7/13 fom
4/7/13 mueckenh@rz.fh-augsburg.de
4/7/13 Bergholt Stuttley Johnson
4/7/13 dan.ms.chaos@gmail.com
4/7/13 mueckenh@rz.fh-augsburg.de
4/7/13 dan.ms.chaos@gmail.com
4/7/13 mueckenh@rz.fh-augsburg.de
4/7/13 dan.ms.chaos@gmail.com
4/7/13 mueckenh@rz.fh-augsburg.de
4/7/13 Virgil
4/8/13 dan.ms.chaos@gmail.com
4/8/13 mueckenh@rz.fh-augsburg.de
4/8/13 dan.ms.chaos@gmail.com
4/8/13 mueckenh@rz.fh-augsburg.de
4/8/13 dan.ms.chaos@gmail.com
4/8/13 mueckenh@rz.fh-augsburg.de
4/8/13 Virgil
4/8/13 Virgil
4/9/13 apoorv
4/8/13 Virgil
4/7/13 Virgil
4/9/13 Guest
4/9/13 dan.ms.chaos@gmail.com
4/9/13 fom
4/10/13 Guest
4/10/13 dan.ms.chaos@gmail.com
4/10/13 fom
4/10/13 JT
4/11/13 apoorv
4/11/13 dan.ms.chaos@gmail.com
4/11/13 apoorv
4/11/13 fom
4/15/13 apoorv
4/15/13 fom
4/16/13 Shmuel (Seymour J.) Metz
4/16/13 fom
4/7/13 Virgil
4/7/13 William Elliot
4/7/13 fom
4/7/13 fom
4/8/13 William Elliot
4/8/13 fom
4/9/13 William Elliot
4/9/13 fom
4/9/13 William Elliot
4/9/13 fom
4/9/13 dan.ms.chaos@gmail.com
4/9/13 fom
4/9/13 dan.ms.chaos@gmail.com
4/9/13 fom
4/9/13 dan.ms.chaos@gmail.com
4/9/13 fom
4/10/13 fom
4/11/13 dan.ms.chaos@gmail.com
4/11/13 fom
4/11/13 dan.ms.chaos@gmail.com
4/11/13 fom
4/9/13 fom