Re: FOL, ZFC, NGB and Prolog
- From: Aatu Koskensilta <aatu.koskensilta@xxxxxxxxx>
- Date: Thu, 09 Jun 2005 11:33:00 +0300
Tom wrote:
(I thought Goedel equated provability and truth).
Quite the opposite, really, provided we're speaking about formal provability.
-- Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)
"Wovon man nicht sprechen kann, daruber muss man schweigen" - Ludwig Wittgenstein, Tractatus Logico-Philosophicus .
- Follow-Ups:
- Re: FOL, ZFC, NGB and Prolog
- From: galathaea
- Re: FOL, ZFC, NGB and Prolog
- From: Tom
- Re: FOL, ZFC, NGB and Prolog
- References:
- FOL, ZFC, NGB and Prolog
- From: Tom
- Re: FOL, ZFC, NGB and Prolog
- From: Jim Spriggs
- Re: FOL, ZFC, NGB and Prolog
- From: Tom
- Re: FOL, ZFC, NGB and Prolog
- From: Jim Spriggs
- Re: FOL, ZFC, NGB and Prolog
- From: Tom
- FOL, ZFC, NGB and Prolog
- Prev by Date: Re: 2 questions about AC
- Next by Date: Penrose's Computing Pi Description?
- Previous by thread: Re: FOL, ZFC, NGB and Prolog
- Next by thread: Re: FOL, ZFC, NGB and Prolog
- Index(es):
