Re: Comparing Proofs of Rosser's 1936 Theorem
- From: Torkel Franzen <torkel@xxxxxxxxxx>
- Date: 21 Feb 2006 15:21:09 +0100
"Charlie-Boo" <chvol@xxxxxxx> writes:
What is the relationship between the following two proofs of Rosser's
1936 theorem?
What is the essential difference between what Rosser proved and the
theorem you sketch?
.
- Follow-Ups:
- Re: Comparing Proofs of Rosser's 1936 Theorem
- From: Charlie-Boo
- Re: Comparing Proofs of Rosser's 1936 Theorem
- From: Charlie-Boo
- Re: Comparing Proofs of Rosser's 1936 Theorem
- References:
- Comparing Proofs of Rosser's 1936 Theorem
- From: Charlie-Boo
- Comparing Proofs of Rosser's 1936 Theorem
- Prev by Date: Re: Deductive/Inductive Arguments
- Next by Date: Re: Z set theory - predicative or impredicative?
- Previous by thread: Re: Comparing Proofs of Rosser's 1936 Theorem
- Next by thread: Re: Comparing Proofs of Rosser's 1936 Theorem
- Index(es):
