Resultado da Busca
Tese de Church-Turing. Na teoria da computabilidade, a Tese de Church-Turing ou Tese de Church, assim nomeada em referência a Alonzo Church e Alan Turing, é uma hipótese sobre a natureza de artefatos mecânicos de cálculo, como computadores, e sobre que tipo de algoritmos eles podem executar. Geralmente assume-se que um algoritmo deve ...
Church, Alonzo, An unsolvable problem of elementary number theory, American Journal of Mathematics, 58 (1936), pp. 345–363. This paper contains the proof that the equivalence of lambda expressions is in general not decidable. Church, Alonzo (1941). The Calculi of Lambda-Conversion. Princeton: Princeton University Press
Alonzo Church (Washington Hiria, 1903ko ekainaren 14a - Hudson, 1995eko abuztuaren 11) Estatu Batuetako logikari eta matematikaria izan zen. Matematikako irakaslea izan zen Princetongo Unibertsitatean (1947-1961).
Alonzo Church (14. juuni 1903 – 11. august 1995) oli Ameerika Ühendriikide matemaatik ja loogik, kes andis olulise panuse matemaatilise loogika arengusse ja teoreetilise informaatika alustesse. Teda tuntakse eeskätt lambda-arvutuse , Churchi-Turingi teesi , Entscheidungsproblemi mittelahenduvuse tõestamise, Frege-Churchi ontoloogia ja Churchi-Rosseri teoreemi järgi.
Alonzo Church ( Washington DC, 14 de juny de 1903 - Hudson, 11 d'agost de 1995) fou un matemàtic americà i lògic que va fer importants contribucions a la lògica matemàtica i als fonaments la informàtica teòrica. És conegut principalment pel càlcul lambda, la tesi de Church-Turing, l' ontologia de Frege-Church, el teorema de Church ...
Alonzo Church. Alonzo Church (* 14. jún 1903, Washington D.C., USA – † 11. august 1995, Hudson, Ohio) bol americký logik a filozof zodpovedný za niektoré základy teoretickej informatiky. Bol jedným z prvých systematických rozpracovateľov teórie algoritmov . Narodil sa vo Washingtone. V roku 1924 získal bakalársky titul na ...
Prix Alonzo-Church. Le prix Alonzo-Church est un prix annuel, aussi appelé « Alonzo Church Award for Outstanding Contributions to Logic and Computation », soit « prix Alonzo Church pour des contributions exceptionnelles en logique et calcul » créé en 2015 par le ACM Special Interest Group for Logic and Computation (SIGLOG), l' EATCS, l ...
