Vincent R.B. Blazy
Université de Paris
-
Université de ParisInstitut de Recherche En Informatique FondamentaleDoctoral student
Areas of Specialization
2 more
Science, Logic, and Mathematics |
Mathematical Logic |
Proof Theory |
Formalism in Mathematics |
Objectivity Of Mathematics |
Mathematical Truth |
Undecidability |