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

e99.com Bookstore
  
Images 
Newsgroups
Page 2     21-40 of 94    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. What is the church? by Alonzo Trévier Jones, 1998
  2. MODERN LOGIC: SINCE GÖDEL: CHURCH: An entry from Gale's <i>Encyclopedia of Philosophy</i> by Bede Rundle, 2006
  3. Tables showing the contents of the several volumes comprising the Annals of Congress: Congressional debates, Congressional globe, Congressional record, ... and succession of Supreme court justices by Alonzo Webster Church, 1892-01-01
  4. Introduction to Mathemaical Logic, Volume I by Alonzo Church, 1956
  5. Introduction to mathematical logic. Volume I. by Alonzo Church, 1956-01-01
  6. Introduction to Mathematical Logic by Alonzo. Church, 1970-01-01
  7. The Problem of Universals by I. M. Bochenski and Alonzo Church and Nelson Goodman, 1956
  8. Logic, arithmetic, and automata,: A lecture delivered to the International Congress of Mathematicians at Stockholm on August 20, 1962 by Alonzo Church, 1962
  9. The Journal of Symbolic Logic. Volume 23 Number 3 by Alonzo Church, 1959-01-01
  10. The history of the question of existential import of categorical propositions by Alonzo Church, 1972
  11. Application of recursive arithmetic in the theory of computing and automata by Alonzo Church, 1958
  12. The Journal of Symbolic Logic. Volume 29 Number 3 by Alonzo Church, 1964-01-01
  13. Introduction To Mathematical Logic Vol 1 by Alonzo Church, 1964
  14. Introduction to Mathematical Logic, Part I [all published] by Alonzo CHURCH, 1944

21. 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
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.
  • 22. 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
  • 23. 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

    24. 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.
  • 25. 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

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

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

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

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

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

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

    32. 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
  • 33. 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

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

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

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

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

    38. Church-Turing Thesis - Wikipedia
    The thesis, which is now generally assumed to be true, is also known as church'sthesis (named after alonzo church) and Turing's thesis (named after Alan Turing
    http://www.wikipedia.org/wiki/Church-Turing_thesis
    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
    Other languages: Deutsch
    Church-Turing thesis
    From Wikipedia, the free encyclopedia. The Church-Turing thesis states in its most common form that every effective computation or algorithm can be carried out by a Turing machine . The thesis, which is now generally assumed to be true, is also known as Church's thesis (named after Alonzo Church ) and Turing's thesis (named after Alan Turing The thesis might be rephrased as saying that the notion of effective or mechanical method in logic and mathematics is captured by Turing machines. It is generally assumed that such methods must satisfy the following requirements:
  • The method consists of a finite set of simple and precise instructions that are described with a finite number of symbols.
  • 39. LinuxGuruz Foldoc Page
    . LinuxGuruz Foldoc. church, alonzo . alonzo church. person A twentieth centurymathematician and logician, and one of the founders of computer science.
    http://foldoc.linuxguruz.org/foldoc.php?Church, Alonzo

    40. LinuxGuruz Foldoc Page
    . LinuxGuruz Foldoc. alonzo church. person A twentieth century mathematicianand logician, and one of the founders of computer science.
    http://foldoc.linuxguruz.org/foldoc.php?Alonzo Church

    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

    free hit counter