Re: True = [ proven | provable ]
From: LordBeotian (pokipsy76_at_CANCELLAMIyahoo.it)
Date: 01/18/05
- Next message: David C. Ullrich: "Re: computation and cardinality"
- Previous message: Daryl McCullough: "Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false?"
- 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: Tue, 18 Jan 2005 12:47:36 GMT
"|-|erc" <h@r.c> ha scritto
> Mathematicians don't need the word true.
>
> For "I think its true" say "I think its provable".
>
> For "G is true" say "G is proven"
How do you prove 1+1=2 ?
- Next message: David C. Ullrich: "Re: computation and cardinality"
- Previous message: Daryl McCullough: "Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false?"
- 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 ]
