Home - Scientists - Church Alonzo |
Page 2 21-40 of 96 Back | 1 | 2 | 3 | 4 | 5 | Next 20 |
21. Citations A Formulation Of The Simple Theory Of Types - Church Alonzo Church. A formulation of the simple theory of types. Journal of Symbolic Logic, 55668, 1940. http://citeseer.ist.psu.edu/context/15555/0 |
22. An Annotated Bibliography On The History Of Logic church alonzo, A bibliography of symbolic logic, Journal of Symbolic Logic church alonzo, Outline of a revised formulation of the logic of sense and http://www.formalontology.it/history_of_logic.htm | |
|
23. CentralWeb - Church Alonzo Translate this page church alonzo. (14/06/1903 - 11/08/1995). Mathématicien ayant énoncé sa thèse en 1936 à Princeton. La thèse de Church affirme que toute fonction calculable http://www.centralweb.fr/dico/def/church-alonzo.htm | |
|
24. University Of Georgia Presidents' Exhibit: Alonzo S. Church Alonzo S. Church 182959. Biography Born April 9, 1793, Brattleboro, VT; Died May 18, 1862, Athens, GA. BA Middlebury College (1816). http://www.libs.uga.edu/hargrett/pexhibit/presiden/aschurch.html | |
|
25. Algorithme - Définition - Tout-Savoir.Net Translate this page Fondé sur la thèse de church alonzo. Articles liés à celui-ci A5 algorithmie algorithmique Al-Khwarizmi AU Blowfish câblé câbler CCP chiffre compacter http://www.tout-savoir.net/lexique.php?rub=definition&code=423 |
26. Church Biography from the MacTutor History of Mathematics archive. http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Church.html | |
|
27. The Church-Turing Thesis alonzo church and Alan Turing formulated the thesis that computability coincides with recursivity; by Jack Copeland. http://plato.stanford.edu/entries/church-turing/ | |
|
28. The Need For Abstract Entities Philosophical paper by alonzo church http://www.ditext.com/church/nae.html | |
|
29. References For Church CA Anderson, alonzo church s contributions to philosophy and intensional logic, In honor of alonzo church s 75th birthday with some remarks from the http://www-groups.dcs.st-and.ac.uk/~history/Printref/Church.html | |
|
30. Church, Alonzo (1903-1995) church, alonzo (19031995) church and Turing then showed that the lambda calculus and the Turing machine, which is used in the halting problem, http://www.daviddarling.info/encyclopedia/C/Church.html | |
|
31. Dictionary Of Philosophy Of Mind - Church, Alonzo church, alonzo (b. 1903, Washington, DC, d. 1995, Hudson, OH, Ph.D. mathematics, Princeton, 1927). church was a mathematician and a logician, http://philosophy.uwaterloo.ca/MindDict/church.html | |
|
32. Alonzo Church From FOLDOC church, alonzo . alonzo church church invented the lambdacalculus and posited a version of the church-Turing thesis. (1995-03-25) http://foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi?Church, Alonzo |
33. Church Integer From FOLDOC A representation of integers as functions invented by alonzo church, inventor of lambdacalculus. The integer N is represented as a higher-order function http://foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi?Church integer |
34. Church, Alonzo -- Encyclopædia Britannica church, alonzo US mathematician (b. June 14, 1903, Washington, DCd. Aug. 11, 1995, Hudson, Ohio), was a pioneer in the field of mathematical logic. http://www.britannica.com/eb/article-9112036 | |
|
35. Church, Alonzo -- Britannica Concise Encyclopedia - The Online Encyclopedia Y church, alonzo body US mathematician. church, alonzo Concise Encyclopedia Article, Page 1 of 1. Print Page Print Article Email Article Cite http://www.britannica.com/ebc/article-9360766?query=logic&ct= |
36. EpistemeLinks.com: Website Results For Philosopher Alonzo Church General website search results for alonzo church including brief biographies, link resources, and more. Provided by EpistemeLinks.com. http://www.epistemelinks.com/Main/Philosophers.aspx?PhilCode=Chur |
37. EpistemeLinks.com: Encyclopedia Entries For Philosopher Alonzo Church Encyclopedia entry search results for alonzo church. Provided by EpistemeLinks.com. http://www.epistemelinks.com/Main/EncyRefs.aspx?PhilCode=Chur |
38. Church, Alonzo - Computing Reference - ELook.org church, alonzo. alonzo church. Previous Terms, Terms Containing church, alonzo, Next Terms . chrome chroot CHRP chug chunker church integer http://www.elook.org/computing/church,-alonzo.htm | |
|
39. Alonzo Church From FOLDOC church, alonzo . alonzo church. person A twentieth century mathematician and logician, and one of the founders of computer science. http://www.instantweb.com/foldoc/foldoc.cgi?Church, Alonzo |
40. Alonzo Church - Dicionário Internet church, alonzo . alonzo church. person A twentieth century mathematician and logician, and one of the founders of computer science. http://www.hostgold.com.br/hospedagem-sites/o_que_e/Church, Alonzo |
Page 2 21-40 of 96 Back | 1 | 2 | 3 | 4 | 5 | Next 20 |