Aide à la recherche   Requête : "théorie des types"

1	2022 Tangente. N° 206. p. 18-20. Un génie hors des sentiers battus.
2	2019 Généalogie des mathématiques.
3	2017 Quadrature. N° 103. p. 11-17. Un jeu vidéo pour adultes et une thématique HoTT !
4	2015 Bibliothèque Tangente. N° 55. La théorie homotopique des types : de nouveaux fondements des mathématiques ? p. 120-127.
5	2015 Bibliothèque Tangente. N° 55. Les démonstrations.
6	2015 Bibliothèque Tangente. N° 55. Une preuve de maths est un programme informatique ! p. 138-142.
7	2015 Quadrature. N° 98. p. 9-19. Les mathématiques de la langue.
8	2014 La possibilité des nombres.
9	2011 Journée annuelle de la Société Mathématique de France. Vol. 24. Qu'est-ce qu'un nombre au hasard ?
10	2010 Logicomix.
11	2009 Bulletin de l'APMEP. N° 483. p. 449-466. Mathématiques constructives.
12	2009 Histoire de la Théorie des Ensembles.
13	2007 Les métamorphoses du calcul.
14	2004 Du mode d'existence des objets de la mathématique.
15	2003 Calculs et formes. De l'activité mathématique.
16	1999 Information, complexité et hasard.
17	1993 Les irrationalités de la logique.
18	1984 Introduction à la logique.
19	1978 Abrégé d'histoire des mathématiques 1700-1900. II. Axiomatique et Logique. p. 315-430.
20	1975 Introduction à la logique.