Resultado de búsqueda
1996. The calculi of lambda-conversion, Volume 6 of Annals of Mathematics Studies. A Church. Princeton University Press. , 1941. 2362 *. 1941. The Calculi Of Lambda Conversion. (AM-6) (Annals Of Mathematics Studies) Author: Alonzo Church, Publisher: Princeton Univ.
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 .
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 ...
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 (June 14, 1903 – August 11, 1995) was an American mathematician and logician who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus , Church's thesis and the Church-Rosser theorem .
Alonzo Church | PDF | Teoría de la computación | Ciencias de la Computación. Scribd es red social de lectura y publicación más importante del mundo.
Alonzo Church. Princeton University Press, 1996 - Mathematics - 378 pages. Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church was a pioneer in the field of mathematical logic, whose contributions to number theory and the theories of ...
