1. Church Biography from the MacTutor History of Mathematics archive.Category Science Math History People Church, Alonzo......Alonzo Church. Born 14 June 1903 in Washington, DC, USA Died 11 Aug 1995in Hudson, Ohio, USA. Click the picture above to see a larger version http://www-gap.dcs.st-and.ac.uk/~history/Mathematicians/Church.html

Alonzo Church Born: 14 June 1903 in Washington, D.C., USA Died: 11 Aug 1995 in Hudson, Ohio, USA Click the picture above to see a larger version Show birthplace location Previous (Chronologically) Next Biographies Index Previous (Alphabetically) Next Main index Alonso Church was a student at Princeton receiving his first degree in 1924, then his doctorate three years later. His doctoral work was supervised by Veblen , and he was awarded his doctorate for his dissertation entitled Alternatives to Zermelo 's Assumption. Brouwer . He returned to the USA becoming professor of mathematics at Princeton in 1929, a post he held until 1967 when he became professor of mathematics and philosophy at California. His work is of major importance in mathematical logic, recursion theory and in theoretical computer science. He created the -calculus in the 1930s which today is an invaluable tool for computer scientists. He is best remembered for Church's Theorem (1936), which shows there is no decision procedure for arithmetic. It appears in An unsolvable problem in elementary number theory published in the American Journal of Mathematics (1936), 345-363. His work extended that of

2. Church Alonzo Translate this page church alonzo. /t(ch)*rt(ch)/ np. PERS (14/06/1903 - 11/08/1995).Mathématicien ayant énoncé sa thèse en 1936 à Princeton. http://www.linux-france.org/prj/jargonf/C/Church_Alonzo.html

Church Alonzo /t(ch)*rt(ch)/ np. PERS ] (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 peut l'être avec un ensemble réduit d'instructions. C'est une affirmation philosophique indémontrable qui est la base de toute l' algorithmique ... Les travaux de Church ont eu un impact d'importance dans les domaines de l'informatique théorique, de la logique et de la théorie de la récursivité. Il a créé le lamba-calcul dans les années 1930. Voir Turing Alan Mathison Articles liés à celui-ci : algorithme lambda calcul thèse de Church-Turing Articles voisins : chrominance chroot CHRP CHS ... Courrier

3. Thèse De Church-Turing Translate this page loc. f. MATH Voir l'URL (en anglais) Voir aussi church alonzo et TuringAlan Mathison. http//plato.stanford.edu/entries/church-turing/. http://www.linux-france.org/prj/jargonf/T/thegrse_de_Church-Turing.html

thèse de Church-Turing loc. f. MATH ] Voir l'URL (en anglais)... Voir aussi Church Alonzo et Turing Alan Mathison http://plato.stanford.edu/entries/church-turing/ Articles voisins : th THAO théière thème ... Courrier

4. Alonzo Church From FOLDOC Alonzo Church. person A twentieth century mathematician and logician,and one of the founders of computer science. Church invented http://wombat.doc.ic.ac.uk/foldoc/foldoc.cgi?Alonzo Church

5. Church Alonzo From FOLDOC church alonzo. Recommended Reading Alonzo Church, A Bibliography ofSymbolic Logic (16661935) (Association of Symbolic Logic, 1985). http://www.swif.uniba.it/lei/foldop/foldoc.cgi?Church Alonzo

6. Alonzo Church From FOLDOC Register a Domain. Alonzo Church. person A twentieth century mathematicianand logician, and one of the founders of computer science. http://www.instantweb.com/foldoc/foldoc.cgi?Alonzo Church

7. Church Alonzo Translate this page church alonzo, /t(ch)*rt(ch)/ np. PERS Mathématicien ayant énoncésa thèse à Princeton. La thèse de Church affirme que toute http://openbsd.bcnix.com/jargon/C/Church_Alonzo.html

8. Xrefer - Search Results - Alonzo Church church alonzo 1903. church alonzo 1903 One of the most significant figuresin the development of mathematical logic, Church, Alonzo (1903). http://www.xrefer.com/results.jsp?shelf=&term=Alonzo Church

9. Alonzo Church - Wikipedia Alonzo Church. Alonzo Church was an American mathematician who was responsiblefor some of the foundations of theoretical computer science. http://www.wikipedia.org/wiki/Alonzo_Church

Main Page Recent changes Edit this page Older versions Special pages Set my user preferences My watchlist Recently updated pages Upload image files Image list Registered users Site statistics Random article Orphaned articles Orphaned images Popular articles Most wanted articles Short articles Long articles Newly created articles Interlanguage links All pages by title Blocked IP addresses Maintenance page External book sources Printable version Talk Log in Help Alonzo Church From Wikipedia, the free encyclopedia. Alonzo Church was an American mathematician who was responsible for some of the foundations of theoretical computer science . Born on June 4 in Washington D.C., he attended Princeton University as an undergraduate and continued there, completing his PhD in . He became a professor of mathematics at Princeton in He is best known for the development of the lambda calculus , his paper that showed the existence of an "undecidable problem" in it. This result preempted Alan Turing 's famous work on the halting problem which also demonstrated the existence of a problem unsolvable by mechanical means. Supervising Turing's doctoral thesis, they then showed that the lambda calculus and the Turing machine used in Turing's halting problem were equivalent in capabilities, and subsequently demonstrated a variety of alternative "mechanical processes for computation" had equivalent computational abilities. This resulted in the

10. Alonzo CHURCH - Vikipedio Alonzo CHURCH. El Vikipedio, la libera enciklopedio. Matematiko Matematikistoj Alonzo church alonzo Church (19031995) estas http://eo.wikipedia.org/wiki/Alonzo_CHURCH

Vikipedio Ĉefpaĝo Enkonduko Helpo ... Ensalutu La Libera Enciklopedio Presebla versio Alonzo CHURCH El Vikipedio, la libera enciklopedio. Matematiko Matematikistoj > Alonzo CHURCH Alonzo Church ) estas usona matematikisto kiu kontribuis multe al matematika logiko terio de rekursio , kaj la fundamentaj teorioj de komputiko Li naskiĝis la 4-an de junio , en Vaŝingtono, kaj diplomiĝis ĉe la Universitaton Princeton kaj doktoriĝis tie en . Kaj en , li tie fariĝis profesoro de matematiko, kie li restis ĝis , kiam li translokiĝis al Kalifornio. Li estas plej konata pro disvolvi la lambdokalkulo kaj pro lia referaĵo de kiu montris la ekziston de nedecideblaj problemoj en la kalkulo. Tiu rezulto antaŭis la fama laboro de Alan TURING pri la haltproblemo ankaŭ kiu demonstris la ekziston de nesolveblaj problemoj per meĥanika maniero. Church direktis la doktora tezo de Turing, en kiu ili montris la ekvivalenton de la lambdokalkulo kaj la maŝino turinga (uzita en la haltproblema laboro de Turing) kaj sekve montris ke diversaj aliaj meĥanikaj komput-sistemoj havas ekvivalentajn kapablojn. Tiel rezultiĝis la tezo Church-Turing , kiu estas konata ankaŭ kiel la tezo de Church aŭ la tezo de Turing ĉar estas disputo pri kiu unue proponis ĝin.

11. Church Translate this page church alonzo américain, 1903-1995 Ce mathématicien fut un éminentlogicien qui compléta les travaux de Gödel relatifs à l http://www.sciences-en-ligne.com/momo/chronomath/chrono2/church.html

CHURCH Alonzo Notons ici que son contemporain et compatriote Stephen Cole Kleene , avec ce que l'on nomme aujourd'hui la ZF Hilbert , n'existe pas. Bernays : N dans N calculables Tarski Delsarte

12. Alonzo Church Alonzo Church. (1903 1995) http//www.xrefer.com/entry/551590.AlonzoChurch studied at Princeton, receiving his first degree in http://c2.com/cgi/wiki?AlonzoChurch

13. Alonzo Church Alonzo Church Portrait. Page from Catalogue of the Officers and Studentsof Franklin College, University of Georgia, Athens, 185253. http://www.libs.uga.edu/archivesweek/2001/alonzoc.html

Alonzo Church Portrait Page from Catalogue of the Officers and Students of Franklin College, University of Georgia, Athens, 1852-53. Back to Student life in the 1850s Hargrett Rare Book and Manuscript Library University of Georgia Libraries Athens, GA 30602-1641 For further information about this collection, please contact: Hargrett Rare Book and Manuscript Library: Phone: (706) 542-7123 / FAX: (706) 542-4144 / Email: hargrett@arches.uga.edu Last update: October 2, 2001 Comments to: Sheila McAlister URL=http://www.libs.uga.edu/archivesweek/2001/alonzoc.html

14. 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

Alonzo S. Church Biography: Born April 9, 1793, Brattleboro, VT; Died May 18, 1862, Athens, GA. B.A. Middlebury College (1816). Church came to Putnam Co., GA as a schoolmaster. While a Presbyterian minister, he joined faculty at UGA as Professor of Mathematics. Following his resignation in 1859, he retired to the country . Accomplishments: A stern disciplinarian, Church's puritanical ethos clashed with the student body, resulting in periods of campus unrest in each decade of his tenure. Additionally, he clashed with Joseph and John LeConte who refused to serve as disciplinarians of the student body. This series of confrontations led to an erosion of attendance. As a result of the crisis, a commission was formed which produced the Mitchell Report of November 1855. They advocated the creation of a school of science, law, teacher education, and agriculture as well as the addition of a professor of modern languages to the faculty. Buildings: Classroom/Library (Southern half of current Academic Building, 1831); Chapel (1832); Phi Kappa Hall (1836); Lumpkin House (Rock House, 1844); Lustrat House (1847); Garden Club House (1857); The Arch (1858) (funded through sale of the University Botanical Garden for $1,000). Last Update: March 13, 2001

15. Alonzo Church Alonzo Church. Introduction to Mathematical Logic. Logic, Meaning and Computation Essays in Memory of Alonzo Church (Synthese Library, 305). http://www.artistactoractress.com/philosophers/church_alonzo.html

Alonzo Church Introduction to Mathematical Logic 'Ain't Gonna Lay My 'Ligion Down' : African American Religion in the South Calculi of Lambda Conversion Logic, Meaning and Computation : Essays in Memory of Alonzo Church (Synthese Library, 305) Die These von Church : zur erkenntnistheoretischen und sprachphilosophischen Bedeutung der Rekursionstheorie A Bibliography of Symbolic Logic (1666-1935) Philosophers ArtistActorActress.com

16. Alonzo Church - Acapedia - Free Knowledge, For All Friends of Acapedia Alonzo Church. Alonzo Church was an American mathematician whowas responsible for some of the foundations of theoretical computer science. http://acapedia.org/aca/Alonzo_Church

var srl33t_id = '4200';

17. Alonzo Church alonzo church. Alonzo Church person A twentieth century mathematicianand logician, and one of the founders of computer science. http://alonzo.church.word.sytes.net/

alonzo church From The Free On-line Dictionary of Computing (09 FEB 02) Alonzo Church lambda-calculus and posited a version of the Church-Turing thesis 1 definition found Dictionary sytes.org word@sytes.org

18. Dictionary Contents: C chain of being; chaos; Charron Pierre; Chinese room; chip; Chisholm Roderick M.;Chomsky Noam Avram; Christianity; Chrysippus; church alonzo; ChurchRosser http://lgxserver.uniba.it/lei/foldop/contents/C.html

c Caird Edward calculus Cambridge Platonists c Caird Edward calculus Cambridge Platonists ... cynicism

19. Alonzo Church Alonzo Church. http://student.vub.ac.be/~kbernole/bovenkant church.htm

20. Church Biography from the MacTutor History of Mathematics archive. http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Church.html

Alonzo Church Born: 14 June 1903 in Washington, D.C., USA Died: 11 Aug 1995 in Hudson, Ohio, USA Click the picture above to see a larger version Show birthplace location Previous (Chronologically) Next Biographies Index Previous (Alphabetically) Next Main index Alonso Church was a student at Princeton receiving his first degree in 1924, then his doctorate three years later. His doctoral work was supervised by Veblen , and he was awarded his doctorate for his dissertation entitled Alternatives to Zermelo 's Assumption. Brouwer . He returned to the USA becoming professor of mathematics at Princeton in 1929, a post he held until 1967 when he became professor of mathematics and philosophy at California. His work is of major importance in mathematical logic, recursion theory and in theoretical computer science. He created the -calculus in the 1930s which today is an invaluable tool for computer scientists. He is best remembered for Church's Theorem (1936), which shows there is no decision procedure for arithmetic. It appears in An unsolvable problem in elementary number theory published in the American Journal of Mathematics (1936), 345-363. His work extended that of

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

Page 1     1-20 of 94    1  | 2  | 3  | 4  | 5  | Next 20