Re: My talk about Godel to the post-grads.
- From: Aatu Koskensilta <aatu.koskensilta@xxxxxx>
- Date: 27 Jun 2008 19:38:37 +0300
MoeBlee <jazzmobe@xxxxxxxxxxx> writes:
On Jun 24, 9:21 am, Peter_Smith <ps...@xxxxxxxxx> wrote:
2) Give an example of a consistent theory which does prove its own
negation completeness.
ThN. I.e., the set of sentences in the language of PA that are true in
the standard model of PA.
Fail! This theory, which is not definable in the language of
arithmetic, does not prove its own completeness.
--
Aatu Koskensilta (aatu.koskensilta@xxxxxx)
"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.
- Follow-Ups:
- Re: My talk about Godel to the post-grads.
- From: MoeBlee
- Re: My talk about Godel to the post-grads.
- References:
- My talk about Godel to the post-grads.
- From: John Jones
- Re: My talk about Godel to the post-grads.
- From: Peter_Smith
- Re: My talk about Godel to the post-grads.
- From: John Jones
- Re: My talk about Godel to the post-grads.
- From: Peter_Smith
- Re: My talk about Godel to the post-grads.
- From: John Jones
- Re: My talk about Godel to the post-grads.
- From: Peter_Smith
- Re: My talk about Godel to the post-grads.
- From: MoeBlee
- My talk about Godel to the post-grads.
- Prev by Date: Re: My talk about Godel to the post-grads.
- Next by Date: Re: My talk about Godel to the post-grads.
- Previous by thread: Re: My talk about Godel to the post-grads.
- Next by thread: Re: My talk about Godel to the post-grads.
- Index(es):
Relevant Pages
|
