dimanche 16 mars 2008

Quelques dates de la logique formelle


  • 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, 1910-1913
  • 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

Aucun commentaire: