Re: True = [ proven | provable ]
From: George Cox (george_coxanti_at_spambtinternet.com.invalid)
Date: 01/17/05
- Next message: Don Del Grande: "Re: How many digits is pi computable to?"
- Previous message: george: "Re: Its HOW MANY TIME again sci.matht !"
- In reply to: |-|erc: "True = [ proven | provable ]"
- Next in thread: |-|erc: "Re: True = [ proven | provable ]"
- Reply: |-|erc: "Re: True = [ proven | provable ]"
- Messages sorted by: [ date ] [ thread ]
Date: Mon, 17 Jan 2005 20:40:21 +0000 (UTC)
|-|erc wrote:
>
> Mathematicians don't need the word true.
>
> For "I think its true" say "I think its provable".
Mathematicians don't need "I think".
>
> For "G is true" say "G is proven"
In systems that contain a modest amount of number theory, "true" and
"provable" are not co-extensive.
- Next message: Don Del Grande: "Re: How many digits is pi computable to?"
- Previous message: george: "Re: Its HOW MANY TIME again sci.matht !"
- In reply to: |-|erc: "True = [ proven | provable ]"
- Next in thread: |-|erc: "Re: True = [ proven | provable ]"
- Reply: |-|erc: "Re: True = [ proven | provable ]"
- Messages sorted by: [ date ] [ thread ]
