Search All of the Math Forum:

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

Topic: NOT 1 SHRED OF CANTOR'S THEOREM HAS BEEN FORMALLY PROVEN!
Replies: 16   Last Post: Dec 26, 2011 1:57 PM

 Messages: [ Previous | Next ]
 David C. Ullrich Posts: 21,553 Registered: 12/6/04
Re: NOT 1 SHRED OF CANTOR'S THEOREM HAS BEEN FORMALLY PROVEN!
Posted: Dec 25, 2011 10:00 AM

On Sat, 24 Dec 2011 22:43:12 -0800 (PST), Graham Cooper
<grahamcooper7@gmail.com> wrote:

>On Dec 24, 10:58 pm, David C. Ullrich <ullr...@math.okstate.edu>
>wrote:

>> On Sat, 24 Dec 2011 00:51:51 +0200, Aatu Koskensilta
>>
>> <aatu.koskensi...@uta.fi> wrote:

>> >"INFINITY POWER" <infin...@limited.com> writes:
>>
>> >> STUPID PEOPLE LIKE AATU SAY
>>
>> >> "WE CAN FORMALISE ANYTHING SIMPLY BY ADDING SOME MORE RIGOUR!"
>>
>> >  I'm famous for my stupidity, but I don't think I've ever said that.
>>
>> I don't recall you ever saying that either. But I bet you wish you
>> had, eh? It's inspiring. We can formalize anything by adding more
>> rigour.
>>
>> Just yesterday I was eating this grilled-cheese sandwich.
>> I wanted to formalize it, didn't see how. All I had to do was
>> add more rigour! Duh. (Maybe next time I'll ask them to
>> slop a little rigour on before serving.)

>
>CORRECT! According to AATU!
>
>[AATU]
>we simply would regard an argument we don't see
>how to formalise as falling short of the standard of rigour

For heaven's sake. That sounds like something he _could_ have
said. Taking your word for the fact that he actually did so:
You _really_ think that saying that is the same as saying
"WE CAN FORMALISE ANYTHING SIMPLY BY ADDING SOME MORE RIGOUR"?

It's not. Not even close.

>
>CONVERSELY: only the informal arguments that we are able to add more
>rigour to to fully formalise are actually proofs in the first place!
>
>Herc

Date Subject Author
12/23/11 INFINITY POWER
12/23/11 Aatu Koskensilta
12/23/11 INFINITY POWER
12/24/11 David C. Ullrich
12/24/11 namducnguyen
12/25/11 Graham Cooper
12/25/11 Graham Cooper
12/25/11 David C. Ullrich
12/25/11 Graham Cooper
12/26/11 Peter Bowditch
12/26/11 Graham Cooper
12/26/11 George
12/26/11 George
12/26/11 David C. Ullrich
12/25/11 Frederick Williams
12/23/11 Rupert
12/26/11 Graham Cooper