Re: FOL, ZFC, NGB and Prolog

"galathaea" <galathaea@xxxxxxxxx> writes:

> he was confident
> like hilbert
> that the process of proof could comprehend all truth

What actual statement of Godel's do you have in mind here?

> but in his attempts to prove this assertion

When and where did he try to prove this?

Your various comments seem to be based on your personal fantasies.
.

Relevant Pages

  • Re: Pain and computationalism
    ... philosophical experience") said just that, namely, that logic is the ... I aspire to comprehend knowledge. ... Truth implies a method or perpetual seeking of something ... So did/does D. Hilbert. ...
    (comp.ai.philosophy)
  • Re: Pain and computationalism
    ... Truth implies a method or perpetual seeking of something ... a paradigm, blue-print, template to which humans compare ideas to. ... I comprehend little of such knowledge. ... Hilbert. ...
    (comp.ai.philosophy)
  • Re: Universality as warrant for relative truth value
    ... I'm conscious of myself seeing and the effect it has on my mind. ... I verify the its truth that way, but the word truth is not an ... fails to seize upon the real powers that in fact have been ... knowledge of unobservables, and so what does it mean that a theory ...
    (sci.philosophy.meta)
  • Re: Universality as warrant for relative truth value
    ... your power of sight, although in a lab you can see eye balls and the ... I'm conscious of myself seeing and the effect it has on my mind. ... I verify the its truth that way, but the word truth is not an ... knowledge of unobservables, and so what does it mean that a theory ...
    (sci.philosophy.meta)
  • Re: Universality as warrant for relative truth value
    ... If you don't mind, I'd like to turn to the trunk at this ... the ground of meaning was God. ... The result was a profound contradiction ... and those who seek to find truth in the ...
    (sci.philosophy.meta)