41. Biografia De Church, Alonzo Translate this page church, alonzo. (Washington, 1903-Hudson, 1995) Matemático estadounidense. Profesor en la Universidad de Princeton, se especializó http://www.biografiasyvidas.com/biografia/c/church_alonzo.htm

Inicio Buscador Utilidades Recomendar sitio Enlaces Church, Alonzo (Washington, 1903-Hudson, 1995) Matemático estadounidense. Profesor en la Universidad de Princeton, se especializó en lógica matemática, metalógica y metamatemática. Es notable su concepto de calculabilidad y su demostración de la indecidibilidad de la lógica de primer orden. Desarrolló el cálculo de conversión lambda, que permite efectuar operaciones lógicas con variables generalizadas. Destacan sus obras Cálculo de conversión lambda (1941) e Introducción a la lógica matemática Inicio Buscador Recomendar sitio

42. EpistemeLinks.com: Philosopher Results alonzo church. alonzo churchBorn 6/14/1903 Died 8/11/1995. Search Directory Links. Site Title, Details. church, alonzo, Source Google. church, alonzo, http://www.epistemelinks.com/Main/Philosophers.aspx?PhilCode=Chur

43. Philosopher Images Sources And Credits Boole; LEJ Brouwer; Georg Cantor; alonzo church; Marquis de Condorcet; Albert Einstein; Gottlob Frege; Pierre Gassendi; Kurt Godel; William http://www.epistemelinks.com/Main/ImageSources.aspx

ELC Navigation Tool: Home What's New? Newsletters About ELC Philosophers Topics Birthdays Dates of Death Encyclopedias Quotations E-Texts Bibliographies Amazon.com Search eBay Auction Search Other Book Sources Audio Video Classroom Departments Profs and Grads Journals Discussion Organizations Events Software Phil. Products Publishers Paper Archives Job Listings Fun and Humor Link Sites ELC Guide Main Sections Philosophers Topics Reference Materials Encyclopedias E-Texts Bibliographies Books/Publishing Amazon.com Search eBay Search Other Book Sources Journals ... Paper Archives Academics Departments Faculty/G-Students Classroom Resources Organizations ... Job Listings Miscellaneous Discussion Images Software/Interactives Philosophy Products ... Other Link Sites Special Features Birthday Calendar Dates of Death Cal. Philosopher Quotes Gems of the Web About ELC Homepage What's New? ELC FAQ ELC Newsletter ... Contact Affiliate Links Amazon.com

44. Math: Logic And Foundations: History: People: Church, Alonzo Science Directory church, alonzo. church. church, alonzo. Spacetransportation.org - Science Directory - Last Update Fri Apr 23 2004. http://www.spacetransportation.org/Math/Logic_and_Foundations/History/People/Chu

Science Directory - Church, Alonzo Home Search Add a Site Modify a Site ... Links SEARCH ADVANCED SEARCH RANDOM LINK Find this: CUSTOM LINKS Yoursite Another Area Somewhere else Home ... People : Church, Alonzo Alonzo Church - Biography from the MacTutor History of Mathematics archive. Church-Turing Thesis - Article in the Stanford Encyclopedia. The Bulletin of Symbolic Logic, December 1995 - Contains obituary by H. B. Enderton. The Need for Abstract Entities - Philosophical paper by Alonzo Church Church, Alonzo Spacetransportation.org - Science Directory - Last Update: Sun May 23 2004

45. Church, Alonzo @ Computer-Dictionary-Online.org church, alonzo @ Computer Dictionary Online. Computer 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 alonzo church Contact http://www.computer-dictionary-online.org/?q=Church, Alonzo

46. Church, Alonzo ic.ac.uk/) is edited by Denis Howe dbh@doc.ic.ac.uk . Previous chunker Next churchRosser Theorem. church, alonzo. alonzo church. http://burks.brighton.ac.uk/burks/foldoc/65/19.htm

The Free Online Dictionary of Computing ( http://foldoc.doc.ic.ac.uk/ dbh@doc.ic.ac.uk Previous: chunker Next: Church-Rosser Theorem Church, Alonzo Alonzo Church

47. Alonzo Church Previous Aloha Net Next ALP. alonzo church. person A twentieth century mathematician and logician, and one of the founders of computer science. http://burks.brighton.ac.uk/burks/foldoc/75/4.htm

The Free Online Dictionary of Computing ( http://foldoc.doc.ic.ac.uk/ dbh@doc.ic.ac.uk Previous: Aloha Net Next: ALP Alonzo Church person lambda-calculus and posited a version of the Church-Turing thesis.

48. Alonzo Church From FOLDOC Register a Domain. 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

49. :: Ez2Find :: Church, Alonzo Guide church, alonzo, Guides, church, alonzo. ez2Find Home Directory Science Math Logic and Foundations History People church, alonzo (4) http://ez2find.com/cgi-bin/directory/meta/search.pl/Science/Math/Logic_and_Found

Guide : Church, Alonzo Global Metasearch Any Language English Afrikaans Arabic Bahasa Melayu Belarusian Bulgarian Catala Chinese Simplified Chinese Traditional Cymraeg Czech Dansk Deutsch Eesti Espanol Euskara Faroese Francais Frysk Galego Greek Hebrew Hrvatski Indonesia Islenska Italiano Japanese Korean Latvian Lietuviu Lingua Latina Magyar Netherlands Norsk Polska Portugues Romana Russian Shqip Slovensko Slovensky Srpski Suomi Svenska Thai Turkce Ukrainian Vietnamese Mode All Words Any Word Phrase Results Timeout Depth Adult Filter Add to Favorites Other Search Web News Newsgroups Images Invisible Web Metasearch Crosswalk Guides Church, Alonzo ez2Find Home Directory Science Math ... People : Church, Alonzo Web Sites Alonzo Church [Site Info] [Translate] [Open New Window] Biography from the MacTutor History of Mathematics archive. URL: http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Church.html The Bulletin of Symbolic Logic, December 1995 [Site Info] [Translate] [Open New Window] Contains obituary by H. B. Enderton. URL: http://www.math.ucla.edu/~asl/bsl/0104-toc.htm Church-Turing Thesis [Site Info] [Translate] [Open New Window] Article in the Stanford Encyclopedia.

50. :: Ez2Find :: People Aristotle (63) Bernays, Paul (2) Boole, George (6) Cantor, Georg (5) church, alonzo (4) Frege, Gottlob (11) G¶del, Kurt (8), Hilbert, David (6) Husserl http://ez2find.com/cgi-bin/directory/meta/search.pl/Science/Math/Logic_and_Found

Guide : People Global Metasearch Any Language English Afrikaans Arabic Bahasa Melayu Belarusian Bulgarian Catala Chinese Simplified Chinese Traditional Cymraeg Czech Dansk Deutsch Eesti Espanol Euskara Faroese Francais Frysk Galego Greek Hebrew Hrvatski Indonesia Islenska Italiano Japanese Korean Latvian Lietuviu Lingua Latina Magyar Netherlands Norsk Polska Portugues Romana Russian Shqip Slovensko Slovensky Srpski Suomi Svenska Thai Turkce Ukrainian Vietnamese Mode All Words Any Word Phrase Results Timeout Depth Adult Filter Add to Favorites Other Search Web News Newsgroups Images Invisible Web White Pages - Last Name Source: [ InfoSpace First Name City State/Province Choose State/Prov. Alabama Alaska Alberta Arizona Arkansas British Columbia California Colorado Connecticut D.C. Delaware Florida Georgia Hawaii Idaho Illinois Indiana Iowa Kansas Kentucky Louisiana Maine Manitoba Maryland Massachusetts Michigan Minnesota Mississippi Missouri Montana Nebraska Nevada New Brunswick New Hampshire New Jersey New Mexico New York Newfoundland North Carolina North Dakota Northwest Terr. Nova Scotia Ohio Oklahoma Ontario Oregon Pennsylvania Prince Edward Isl.

51. Alonzo Church name university year home submit about help alonzo church. Doctorate from Princeton University in 1927 Adviser Oswald Veblen Students http://sigact.acm.org/cgi-bin/genealogy.cgi?file=database-C.html&from=Church,Alo

52. Free Hit Counter, Web Counter With Website Stats SeeHits.com The Webmaster Dictionary. church, alonzo. A 20thcentury mathematician who invented lambda-calculus and. was one of the pioneers of computer. science. http://www.seehits.com/dictionary/Church_152_Alonzo.html

Login Username Password Recover Password Old Counter Login Premier Partners Internet Marketing UK Web Hosting HTML Codes Webmaster Scripts ... Web Templates Partners Web Hosting Web Design Templates Web Design Domain Names ... The Webmaster Dictionary Church, Alonzo A 20th-century mathematician who invented lambda-calculus and was one of the pioneers of computer science. Related Terms: 2 AND Computer Semi Related Terms: 161 CLICK HERE TO VIEW flip('1'); AL AT .al .am ... .Z Web Hosting Articles Introduction to Web Hosting Which Operating System to Use for Hosting Virtual vs. Dedicated Hosting Bandwidth Explained ... Contact Us Link Partners: Dating Affiliate Program Health Cash Online Investments

53. AIM Reprint Library: Listing for church, alonzo. Viewing Page 110 11-11 NEXT . 1. Intensionality and the Paradox of the Name Relation. church, alonzo. 2. Letter to Dr. Rota. http://www.aimath.org/library/library.cgi?database=reprints;mode=display;BrowseT

54. Alonzo Church - Biographie Translate this page -Ý- Jouer à raisonner Mathématiciens. church. alonzo. 1903 - 1995. 92 ans. Américain. Washington - Hudson. § Logicien. Sans doute le plus grand du XX e siècle. http://villemin.gerard.free.fr/Esprit/Church.htm

Accueil Dictionnaire Rubriques Index ... M'écrire Édition du: Jouer à raisonner: Mathématiciens CHURCH Alonzo 92 ans Américain Washington - Hudson Logicien Sans doute le plus grand du XX e siècle Logique Lam bda calcul Théorie de la récursivité ( recursion theory) Informatique théorique En 1932, il invente du lambda-calcul En 1936, il démontre l'arithmétique est indécidable Conjecture sur l'équivalence entre programmation et fonctions récursives Voir Turing et Church Un problème ne pouvant être résolu par une machine ne peut l'être par l'esprit humain. Hypothèse formulée en 1932 Jean-Louis Krivine Démontre que le lambda-calcul permet d'exprimer tous les raisonnements ainsi que toutes les structures mathématiques Lambda calcul comme "alphabet" des pensées humaines aboutissement d'un siècle de recherche en logique Suite de sa démonstration de 1997 Voir Contemporains Krivine Intelligence artificielle

55. The Church Project: Alonzo Church (1903-1995), A Short Biography alonzo church (19031995). alonzo church was born on June 14, 1903 in Washington, DC and died Friday, August 11, 1995 in Hudson, Ohio at the age of 92. http://types.bu.edu/alonzo-church.html

Alonzo Church (1903-1995) A Short Biography Alonzo Church was born on June 14, 1903 in Washington, D.C. and died Friday, August 11, 1995 in Hudson, Ohio at the age of 92. He was buried in Princeton Cemetery. Church was professor of mathematics at Princeton University from 1929 to 1967 when he became professor of mathematics and philosophy at UCLA. His work has been greatly influential in the fields of mathematical logic, recursion theory, and theoretical computer science. At the time of his death, Church was widely regarded as the greatest living logician in the world. His most well-remembered contributions are the following: Church's Theorem (1936), showing that arithmetic is undecidable. Church's Thesis, conjecturing that effective computation is equivalent to the notion of a "recursive" function. The Lambda Calculus Autogenerated on Sunday November 23 2003.

56. High-Tech Dictionary Definition Definition for church, alonzo A 20thcentury mathematician who invented lambda-calculus and was one of the pioneers of computer science. SEARCH. http://www.computeruser.com/resources/dictionary/definition.html?lookup=1685

57. LookSmart - Directory - Alonzo Church alonzo church Find a biography and essays about and by this American mathematician and philosopher. Directory Listings About. DiText http://search.looksmart.com/p/browse/us1/us317836/us317911/us53880/us67423/us304

@import url(/css/us/style.css); @import url(/css/us/searchResult1.css); Home IN the directory this category YOU ARE HERE Home Library Humanities Philosophy ... Philosophers C Alonzo Church - Find a biography and essays about and by this American mathematician and philosopher. Directory Listings About DiText - The Need of Abstract Entities Essay by mathematics philosopher Alonzo Church describes his thoughts on the difference between formalized mathematics and abstractions. MacTutor History of Mathematics Archive - Alonzo Church Read about the doctoral and career research of this American mathematician. Turing, Alan - The Church-Turing Thesis Entry in the Stanford Encyclopedia of Philosophy attempts to clarify the Church-Turing Thesis. Includes key remarks by Turing and a bibliography. We're always looking for ways to improve your search experience. Tell us how we're doing. Join the Zeal community and help build the "Alonzo Church" Directory Category IN the directory this category About Us Advertise with Us Advertiser Log-in Terms of Service

58. Offline Seznam Personálních Autorit - Church, Alonzo 1903 church, alonzo 1903 Záhlaví, Název, Signatura. MATERNA, Pavel, Svet pojmu a logika. L 7393. © Mestská knihovna v Praze Offline, http://www.mlp.cz/cz/offline/perlie/c/3699.htm

Church, Alonzo 1903 Záhlaví Název Signatura MATERNA, Pavel Svìt pojmù a logika. L 7393 Offline poslední zmìny: 13.10.2003 kont@kt

59. Zeroth Church Of Alonzo Zeroth church Of alonzo. A pun on the name of the inventor of the LambdaCalculus, alonzochurch. The fellowship of EnlightenedMen http://c2.com/cgi/wiki?ZerothChurchOfAlonzo

60. Lexikon - Alonzo Church Definition Erklärung Bedeutung Translate this page Was Wer Wo ist alonzo church - Definition Erklärung Bedeutung von alonzo church. alonzo church. Artikel auf Englisch alonzo church. http://www.net-lexikon.de/Alonzo-Church.html

Suche: Info Mitglied werden A B ... Impressum Beta 0.71 powered by: akademie.de Wikipedia PHP PostgreSQL ... englischen Lexikon Google News zum Stichwort Alonzo Church Definition, Bedeutung, Erkl¤rung im Lexikon Artikel auf Englisch: Alonzo Church 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¼ls. 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. Dieses Resultat ist unter dem Namen Church-Turing-These bekannt.

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 3     41-60 of 92    Back | 1  | 2  | 3  | 4  | 5  | Next 20