[FOM] Is CH vague?

laureano luna laureanoluna at yahoo.es
Sat Feb 2 10:29:55 EST 2008

Vaughan Pratt wrote:

>There is indeed a strong correlation between axioms
>and theorems, the 
>only question is the direction of the arrow of
>causality.  Logicians 
>like to orient it from axioms to theorems. 
>Mathematicians know better.

I'd say the arrow of entailment goes from axioms to
theorems, as logicians demand, though the arrow of
causality (motivation) goes often the other way


Laureano Luna

¿Con Mascota por primera vez? Sé un mejor Amigo. Entra en Yahoo! Respuestas http://es.answers.yahoo.com/info/welcome

More information about the FOM mailing list