[FOM] Is CH vague?
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
>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
¿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