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 |