|
|
Re: NOT 1 SHRED OF CANTOR'S THEOREM HAS BEEN FORMALLY PROVEN!
Posted:
Dec 25, 2011 1:43 AM
|
|
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
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
|
|
