Résultats de recherche
Alonzo Church (14 juin 1903 Washington - 11 août 1995 Hudson) est un mathématicien (logicien) américain à qui l'on doit certains des fondements de l'informatique théorique.
Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician, computer scientist, logician, and philosopher who made major contributions to mathematical logic and the foundations of theoretical computer science. [2] He is best known for the lambda calculus, the Church–Turing thesis, proving the unsolvability of the ...
Mathématicien et logicien, philosophe et historien de la logique, Alonzo Church est né le 14 juin 1903 à Washington et mort le 11 août 1995 à Hudson (Ohio). Professeur de mathématiques à l'université de Princeton, directeur du Journal of Symbolic...
Alonzo Church était un mathématicien et un logicien qui a jeté les bases de l'informatique, introduit le lambda calcul, prouvé le théorème de Church sur l'indécidabilité et codéveloppé la thèse Church-Turing.
Alonzo Church, who was one of the pioneers of mathematical logic in the "post-Principia" era, died in Hudson, Ohio on Friday, 11 August, 1995 following a serious illness.
- Irving H. Anellis
- 1995
21 oct. 2021 · Alonzo Church (1903–1995) was a renowned mathematical logician, philosophical logician, philosopher, teacher and editor. He was one of the founders of the discipline of mathematical logic as it developed after Cantor, Frege and Russell. He was also one of the principal founders of the Association for Symbolic Logic and the Journal ...
10 juin 2024 · Alonzo Church (born June 14, 1903, Washington, D.C., U.S.—died Aug. 11, 1995, Hudson, Ohio) was a U.S. mathematician. He earned a Ph.D. from Princeton University. His contributions to number theory and the theories of algorithms and computability laid the foundations of computer science.
