Re: Goedel's proof



On Jan 27, 3:03 pm, aatu.koskensi...@xxxxxxxxx wrote:
On Jan 28, 12:43 am, "Peter_Smith" <p...@xxxxxxxxx> wrote:

On 27 Jan, 04:06, "Newberry" <newbe...@xxxxxxxxxx> wrote:

Let me see if I understand Goedel's proof correctly.

Not a very helpful comment, but what follows is completely
unrecognizable to me as a version of *Gödel's* proof.Unrecognizable, perhaps, but not completely. It bears some resemblance
to the informal introduction in Gödel's original article, where we do
find an enumeration B1, B2, B3, ... of formulas with one free variable
in the language of type theory augmented with arithmetical symbols.

I am not convinced that it is a proof by the diagonal argument.


--
Aatu Koskensilta (aatu.koskensi...@xxxxxxxxx)

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

.

Relevant Pages

  • Re: which langs have more than 1 compilers?
    ... This bears no ... > resemblance to evolution. ... It is not a language, ...
    (comp.programming)
  • Re: Small gripe about elsif...
    ... bears little resemblance to what it represents: ... Something that Ruby inherited from Perl. ... I've found that language ...
    (comp.lang.ruby)
  • Re: bared a strong resemblance
    ... >>I always said it as bears or bore. ... Bears a strong resemblance.Bore a strong ... >Well, the natural way to comment on a resemblance is with 'bear', ... I'd expect it to be far more common than 'bare'. ...
    (alt.usage.english)
  • Re: Polynesian and South American place names
    ... Random distortions can produce resemblance just ... Did I say "language is random"? ... discovered chance resemblance, the next thing to discover is how common ... but I don't know what you think is my "prejudice". ...
    (sci.anthropology)
  • Re: Polynesian and South American place names
    ... Random distortions can produce resemblance just ... Did I say "language is random"? ... discovered chance resemblance, the next thing to discover is how common ... but I don't know what you think is my "prejudice". ...
    (sci.lang)