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 96    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. The Weblog Review
    Webmaster Terms. Word church, alonzo. Def A 20thcentury mathematician who invented lambda-calculus and was one of the pioneers of computer science.  
    http://www.theweblogreview.com/dictionary/defineChurch_COMMA__SPACE_Alonzo.html

42. National Academy Of Sciences - Deceased Member
    3 Site Map Testing 1 .. 2 .. 3 Testing 1 .. 2 .. 3 Advanced Search. church, alonzo. Date of Birth, June 14, 1903. Elected to NAS, 1978  
    http://www4.nationalacademies.org/nas/nasdece.nsf/(urllinks)/NAS-58MUPA?opendocu

43. Church-Turing Thesis - Wikipedia, The Free Encyclopedia
    A few months earlier alonzo church had proven a similar result in A Note on the Lambdadefinable functions were introduced by alonzo church and Stephen  
    http://en.wikipedia.org/wiki/Church-Turing_thesis
    
    Extractions: Over US$145,000 has been donated since the drive began on 19 August. Thank you for your generosity! In computability theory the Church-Turing thesis Church's thesis Church's conjecture or Turing's thesis , named after Alonzo Church and Alan Turing , is a hypothesis about the nature of mechanical calculation devices, such as electronic computers. The thesis claims that any calculation that is possible can be performed by an algorithm running on a computer, provided that sufficient time and storage space are available. It is generally assumed that an algorithm must satisfy the following requirements: The algorithm consists of a finite set of simple and precise instructions that are described with a finite number of symbols. The algorithm will always produce the result in a finite number of steps. The algorithm can in principle be carried out by a human being with only paper and pencil. The execution of the algorithm requires no intelligence of the human being except that which is needed to understand and execute the instructions.

44. [JargonF - Dictionnaire Informatique] Définition De Church, Alonzo
    Translate this page church, alonzo. /t(ch)*rt(ch)/ np. Articles liés à celui-ci algorithme, lambda calcul, thèse de church-Turing. personne (14/06/1903 - 11/08/1995).  
    http://www.linux-france.org/prj/jargonf/C/Church,_Alonzo.html
    
    Extractions: Vous êtes ici : linux-france.org projets jargonf C > Church, Alonzo : /t(ch)*rt(ch)/ np. Articles liés à celui-ci : algorithme lambda calcul thèse de Church-Turing personne ] (14/06/1903 - 11/08/1995). Mathématicien ayant énoncé sa thèse en 1936 à Princeton. La thèse de Church affirme que toute fonction calculable peut l'être avec un ensemble réduit d'instructions. C'est une affirmation philosophique indémontrable qui est la base de toute l' algorithmique ... Les travaux de Church ont eu un impact d'importance dans les domaines de l'informatique théorique, de la logique et de la théorie de la récursivité. Il a créé le lamba-calcul dans les années 1930. Voir Turing, Alan Mathison Articles voisins : chroot chrooter CHRP CHS ... CICS Dern. modif. : 25-07-2002. . Sommaire . À propos . Thèmes . Chronologie ... . Courrier A B C D ... Divers Tous droits réservés Roland Trique - Le Jargon Français 1995-2005. Version 3.4.109 du 17/02/2005.

45. Church From FOLDOC
    Recommended Reading alonzo church, A Bibliography of Symbolic Logic Due to alonzo church, 1935. Currently and more broadly, the thesis that all  
    http://www.swif.uniba.it/lei/foldop/foldoc.cgi?Church

46. Principia Mathematica
    church, alonzo (1978) A Comparison of Russell s Resolution of the Semantical church, alonzo (1974) Russellian Simple Type Theory, Proceedings and  
    http://plato.stanford.edu/entries/principia-mathematica/
    
    Extractions: Please Read How You Can Help Keep the Encyclopedia Free Principia Mathematica , the landmark work written by Alfred North Whitehead and Bertrand Russell , and published in three volumes, in 1910, 1912 and 1913. Written as a defense of logicism (i.e., the view that mathematics is in some significant sense reducible to logic) the book was instrumental in developing and popularizing modern mathematical logic. It also served as a major impetus for research in the foundations of mathematics throughout the twentieth century. Next to Aristotle's Organon, it remains the most influential book on logic ever written. Interested readers may also wish to view the Logicism is the view that (some or all of) mathematics can be reduced to (formal) logic. It is often explained as a two-part thesis. First, it consists of the claim that all mathematical truths can be translated into logical truths or, in other words, that the vocabulary of mathematics constitutes a proper subset of the vocabulary of logic. Second, it consists of the claim that all mathematical proofs can be recast as logical proofs or, in other words, that the theorems of mathematics constitute a proper subset of the theorems of logic. In Bertrand Russell's words, it is the logicist's goal "to show that all pure mathematics follows from purely logical premises and uses only concepts definable in logical terms."

47. Alonzo Church Papers
    The alonzo church Papers consists of the writings, correspondence, notebooks, notes, alonzo church was born on June 14, 1903, in Washington, DC,  
    http://libweb.princeton.edu/libraries/firestone/rbsc/aids/church/
    
    Extractions: The Alonzo Church Papers consists of the writings, correspondence, notebooks, notes, and subject files of Alonzo Church (1903-1995, Princeton Class of 1924), the renowned mathematical logician who taught at Princeton University from 1929-1967 and the University of California at Los Angeles from 1967 to 1990, and who was editor of the Journal of Symbolic Logic from 1936 to 1979. Range of Collection Dates Size : 35.1 linear feet (83 archival boxes, 1 small archival box) Language : English Provenance : The family of Alonzo Church (his son, Alonzo Church, Jr., and his two daughters, Mary Ann Addison and Mildred Dandridge) donated his papers to the Princeton University Library in April 2003. Restrictions : None Photocopying, literary rights, and citation

48. The Encyclopedia Of Computer Languages
    church, alonzo A set of postulates for the foundation of logic Annals of church, alonzo An unsolvable problem of elementary number theory in  
    http://hopl.murdoch.edu.au/showperson.prx?PeopleID=136

49. The Encyclopedia Of Computer Languages
    church, alonzo An unsolvable problem of elementary number theory in church, alonzo T The Calculi of LambdaConversion 1941 § Extract Lambda  
    http://hopl.murdoch.edu.au/showlanguage.prx?exp=5127

50. The Church Project: Alonzo Church (1903-1995), A Short Biography
    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. He was buried in Princeton  
    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:

51. DBLP: Alonzo Church
    6, alonzo church Comparison of Russell s Resolution of the Semantical Antinomies with that 5, alonzo church Prefactory Statement to the Index Volume.  
    http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Church:Alonzo.html
    
    Extractions: List of publications from the DBLP Bibliography Server FAQ Coauthor Index - Ask others: ACM DL ACM Guide CiteSeer CSB ... Google Alonzo Church: Comparison of Russell's Resolution of the Semantical Antinomies with that of Tarski. J. Symb. Log. 41 Alonzo Church: Prefactory Statement to the Index Volume. J. Symb. Log. 26 Alonzo Church, W. V. Quine : Some Theorems on Definability and Decidability. J. Symb. Log. 17 Alonzo Church: A Formulation of the Simple Theory of Types. J. Symb. Log. 5 Alonzo Church: A Note on the Entscheidungsproblem. J. Symb. Log. 1 Alonzo Church: Correction to a Note on the Entscheidungsproblem. J. Symb. Log. 1 W. V. Quine DBLP: [ Home Author Title Conferences ... Michael Ley (ley@uni-trier.de) Wed Aug 31 12:09:19 2005

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

53. The Mathematics Genealogy Project - Alonzo Church
    According to our current online database, alonzo church has 27 students and 1323 descendants. We welcome any additional information.  
    http://genealogy.math.ndsu.nodak.edu/html/id.phtml?id=8011

54. HARRZ Universal Register Machine
    church, alonzo An unsolvable problem in elementary number theory. Shepherdson, JC Sturgis, HE Computability of Recursive Functions.  
    http://www.harrz.com/rm.htm
    
    Extractions: Introduction to the program for the Univeral Register Machine Introduction Register machines won't be found in a company or at home. They are only theoretical machines for mathematics and computer science. Register machines and turing machines have the same origin, the history of the latter starting at around 1900. The german mathematician David Hilbert (1862-1943) presented a proposal on the international mathemathician congress in Paris 1900: to root the whole mathematical theorems to a small amount of axioms. These axioms should be independent of each other and as simple as possible. Starting on these axioms, all theorems would be proofed. Hilbert thought that there may be a, yet undefined, way to give and proof every mathematical theorem. This hypothesis is known as Entscheidungsproblem To investigate further on the Entscheidungsproblem the british mathematician Alan Mathison Turing (1912-1954) did some experiments with general algorithms. At this time the computing machines were nearly 300 years old. There were Blaise Pascals (1623-1662) machine, able to subtract and Charles Babbages (1782-1871) 'Analytical Engine' and finally Hermann Holleriths (1860-1929) machine to analyse the data of the census of population. All these machines working with a fixed algorithm. But the advancement of the 'Analytical Engine' of Charles Babbage had some parts to allow variable algorithms. The looms of Joseph Marie Jaquard had a variable algorithm too: they were controlled by punch cards.

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

56. Willard Van Orman Quine Published Books Page By Douglas Boynton Quine
    church, alonzo, Review of Notes on Existence and Necessity. Journal of Symbolic Logic 8 (1943), church, alonzo. Symposium Ontological Commitment.  
    http://www.wvquine.org/wvq-book.html
    
    Extractions: including revised editions and translations Willard Van Orman Quine Published Books have been compiled directly from copies of Quine's books and from the exhaustive bibliographies in The Philosophy of W. V. Quine (P. A. Schilpp, editor) and Essays on the Philosophy of W. V. Quine (R. W. Shahan and Chris Swoyer, editors). This page is maintained by Douglas Boynton Quine ; please E-Mail recommended additions, or corrections to the webmaster: Quine's Autobiography 1934. A System of Logistic. Cambridge: Harvard, xii + 204 pp.

57. Willard Van Orman Quine Essay Collection Details: Philosophy Of Quine And Quinte
    church, alonzo, Review of Notes on Existence and Necessity. church, alonzo, A remark concerning Quine s paradox about modality.  
    http://www.wvquine.org/wvq-toc.html
    
    Extractions: Philosophy of Quine (2001) and Quintessence Details of W. V. Quine posthumous essay reprint collections. Table of contents for Philosophy of Quine (Dagfinn Føllesdal, Editor) . This five volume collection reprints reviews and articles about Willard Van Orman Quine, mathematician and philosopher. Belknap Press announcement of Quintessence - Basic Readings from the Philosophy of W. V. Quine , (Roger Gibson, Editor), 384 pp. (March, 2004). Thirty five of Quine's classic essays on analyticity and reductionism; the indeterminacy of translation of theoretical sentences and the inscrutability of reference; ontology; naturalized epistemology; philosophy of mind; and extensionalism. This page is maintained by Douglas Boynton Quine ; please e-mail recommended additions, or corrections to the webmaster:

58. Alonzo Church -- Facts, Info, And Encyclopedia Article
    alonzo church (June 14, 1903 – August 11, 1995) was an (A native or inhabitant of alonzo church, Introduction to Mathematical Logic (ISBN 0691-02906-7)  
    http://www.absoluteastronomy.com/encyclopedia/a/al/alonzo_church.htm
    
    Extractions: Alonzo Church (A native or inhabitant of the United States) American (A person skilled in mathematics) mathematician and (A person skilled at symbolic logic) logician who was responsible for some of the foundations of theoretical (The branch of engineering science that studies (with the aid of computers) computable processes and structures) computer science . Born in (Click link for more info and facts about Washington, DC) Washington, DC , he received a (Click link for more info and facts about bachelor's degree) bachelor's degree from (A university in New Jersey) Princeton University in 1924 and a (An American doctorate usually based on at least 3 years graduate study and a dissertation; the highest degree awarded by a graduate school) Ph.D. in 1927. His advisor was (United States mathematician (1880-1960)) Oswald Veblen . He became a professor of mathematics at Princeton in 1929.

59. The Science Bookstore - Books
    church, alonzo. The Journal of SYmbolic Logic. Providence, RI Assoc for church, alonzo. Fermat s Last Theorem. Brooklyn Long Island University, 1940.  
    http://www.thesciencebookstore.com/bookmain.asp?pg=2&bookcat=Mathematics

60. Box 13: Baier-Clifford
    26) church, alonzo, Binary Recursive Arithmetic, Journal de Math. 27) church, alonzo Application of Recursive Arithmetic to the Prolem of Circuit  
    http://www.kommunikation.aau.dk/prior/boxes/box12_21/box13.htm
    
    Extractions: Box 13 Baier-Clifford 1) Annette Baier, Nonsense, in Edwards, Encyclopedia of Philosophy. [Handwritten note: "This is, I understand, mainly your doing, so you must accept its faults. It’s a nice topic to be encyclopedic authority on! Best wishes Anette Baier".] 2) Nuel Belnap, An Analysis of Questions: Preliminary Report, June 1963 (book). Number TM-1287/000/00 3) Nuel D. Belnap, Jr., A Formal Analysis of Entailment, Tech. Report No. 7, Yale University, New Haven, June, 1960. 5) Jonathan Bennett, Entailment, MS, 22 p. Mind 1959. Partly published in Theoria 1967. 8) Bull, R. A., An Algebraic Study of Diodorean Modal Systems, Journal of Symbolic Logic, Vol. 30 (1965), pp.58-64. 9) J.M. Cameron, Logic and Ethics, MS, 5 p. Probably unpublished lecture. Jim Cargile: Notes on Liar Family Paradoxes. MS, 8 p. 11) Jim Cargile, Liar Family Paradoxes. Very obsolete draft. Book MS. 12) Jim Cargile, On Believing you Believe, MS, 15 p. Published in Analysis 1967. 13) Jim Cargile, On Omnipotence, MS, 7 p. Published in Nous 1967. 14) Jim Cargile & George Thomas, A Note on "Time, Truth, and Modalities", MS, 4 p. Published in Mind 1968.

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 96    Back | 1  | 2  | 3  | 4  | 5  | Next 20