|
|
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
|
|
