Geometry.Net - the online learning center
Home  - Philosophers - Church Alonzo

e99.com Bookstore
  
Images 
Newsgroups
Page 1     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)
  1. Introduction to Mathematical Logic by Alonzo Church, 1996-10-28
  2. Elementary topics in mathematical logic by Alonzo Church, 1959
  3. Logic, Meaning and Computation : Essays in Memory of Alonzo Church (Synthese Library, 305) by Michael Zeleny, 2001-12-01
  4. Autobiography of A. C. Morehouse, an itinerant minister of the New York and New York east conferences of the Methodist Episcopal church by Alonzo Church Morehouse, 2010-07-30
  5. Sketches of The New Jersey Historical Society by Alonzo Church, 2009-12-16
  6. Introduction to Mathematical Logic / Volume I by Alonzo Church, 1962
  7. The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies) by Alonzo Church, 1985-01-01
  8. Die These von Church: Zur erkenntnistheoretischen und sprachphilosophischen Bedeutung der Rekursionstheorie (European university studies. Series I, German language and literature) (German Edition) by Klaus-Dieter Schulz, 1997
  9. Biography - Church, Alonzo (1903-1995): An article from: Contemporary Authors by Gale Reference Team, 2002-01-01
  10. American Logicians: Alonzo Church, Charles Sanders Peirce, Raymond Smullyan, Haskell Curry, George Boolos, Clarence Irving Lewis, John Corcoran
  11. University of California, Los Angeles Faculty: Bertrand Russell, Alonzo Church, Alan Kay, Fm-2030, Paul Pimsleur, Abraham Robinson
  12. CHURCH, ALONZO(19031995): An entry from Gale's <i>Encyclopedia of Philosophy</i> by C. Anderson, 2006
  13. Alonzo Church: An entry from Gale's <i>Science and Its Times</i> by Judson Knight, 2000
  14. Burials at Princeton Cemetery: Kurt Gödel, John Von Neumann, Grover Cleveland, Aaron Burr, Alonzo Church, Eugene Wigner, Jonathan Edwards

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

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
Begriffe Abaelard - Ayer
Baader - Byron

Cabanis - Czezowski

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
Alonzo Church (geb. 1903)
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  

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

free hit counter