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 94    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
   Biography from the MacTutor History of Mathematics archive.Category Science Math History People Church, AlonzoAlonzo 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
   
   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 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
   
   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

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

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
   
   Extractions: 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 All pages by title Blocked IP addresses Maintenance page External book sources Printable version Talk Log in Help 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
    
    Extractions: Presebla versio 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

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

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
    
    Extractions: 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
    
    Extractions: 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

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/

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

19. Church
    Biography from the MacTutor History of Mathematics archive.  
    http://www-groups.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 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

20. Alonzo Church
    Translate this page PhilSearch.de. Shops. PhiloShop. PhiloShirt. Service. Philosophie-Zitatefür Ihre HomePage. Kontakt. Impressum. eMail. alonzo church (geb. 1903).  
    http://www.philosophenlexikon.de/church.htm
    
    Extractions: Ebbinghaus - Ewald ... Geschichte der Philosophie Diskussion PhilTalk Philosophieforen Andere Lexika PhilLex -Lexikon der Philosophie Lexikon der griechischen Mythologie PhiloThek Bibliothek der Klassiker Zeitschriftenlesesaal Nachschlagewerke Allgemeine Information ... Dokumentenlieferdienste Spiele Philosophisches Galgenraten PhilSearch.de Shops PhiloShop PhiloShirt Service Kontakt Impressum eMail Der Logiker l Church formulierte im Jahre 1936 die nach ihm benannte These powered by Uwe Wiedemann

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 94    1  | 2  | 3  | 4  | 5  | Next 20