Home  - Scientists - 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

41-60 of 92    Back | 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)

Introduction to Mathematical Logic. Part I by Alonzo Church, 1944 Mathematical logic: Lectures by Alonzo Church, 1936 The Problem of Universals by I. M. Bochenski and Alonzo Church and Nelson Goodman, 1956 Wanderings of a Painting: The Alonzo Church Portrait by E.Merton Coulter, 1946-01-01 'PRINT: "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-01-01 Episcopal government: A sermon preached at the consecration of the Rev. Alonzo Potter as Bishop of the Diocese of Pennsylvania by John Henry Hopkins, 1845 The Euclidean parallel postulate by Alonzo Church, 1956 A Bibliography of Symbolic Logic by Alonzo Church, 1985-03 A dash through the Everglades by Alonzo Church, 1939 Wanderings of a painting;: The Alonzo Church portrait by E. Merton Coulter, 1946 The Problem of Universals by I.M. Bochenski, Alonzo Church and Nelson Goodman by I.M. Bochenski, Alonzo Church and Nelson Goodman by Alonzo Church and Nelson Goodman I.M. Bochenski, 1956-01-01 The Collected Works of Alonzo Church by Alonzo Church, Tyler Burge, et all 2005-04-30 The church of the future,: By Alonzo W. Fortune by Alonzo Willard Fortune, 1930 Practical error, and the test of true holiness: A sermon delivered at the ordination of Rev. Josiah Moore as pastor of the First Church and Society in Athol, December 8, 1830 by Alonzo Hill, 1831

lists with details

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

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

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

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

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

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

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

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

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

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

41-60 of 92    Back | 1  | 2  | 3  | 4  | 5  | Next 20