• Preuves intuitionnistes touchant la première philosophie 

    Vidal-Rosset, Joseph (Société Philosophique Ithaque, 2013)
    Vuillemin a toujours lu Descartes comme un intuitionniste avant la lettre, si l’on entend par « intuitionniste » un mathématicien qui adopte la philosophie de Brouwer et la logique de Heyting. On se propose dans l’Introduction et la première section ...