Ideal of Proof Seminar
Thursday, January 22nd (ENS, 45 rue d'Ulm,75005. Salle Dussane).
-Session I (9:00--10:25): Mattia Petrolo (IP Fellow),
``Ideal proofs and logical constructivity: From intuitionistic to classical logic''
-Session II (10:30--11:55): Renaud Chorlay (IP Fellow),
``Ways out of the Grey''
-Session III (13:15--14:40): Paola Cantu (IP Fellow),
``Ideal numbers and magnitudes: a matter of degree?''
-Session IV (14:45--16:10): Andrei Rodin (IP Fellow),
``How Mathematical Concepts Get Their Bodies: The example of Forcing''
-Session V (16:15--17:45): Agustin Rayo (IP visitor),
``Towards a Trivialist Account of Mathematics'' *