- L'analyse mathématique de la logique, G. Boole, 1847
- Les fondements de l'arithmétique, G. Frege, 1884
- La lettre de B. Russell à G. Frege (le paradoxe de Russell) , 1902
- Principia Mathematica, B. Russell, A.N. Whitehead,
- Discours de Bologne de D. Hilbert, 1928
- Thèse de Jacques Herbrand, 1926
- "Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés", K. Gödel, 1931
- "Finite combinatory processes—formulation 1" (The Undecidable), E. Post, 1936
- "Un problème insoluble de la théorie des nombres élémentaires", A. Church, S. Kleene, J.B. Rosser, 1936
- "Sur les nombres calculables, avec une application à l'Entscheidungsproblem", A. Turing, 1937
Aux Etats-Unis, la Cour suprême s’oriente vers un rejet de la demande
d’immunité totale de Donald Trump
-
En voulant définir le périmètre d’une éventuelle immunité partielle, les
juges ouvrent la voie à d’autres recours, qui retarderaient encore un
procès sur l...
Il y a 45 minutes
Aucun commentaire:
Enregistrer un commentaire