Re: all the incompleteness proofs are worthless untill...

On 2008-03-21, in sci.logic, Aatu Koskensilta wrote:
Of the sort of "informal rigour" that goes into such an
understanding I've written on in my post on formalisation, archived
at

http://groups.google.com/group/sci.logic/msg/1cf3026be617d644

which you might find of some interest.

The following post, in a sense a follow-up to the one mentioned above,
also contains some pedantic reflections of the sort I find
intellectually satisfying, no doubt due to my being something of a
bore:

http://groups.google.fi/group/sci.logic/msg/be689f94aa963f01

--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)

"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.

Relevant Pages

  • Re: all the incompleteness proofs are worthless untill...
    ... If formalisation is the standard we have sober and clear understanding ... sober and clear understanding of the incompleteness theorems? ... sense to say the brain is a formal system as saying of an ice-cream ...
    (sci.logic)
  • Re: all the incompleteness proofs are worthless untill...
    ... If formalisation is the standard we have sober and clear understanding ... incompleteness theorems should in principle consist in a formal theory ... sense to say the brain is a formal system as saying of an ice-cream ...
    (sci.logic)
  • Re: continuum hypothesis and 0=1
    ... On Mar 14, 4:22 pm, Aatu Koskensilta ... formally undecidable in a formal theory in general nothing can be concluded ... about our ability or inability to prove the statement. ... My understanding of Gödel is even much more catastrophic than I ...
    (sci.math)
Loading