- 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
Guerre Israël-Hamas, jour 203 : quatorze ans pour enlever les débris à
Gaza, Paris débloque 33 millions d’euros pour l’UNRWA
-
Israël se prépare à lancer une offensive terrestre dans la ville surpeuplée
de Rafah, frontalière avec l’Egypte, dans le sud de la bande de Gaza, que
le pr...
Il y a 1 heure
Aucun commentaire:
Enregistrer un commentaire