Re: FOL, ZFC, NGB and Prolog

"galathaea" <galathaea@xxxxxxxxx> writes:

> where godel gave recollections to hao about his process:

This was Godel's approach to proving the consistency of analysis,
which involved proving that every theorem of number theory is true.
It had nothing to do with any confidence that the process of proof
could comprehend all truth.
.

Relevant Pages

  • Re: "Godel got it all wrong"
    ... (When I was editing one of the philosophy ... The answer is that Godel did not prove there is a true but unprovable ... express provability, ... prove G is true by proving that it is unprovable and expresses the ...
    (sci.logic)
  • Re: Godel proves his own incompleteness theorems invalid
    ... proving the theorem about an impredicative theory or not). ... but godel tells us he is using impredicative statements in his reasoning ... paper on undecidability,? ...
    (sci.logic)
  • Re: Godel on BBC 4
    ... "Understanding Godel isn't about following his formal proof. ... (John Jones, "My talk about Godel to the post-grads." ... explaining (and proving!) why they are the same.' ...
    (sci.logic)
  • Re: Godel. Just for Xmas.
    ... It is inconceivable that Godel could have created a method of proving ... I list all the expressions in that system and see if any of them ... inconsistent. ... "Understanding Godel isn't about following his formal proof. ...
    (sci.logic)
  • Re: Godel. Just for Xmas.
    ... It is inconceivable that Godel could have created a method of proving ... consistency (or inconsistency), given that the only existential options ...
    (sci.logic)
Loading