Search All of the Math Forum:

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

Topic: The WHO CARES proof of anti-anti-diagonalisation
Replies: 76   Last Post: Jun 24, 2005 3:27 AM

 Messages: [ Previous | Next ]
 Will Twentyman Posts: 1,991 Registered: 12/6/04
Re: The WHO CARES proof of anti-anti-diagonalisation
Posted: Jun 9, 2005 7:52 AM

Stephen Montgomery-Smith wrote:
> HERC777 wrote:
>

>>>> x(i) = not F(i,i)
>>>> therefore F is incomplete .. is used in most every proof of
>>>> incompleteness in all theory.

>>>
>>>
>>>
>>> Yes, this is what is used. So let's go with the computable function
>>> example (which I presume that you are hinting at with A.I.) One way to
>>> see the Turing halting theorem is this. If you give me a computer
>>> program which you claim can check if programs halt or not, I can create
>>> a program for which your program will fail. It is a highly constructive
>>> proof.

>>
>>
>>
>> That doesn't prove F is incomplete.

>
>
> I have to admit that your thoughts are too fast for me to follow
> completely. When you use the word "incomplete" I presume that you are
> refering to the notion that there are statements that can be neither
> proven or disproven in certain theories.
>
>

>>
>> You extend the proof of nonexistence from A FUNCTION to THE COMPLETE
>> MATHEMATICAL SET.
>>
>> What function, if any, did the halting proof disprove?
>> What real, if any, did Cantors proof disprove?
>>
>> Sure you can disprove certain specific defined functions don't exist.
>> the function that calculates halt values for every program, the
>> function that sums infinite objects in a microsecond, the function that
>> tells me the weather 10 days from now, the function that tells me the
>> maximum output of a program of size n, the function that does this...
>> NO PROBLEM.

>
>
> Thanks. I feel that we are making progress. Here is one place where
> you have accepted that the diagonal style argument works.
>
>

>> But when you make a proof about reals, AND YOU SAY ITS VALID BECAUSE IT
>> WORKED WITH THE FUNCTIONS.
>>
>> THEN YOU BETTER ALSO HAVE A SPECIFIC, DEFINABLE REAL THAT YOU ARE
>> YOU DON'T.
>>
>> What you've done is pegged a lease on a bit of beach front property,
>> everybody agreed, then you claimed ownership on all the sand in the
>> world. WORKED FOR THE SPECIFIC CASE! typical americans.

>
>
> I am having a hard time understanding you completely here, but I think I
> can see what you are getting at.
>
> There is something profoundly counterintuitive about the proof that the
> real numbers are uncountable. It starts with a puported list of real
> numbers, and then creates just ONE more. How is creating just ONE more
> real number showing that it is uncountable.
>
> The problem is, you are thinking about it in the wrong way. Rather,
> think of it as similar to the proof that the halting problem is
> uncomputable. The proof is really stated as a challenge - you give me a
> list of reals that you claim contains all of them, and I in turn will
> respond with a real number that is not in your list.

He doesn't accept that proof either.

--
Will Twentyman
email: wtwentyman at copper dot net

Date Subject Author
6/7/05 HERC777
6/7/05 Rupert
6/7/05 Abraham Buckingham
6/7/05 HERC777
6/7/05 ken quirici
6/7/05 Randy Poe
6/7/05 Abraham Buckingham
6/8/05 The Ghost In The Machine
6/7/05 Will Twentyman
6/7/05 George Greene
6/7/05 HERC777
6/7/05 Jay
6/7/05 Stephen Montgomery-Smith
6/8/05 HERC777
6/8/05 Stephen Montgomery-Smith
6/8/05 Torkel Franzen
6/8/05 Stephen Montgomery-Smith
6/8/05 HERC777
6/9/05 Stephen Montgomery-Smith
6/9/05 Will Twentyman
6/9/05 Barb Knox
6/10/05 HERC777
6/10/05 HERC777
6/24/05 tinyurl.com/uh3t
6/10/05 David Bernier
6/10/05 HERC777
6/10/05 Proginoskes
6/10/05 Randy Poe
6/10/05 HERC777
6/10/05 Randy Poe
6/11/05 The Ghost In The Machine
6/24/05 tinyurl.com/uh3t
6/10/05 David Bernier
6/11/05 HERC777
6/24/05 tinyurl.com/uh3t
6/10/05 HERC777
6/10/05 Stephen Montgomery-Smith
6/10/05 HERC777
6/11/05 Stephen Montgomery-Smith
6/18/05 George Greene
6/18/05 HERC777
6/19/05 Proginoskes
6/19/05 Jamas Enright
6/19/05 HERC777
6/19/05 Mike Terry
6/19/05 HERC777
6/19/05 Mike Terry
6/19/05 HERC777
6/19/05 Mike Terry
6/20/05 HERC777
6/21/05 Mike Terry
6/22/05 HERC777
6/22/05 Mike Terry
6/22/05 HERC777
6/23/05 The Ghost In The Machine
6/23/05 David Bernier
6/23/05 The Ghost In The Machine
6/23/05 Proginoskes
6/23/05 Mike Terry
6/23/05 HERC777
6/23/05 The Ghost In The Machine
6/19/05 Proginoskes
6/20/05 HERC777
6/20/05 Proginoskes
6/20/05 HERC777
6/21/05 David Bernier
6/21/05 HERC777
6/21/05 Proginoskes
6/22/05 HERC777
6/19/05 HERC777
6/19/05 Proginoskes
6/24/05 tinyurl.com/uh3t
6/24/05 tinyurl.com/uh3t
6/24/05 tinyurl.com/uh3t
6/19/05 vkarlamov@yahoo.com
6/19/05 vkarlamov@yahoo.com
6/24/05 tinyurl.com/uh3t