[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
around.

Regards,

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