Home  - Philosophers - Church Alonzo

Books Baby Camera Phones Computers Games DVD Electronics Kitchen Magazines Music Garden Software Tools Toys Video Apparel & Accessories Jewelry & Watches Musical Instruments Health & Personal Care Beauty Sports & Outdoors Office Products

e99.com Bookstore

Images

Newsgroups

1-20 of 92    1  | 2  | 3  | 4  | 5  | Next 20

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

Church Alonzo:     more books (100)

The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies) by Alonzo Church, 1985-01-01 Introduction to Mathematical Logic by Alonzo Church, 1996-10-28 Logic, Meaning and Computation : Essays in Memory of Alonzo Church (Synthese Library, 305) (Synthese Library) Biography - Church, Alonzo (1903-1995): An article from: Contemporary Authors by Gale Reference Team, 2002-01-01 Calculi of Lambda-Conversion by Alonzo Church, 1941 A discourse delivered before the Georgia Historical Society: On the occasion of its 6th anniversary, on Wednesday, 12th February, 1845 by Alonzo Church, 1845 THE JOURNAL OF SYMBOLIC LOGIC - VOLUME 7, NUMBER 2, JUNE 1942 by Alonzo & Nagel, Ernest Church, 1942 Introduction to Mathematical Logic, Part I [all published] by Alonzo CHURCH, 1944 THE JOURNAL OF SYMBOLIC LOGIC - VOLUME 26, NUMBER 1-2, MARCH-JUNE 1961 by Alonzo Church, 1964 Introduction to Mathematical LogicVolume1 by alonzo church, 1956 Introduction to Mathematical Logic Part 1(typed notes by C.A. Truesdell) by Alonzo Church, 1956 'School Street Universalist Church, Rev. Alonzo A Miner, Pastor'..text & engravings from Gleason's Pictorial 8/6/1853 by Luther) Gleason's Pictorial Drawing Room Companion Farnham, 1853 Die These von Church: Zur erkenntnistheoretischen und sprachphilosophischen Bedeutung der Rekursionstheorie (European university studies. Series I, German language and literature) by Klaus-Dieter Schulz, 1997 The proper method, matter and object of ministerial study: A charge to the clergy of the Protestant Episcopal Church in Pennsylvania, delivered in St. ... Philadelphia, Wednesday, May 22, 1850 by Alonzo Potter, 1850

lists with details

1. Church
   Alonzo Church. Born 14 June 1903 in Washington, DC, USA Died 11 Aug 1995 in Hudson, Ohio, USA. Click the picture above to see a larger version  
   http://www-gap.dcs.st-and.ac.uk/~history/Mathematicians/Church.html
   
   Extractions: 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 says that there is no decision procedure for the full predicate calculus. 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. Alonzo Church - Wikipedia, The Free Encyclopedia
   Alonzo Church. From Wikipedia, the free encyclopedia. The wiki will be offline for a few minutes to switch hard drives on the main server (more space good!).  
   http://en.wikipedia.org/wiki/Alonzo_Church
   
   Extractions: Other languages: Deutsch From Wikipedia, the free encyclopedia. Alonzo Church June 14 August 11 ) was an American mathematician and logician who was responsible for some of the foundations of theoretical computer science . Born in Washington, DC , 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 Church-Turing thesis , which is also known as Church's Thesis and Turing's Thesis as there is dispute about who proposed it first.

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

4. Alonzo Church - OneLook Dictionary Search
   Never stop learning! OneLook is sponsored in part by KnowledgeNews. KnowledgeNews brings the fascinating world of history, science, and culture right to your inbox every weekday. Click here to become  
   http://www.onelook.com/cgi-bin/cgiwrap/bware/dofind.cgi?word=Alonzo Church

5. Alonzo CHURCH - Vikipedio
   Presebla versio Malgarantio. Ne ensalutinta. Ensalutu Helpo. Alonzo CHURCH. El Vikipedio, la libera enciklopedio. Matematiko Matematikistoj Alonzo church alonzo Church (  
   http://eo.wikipedia.org/wiki/Alonzo_CHURCH
   
   Extractions: Ensalutu Helpo 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.

6. Alonzo Church Definition Of Alonzo Church In Computing. What Is Alonzo Church? M
   Computer term of Alonzo Church in the Computing Dictionary and Thesaurus. Alonzo encyclopedia. Provides search by definition of Alonzo Church.  
   http://computing-dictionary.thefreedictionary.com/Alonzo Church
   
   Extractions: Dictionaries: General Computing Medical Legal Encyclopedia Word: Word Starts with Ends with Definition (person) Alonzo Church - A twentieth century mathematician and logician, and one of the founders of computer science. Church invented the lambda-calculus and posited a version of the Church-Turing thesis.

7. Alonzo Church - Wikipedia, The Free Encyclopedia
   Other languages Deutsch Français. Alonzo Church. From Wikipedia, the free encyclopedia. Alonzo Church ( June 14, 1903 August 11, 1995) was an Americanmathematician  
   http://www.wikipedia.org/wiki/Alonzo_Church
   
   Extractions: Other languages: Deutsch From Wikipedia, the free encyclopedia. Alonzo Church June 14 August 11 ) was an American mathematician and logician who was responsible for some of the foundations of theoretical computer science . Born in Washington, DC , 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 Church-Turing thesis , which is also known as Church's Thesis and Turing's Thesis as there is dispute about who proposed it first.

8. Church_alonzo Ordinateur D'occasion, Ordinateur Portable D'occasion, Informatiqu
   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://www.pckado.com/e-marketing/c/church_alonzo.html
   
   Extractions: Church Alonzo /t(ch)*rt(ch)/ np. PERS ] Mathématicien ayant énoncé sa thèse à 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 ... Voir Turing Alan Mathison

9. Alonzo Church @ Computer-Dictionary-Online.org
   Alonzo Church @ Computer Dictionary Online. Alonzo Church person A twentieth century mathematician and logician, and one of the founders of computer science.  
   http://www.computer-dictionary-online.org/?q=Alonzo Church

10. [JargonF] Church Alonzo
    Translate this page church alonzo. /t(ch)*rt(ch)/ np. personne (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
    
    Extractions: Church Alonzo /t(ch)*rt(ch)/ np. personne ] (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 : chroot chrooter CHRP CHS ... Courrier

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

12. ORIENTALIA | Encyclopedia | Cultural Studies: Philosophy And Psychology | Church
    Free Super Saver Shipping on books, video, videogames, DVD, DVDs, disks, VHS, magazines, church alonzo, Books, cheap, big discount, rabbat, free, Super Saver.  
    http://www.orientalia.org/term25155.html

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

14. The Collected Works Of Alonzo Church Alonzo Church Textbooks & Books Price Compa
    Compare Prices on New Used College Textbooks. Search by ISBN, Title, Author, Keyword, or Advanced. The Collected Works Of Alonzo church alonzo Church.  
    http://www.directtextbook.com/editions/the-collected-works-of-alonzo-church-alon

15. Alonzo Church Textbooks Textbooks & Books Price Comparison - Direct Textbook
    Direct Textbook, Compare Prices on New Used College Textbooks. Search by ISBN, Title, Author, Keyword, or Advanced. Alonzo Church Textbooks.  
    http://www.directtextbook.com/author/alonzo-church

16. Hebergements Sites Professionnels, Hosting , Héberge Site Internet, Nom De Domai
    Translate this page DEFINITION 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://hosting.infomaniak.ch/support/jargon_article.php?iCodeArticle=14611

17. 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://sysadmin.eila.jussieu.fr/jargon/C/Church_Alonzo.html
    
    Extractions: 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

18. CentralWeb - Church Alonzo
    Translate this page Le dico CentralWeb. church alonzo. (14/06/1903 - 11/08/1995). Mathématicien ayant énoncé sa thèse en 1936 à Princeton. La thèse  
    http://www.centralweb.fr/dico/def/church-alonzo.htm
    
    Extractions: (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 PERS

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

20. Alonzo Church | Mathe Board Lexikon
    Translate this page Alonzo Church. Definition, Erklärung, Bedeutung. Alonzo Church. Alonzo Church war ein US-amerikanischer Mathematiker und einer der  
    http://www.matheboard.de/lexikon/index.php/Alonzo_Church
    
    Extractions: Startseite Mathe Board Lexikon Mathe Tools ... Partner Das Mathe Board: Kostenlose Nachhilfe in Mathematik von der Grundschule bis zur Hochschule. A B C D ... Z Definition, Erklärung, Bedeutung Verbessern Mitmachen Alonzo Church war ein US-amerikanischer Mathematik er und einer der Begründer der theoretischen Informatik. Er wurde am 4. Juni 1903 in Washington D.C. geboren, studierte an der Princeton University und schloss dort mit dem Doktorat ab. 1929 wurde er dort Professor für Mathematik. Am bekanntesten ist er für seine Entwicklung des Lambda-Kalkül s. Er publizierte dazu einen Bericht in dem er damit demonstrierte, dass es unentscheidbare Probleme gibt (d.h. die Antwort auf eine Fragestellung ist nicht mathematisch berechenbar). Dieses Resultat regte seinen Studenten Alan Turing zu seinen Überlegungen zum Halteproblem an, welches auch unentscheidbar ist. Church und Turing fanden dann heraus, dass das Lambda-Kalkül und die Turingmaschine ebenbürtig in der Ausdruckskraft sind und konnten noch einige weitere äquivalente Mechanismen zum Berechnen von Funktionen angeben.

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

1-20 of 92    1  | 2  | 3  | 4  | 5  | Next 20