Resultado de búsqueda
Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician and logician whose best-known accomplishment is the proposal about the notion of computability, called the Church-Turing thesis. The basic idea of the thesis is that any computation or calculation that is possible can be performed by an algorithm running on a simple ...
16 de abr. de 2024 · Alonzo Church (June 14, 1903 – August 11, 1995) was an eminent US mathematician and logician with works of major importance in mathematical logic, recursion theory, and theoretical computer science. He is best known for the lambda calculus, Church-Turing thesis, proving the undecidability of the Entscheidungsproblem, Frege–Church ontology ...
1996. The calculi of lambda-conversion, Volume 6 of Annals of Mathematics Studies. A Church. Princeton University Press. , 1941. 2365 *. 1941. The Calculi Of Lambda Conversion. (AM-6) (Annals Of Mathematics Studies) Author: Alonzo Church, Publisher: Princeton Univ.
1 de ene. de 2003 · The Church family was of considerable civic and academic distinc- tion; Church's great grandfather, also named Alonzo Church, was a professor of mathematics and later president from 1829 to 1859 of the college in Athens, GA, that became the University of Georgia.
Alonzo Church , 8 de novembro de 1995) foi um matemático estadunidense. ... Atuou principalmente nas áreas de lógica matemática, teoria da recursão e teoria da computação.
5 de sept. de 1995 · Alonzo Church, an eminent contributor to mathematical logic and teacher of a generation of American logicians, died in Hudson, Ohio, on Aug. 11. He was 92. Dr. Church's principal achievements lay ...
Alonzo Church (Washington D.C., 14 juni 1903 - Hudson (Ohio), 11 augustus 1995) was een Amerikaans wiskundige en logicus. Tot zijn verdiensten behoort een aantal van de meest fundamentele onderdelen van de theoretische informatica .
