Geometry.Net - the online learning center
Home  - Scientists - Church Alonzo
e99.com Bookstore
  
Images 
Newsgroups
Page 3     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)
  1. Introduction to Mathematical Logic. Part I by Alonzo Church, 1944
  2. Mathematical logic: Lectures by Alonzo Church, 1936
  3. The Problem of Universals by I. M. Bochenski and Alonzo Church and Nelson Goodman, 1956
  4. Wanderings of a Painting: The Alonzo Church Portrait by E.Merton Coulter, 1946-01-01
  5. '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
  6. 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
  7. The Euclidean parallel postulate by Alonzo Church, 1956
  8. A Bibliography of Symbolic Logic by Alonzo Church, 1985-03
  9. A dash through the Everglades by Alonzo Church, 1939
  10. Wanderings of a painting;: The Alonzo Church portrait by E. Merton Coulter, 1946
  11. 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
  12. The Collected Works of Alonzo Church by Alonzo Church, Tyler Burge, et all 2005-04-30
  13. The church of the future,: By Alonzo W. Fortune by Alonzo Willard Fortune, 1930
  14. 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

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

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

    free hit counter