Re: does sqrt(2) exist in CM?
From: Chris Menzel (cmenzel_at_remove-this.tamu.edu)
Date: 02/18/05
- Next message: Rick Decker: "Re: Factoring, sf, and reasonable requests"
- Previous message: josephus: "Re: Inflationary Theory ; I'm confused"
- In reply to: examachine_at_gmail.com: "Re: does sqrt(2) exist in CM?"
- Next in thread: David C. Ullrich: "Re: does sqrt(2) exist in CM?"
- Messages sorted by: [ date ] [ thread ]
Date: 18 Feb 2005 23:27:03 GMT
On 18 Feb 2005 14:48:31 -0800, examachine@gmail.com <examachine@gmail.com> said:
>
> Torkel Franzen wrote:
>> namducnguyen <namducnguyen@shaw.ca> writes:
>>
>> > What would be the difference? Thanks.
>>
>> The set of theorems of a formal system is effectively enumerable.
>
> What good examples do we have for consistent theories whose theorems
> are not enumerable?
In the language of arithmetic, the theory whose axioms are exactly the
true sentences.
- Next message: Rick Decker: "Re: Factoring, sf, and reasonable requests"
- Previous message: josephus: "Re: Inflationary Theory ; I'm confused"
- In reply to: examachine_at_gmail.com: "Re: does sqrt(2) exist in CM?"
- Next in thread: David C. Ullrich: "Re: does sqrt(2) exist in CM?"
- Messages sorted by: [ date ] [ thread ]
Relevant Pages
|
