Re: FOL, ZFC, NGB and Prolog

Aatu Koskensilta wrote:
> Tom wrote:
>
> > (I thought Goedel equated provability and truth).
>

Quite the opposite, really, provided we're speaking about formal
provability.

.... there are true propositions which are not formally provable. Of
course, Aatu. Provability is weaker, which was the point. Sorry.

Thank you for writing.
Tom

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

.

Relevant Pages

  • Re: Mangeable hashing (w.r.t. VSH)
    ... Tom St Denis wrote: ... In terms or *provable* hash functions, it is very fast: ... I think the problem is that you lose the provability ...
    (sci.crypt)
  • Re: Goedel - interesting problem?
    ... "Aatu Koskensilta" wrote in ... If its provably false then assume the antithesis that it is true ... > membership in the deductive closure of T, i.e. provability from T. ... Since asserts that G is equivalent to its own unprovability, we see that G is actually true ...
    (sci.logic)
  • Re: Sorry Godel - All Truths are Provable
    ... Aatu Koskensilta wrote: ... A being true and not provable in T is perfectly compatible with the completeness theorem for first order logic - completeness in sense 2 -, from which the provability of A in T follows only when A is a logical consequence of T; ... The new positing is a direct response do my own ...
    (sci.logic)
  • Re: Liars Paradox in Godels Theorem (newbie question)
    ... Aatu Koskensilta, Charlie-Boo: ... so that truth does not coincide with provability. ... And this is what the incompleteness theorems say about the liar paradox, ...
    (sci.logic)
Loading