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

22. The Church-Turing Thesis alonzo church and Alan Turing formulated the thesis that computability coincides with recursivity; by Jack Copeland. http://plato.stanford.edu/entries/church-turing/

version history HOW TO CITE THIS ENTRY Stanford Encyclopedia of Philosophy A B C D ... Z content revised AUG The Church-Turing Thesis There are various equivalent formulations of the Church-Turing thesis. A common one is that every effective computation can be carried out by a Turing machine. The Church-Turing thesis is often misunderstood, particularly in recent writing in the philosophy of mind. The Thesis and its History Misunderstandings of the Thesis Some Key Remarks by Turing Bibliography ... Related Entries The Thesis and its History The Church-Turing thesis concerns the notion of an effective or mechanical M is set out in terms of a finite number of exact instructions (each instruction being expressed by means of a finite number of symbols); M will, if carried out without error, produce the desired result in a finite number of steps; M can (in practice or in principle) be carried out by a human being unaided by any machinery save paper and pencil; M demands no insight or ingenuity on the part of the human being carrying it out. A well-known example of an effective method is the truth table test for tautologousness. In practice, of course, this test is unworkable for formulae containing a large number of propositional variables, but in principle one could apply it successfully to any formula of the propositional calculus, given sufficient time, tenacity, paper, and pencils.

23. References For Church References for alonzo church. Articles HB Enderton, In memoriam alonzochurch (19031995), Bull. Symbolic Logic 1 (4) (1995), 486-488. http://www-gap.dcs.st-and.ac.uk/~history/References/Church.html

References for Alonzo Church Articles: H B Enderton, In memoriam: Alonzo Church (1903-1995), Bull. Symbolic Logic M Manzano, Life, Work and some Miracles of Alonzo Church, Journal of History and Philosophy of Logic In honor of Alonzo Church's 75th birthday with some remarks from the History of logic of A Dumitriu, Internat. Logic Rev. A Irving, Alonzo Church (1903-1995), Modern Logic UCLA philosopher, mathematician Alonzo Church dead at 92, Modern Logic ULCA Philosopher, Mathematician Alonzo Church dead at 92, History of Logic Newsletter (Sept 1995), 1-2. Main index Birthplace Maps Biographies Index History Topics ... Anniversaries for the year JOC/EFR December 1996 School of Mathematics and Statistics University of St Andrews, Scotland The URL of this page is: http://www-history.mcs.st-andrews.ac.uk/history/References/Church.html

24. Church, Alonzo Previous chunker Next churchRosser Theorem. church, alonzo. alonzo church http://burks.bton.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

25. The Need For Abstract Entities Philosophical paper by alonzo church http://www.ditext.com/church/nae.html

The Need for Abstract Entities Alonzo Church Published in the American Academy of Arts and Sciences Proceedings 80 (1951): pp. 100-113. We distinguish between a logistic system and a formalized language on the basis that the former is an abstractly formulated calculus for which no interpretation is fixed, and thus has a syntax and no semantics; but the latter is a logistic system together with an assignment of meanings to its expressions. As primitive basis of a logistic system it suffices to give, in a familiar fashion: The list of primitive symbols or vocabulary of the system (together usually with a classification of the primitive symbols into categories, which will be used in stating the formation rules and rules of inference). The formation rules , determining which finite sequences of primitive symbols are to be well-formed expressions, determining certain categories of well-formed expressions among which we shall assume that at least the category of sentence is included and determining (in case variables are included among the primitive symbols) which occurences of variables in a well-formed expression are free occurences and which are bound occurences.

26. Alonzo Church From FOLDOC church, alonzo . alonzo church. person A twentieth century mathematicianand logician, and one of the founders of computer science. http://wombat.doc.ic.ac.uk/foldoc/foldoc.cgi?Church, Alonzo

27. The Church Project: Alonzo Church (1903-1995), A Short Biography Matematiko Matematikistoj alonzo church. alonzo church (19031995) estas usona matematikisto kiu kontribuis multe al http://www.church-project.org/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 Tuesday November 12 2002.

28. Dictionary Of Philosophy Of Mind - Church, Alonzo church, alonzo (b. 1903, Washington, DC, d. 1995, Hudson, OH, Ph.D.mathematics, Princeton, 1927). church was a mathematician http://www.artsci.wustl.edu/~philos/MindDict/church.html

Church, Alonzo (b. 1903, Washington, DC, d. 1995, Hudson, OH, Ph.D. mathematics, Princeton, 1927). Church was a mathematician and a logician, and one of the founders of computer science. His work is of major importance in mathematical logic, recursion theory and in theoretical computer science. Tadeusz Zawidzki References Church Site Church Site2

29. Dictionary Of Philosophy Of Mind - Bookstore Main Page Chinese room; Chomsky, Noam; church, alonzo; churchland, Patricia;churchland, Paul; closure principles of knowledge; cognitive science. http://www.artsci.wustl.edu/~philos/MindDict/dictindex.html

Index This page contains a list of all the entries in the dictionary. Don't forget, we have a search engine Jump to Index section: A B C D ... deduction design stance, see intentional stance, the desire, second-order Dennett, Daniel distributed representation ... intention, prior interactionism (see dualism internalism J James, William ... philosophy of psychology physical stance, see intentional stance, the physicalism physicalism, non-reductive Piaget, Jean ... zombie

30. Church's Thesis From FOLDOC of this term used in recursive function theory). Due to alonzo church,1935. Currently and more broadly, the thesis that all intuitively http://www.swif.uniba.it/lei/foldop/foldoc.cgi?Church's thesis

31. Alonzo Church From FOLDOC Register a Domain. church, alonzo . alonzo church. person A twentieth centurymathematician and logician, and one of the founders of computer science. http://www.instantweb.com/foldoc/foldoc.cgi?Church, Alonzo

32. Church, Alonzo ic.ac.uk/) is edited by Denis Howe dbh@doc.ic.ac.uk . Previous chunkerNext 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

33. Alonzo Church Previous Aloha Net Next ALP. alonzo church. person A twentieth centurymathematician 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.

34. Bomis: The Science/Math/Logic/Logicians/Church, Alonzo Ring Bomis The Science/Math/Logic/Logicians/church, alonzo ring. Ring Rankings Clickto visit the Bomis Board for alonzo church. Ring sites. 1. alonzo church. http://www.bomis.com/rings/Mlogicians-church_alonzo-science/

Bomis: The Science/Math/Logic/Logicians/Church, Alonzo ring Build a ring Suggest URL! Email ringmaster! Ring Info! See also... ...Science/Math/Logic/Logicians Home My Bomis Webmasters ... Ring Rankings Click to visit the Bomis Board for Alonzo Church Ring sites Alonzo Church Biography from the MacTutor History of Mathematics archive. www-groups.dcs.st-and.ac.uk Alonzo Church, 92, Theoretist Of the Limits of Mathematics Obituary from the New York Times. www5.biostr.washington.edu The Bulletin of Symbolic Logic, December 1995 Contains obituary by H. B. Enderton. www.math.ucla.edu The Need for Abstract Entities Philosophical paper by Alonzo Church csmaclab-www.uchicago.edu Church-Turing Thesis Article in the Stanford Encyclopedia. plato.stanford.edu Visit Adult DVD Explorer Search Bomis for Alonzo Church Other Popular Bomis Searches harry potter osama bin laden scareer auto parts ... britney spears Help build the largest human-edited directory on the web. Submit a Site Open Directory Project Become an Editor You are: 66.14.21.74

35. Bomis: The Science/Math/Logic/Logicians/Church, Alonzo Ring Bomis.com Ring info, Join The Conspiracy! Welcome to the The Science/Math/Logic/Logicians/church,alonzo ring. The ring manager has http://www.bomis.com/member/show_info?ring=Mlogicians-church_alonzo-science

36. 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 Tuesday November 12 2002.

37. The Church Project: Main Page that performs better and is more reliable. The project is named inhonor of alonzo church, the inventor of the lambda calculus. http://types.bu.edu/Home.html

The Church Project Scope and Goal The Church Project investigates the foundations, design principles and implementation techniques of programming languages and related systems. The overall goal is the development of software technology that performs better and is more reliable. The project is named in honor of Alonzo Church , the inventor of the lambda calculus. Current Focus Four major NSF-supported research efforts are presently undertaken by Project participants: Compiling with Flow Types Compositional Analysis Programming with Dependent Types ( DML Xanadu Linear Naming and Computation Regular Seminar A year-round semi-regular seminar held in the Boston area is the main forum for participants and visitors to present recent results, work in progress, position papers, and papers of general interest related to the overall goal of the project. From early September to late May, the seminar is held on a weekly basis (approximately); from early June to late August, the seminar is held occasionally according to need and availability of speakers. Related Seminars (Current and Past) Project participants organize occasional one-semester seminars devoted to specific topics of interest: Modularity Seminar Category Theory Study Group Programming the Internet Logic and Computation ... Java Espresso, a directed study in modern compiler design

38. EpistemeLinks.com: Philosopher Results alonzo church. Born 6/14/1903 Died 8/11/1995. Source The Window. Search DirectoryLinks. Site Title, Details. church, alonzo, Source Google. Extend your search http://www.epistemelinks.com/Main/Philosophers.aspx?PhilCode=Chur

39. EpistemeLinks.com: Encyclopedia And Other References Results alonzo church. Born 6/14/1903 Died 8/11/1995. alonzo church, Oxford Companionto Philosophy. alonzo church, Wikipedia. churchTuring thesis, Wikipedia. http://www.epistemelinks.com/Main/EncyRefs.aspx?PhilCode=Chur

40. Ask Jeeves: Search Results For "Church,alonzo" Popular Web Sites for church,alonzo . Search Results 1 9 Ranked by Popularity,Next . powered by SMARTpages.com. Ask Jeeves a question about church,alonzo http://webster.directhit.com/webster/search.aspx?qry=Church,alonzo

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