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

61-80 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)

THE CALCULI OF LAMBDA-CONVERSION. Annals of Mathematics Studies by Alonzo. Church, 1941 A finite geometry: A lecture given at the Galois Institute of Mathematics at Long Island University by Alonzo Church, 1934 Introduction to Mathematical Logic, Volume 1; by Alonzo, Church, 1956 Tables showing the contents of the several volumes comprising the Annals of Congress, Congressional debates, Congressional globe, Congressional record, ... justices, arranged by years and congress by Alonzo W Church, 1892 Introduction to mathematical logic (Princeton mathematical series;no.17) by Alonzo Church, 1956 Tables showing the contents of the several volumes, comprising the Annals of Congress, Congressional debates, Congressional globe, Congressional record, ... Justices, arranged by years and Congresses by Alonzo W Church, 1892 The Essex County Park Commission: A sketch by Alonzo Church, 1913 Introduction to Mathematical Logic, Volume I only by Alonzo Church, 1964 Journal of Symbolic Logic Volume 65 1965 by Alonzo Church, 1965-01-01 Introduction to Mathematical Logic [ Volume I 1 One ] by Alonzo Church, 1956 Set theory with a universal set by Alonzo Church, 1975 Fermat's last theorem, by Alonzo Church, 1937 Introduction to Mathematical Logic, Part I [all published]. by Alonzo. CHURCH, 1944 Introduction to Mathematical Logic Part 1 (typed notes by C.A. Truesdell) by Alonzo Church, 1956-01-01

lists with details

61. Biographies
    church, alonzo (19031995). More Godel, Kurt (1906-1978). More Turing, Alan Mathison (1912-1954). Appeared in Lecture 15.  
    http://www-2.cs.cmu.edu/~15251/Biographies/index.htm.save
    
    Extractions: leib Short biographies of famous mathematicians and computer scientists mentioned in class, along with links to more information about them. picture taken from Eric's Treasure Troves Appeared in: Lecture 7 Euclid's greatest accomplishment was the Elements , his 13-chapter book outlining everything he knew about geometry. He based all of his geometrical theorems on just five postulates, making the work very rigorous and complete, but for two millenia mathematicians wondered if the fifth postulate (the so-called "Parallel Postulate") could in fact be derived from the other four. This was finally answered (in the negative) by Lobachevsky, Bolyai, and Gauss, leading to the branch of mathematics we now call Non-Euclidean Geometry More... Appeared in: Lecture 9 Al-Karaji's work centered around algebra and polynomials, giving rules for arithmetic operations to manipulate polynomials. Woepcke describes his work as introducing the "theory of algebraic calculus". Stemming from this, Al-Karaji investigated binomial coefficients and Pascal's triangle. Additionally, Al-Karaji used induction to prove his results. More...

62. John MacFarlane: Alonzo Church's JSL Reviews
    alonzo church (of church s Thesis and church s Theorem) was editor of the Reviews section of the Journal of Symbolic Logic from its founding in 1936 until  
    http://philosophy.berkeley.edu/macfarlane/church.html
    
    Extractions: Alonzo Church (of Church's Thesis and Church's Theorem) was editor of the Reviews section of the Journal of Symbolic Logic from its founding in 1936 until 1979. During this period, he wrote or commissioned short reviews of virtually every article or book in the field of logic. Church's reviews are valuable both for the keen insights they contain and for the record they provide of mid-twentieth century logic and philosophy of logic. This list of Church's JSL reviews has been compiled with the help of the JSTOR database. The titles below are linked to page images of the reviews in JSTOR. Definition of Post's Generalized Negative and Maximum in Terms of One Binary Operation. Donald L. Webb, Journal of Symbolic Logic , Vol. 1, No. 1. (Mar., 1936), p. 42. The Law of Transitivity. H. B. Smith, Journal of Symbolic Logic , Vol. 1, No. 1. (Mar., 1936), p. 43. Reducible Boolean Functions. J. C. C. McKinsey, Journal of Symbolic Logic , Vol. 1, No. 2. (Jun., 1936), p. 69. Extensions of Partially Ordered Sets.

63. Texts: Phil 792F
    church, alonzo. A Formulation of the Simple Theory of Types, on JSTOR Journal of Symbolic Logic, June 1940. . A Formulation of the Logic of Sense  
    http://people.umass.edu/klement/792/texts.html
    
    Extractions: Where to Find the Works for the Course I will also place copies in the office for you to xerox if need be. Frege, Gottlob. "Function and Concept," in The Frege Reader [FR] (ed. Beaney), also in Frege, Collected Papers on Papers on Mathematics, Logic and Philosophy [CP] (ed. McGuinness), pp. 137-56, and in Translations from the Philosophical Writings of Gottlob Frege [TPW] (ed. Geach and Black), 21-41. Originally published as Funktion und Begriff . Jena: Hermann Pohle, 1891. . "On Sinn and Bedeutung," in [FR], 151-71. Also available as "On Sense and Reference" in JSTOR Phil. Review (May 1948), and in [TPW], also as "On Sense and Meaning", in [CP], and as "On Sense and Nominatum" in Martinich's The Philosophy of Language [PL]. Originally published as "Über Sinn und Bedeutung," "Introduction to Logic," in [FR], pp. 293-8, and Frege

64. INDEX OF NAMES
    church, alonzo (USA, 19031995) and church s Thesis, 1125 and defining randomness, 1068 and lambda calculus, 1121 and models of computation, 879  
    http://www.wolframscience.com/nksonline/index/names/

65. Stephen Wolfram: A New Kind Of Science -- Relevant Books
    church, alonzo Introduction to Mathematical Logic, Volume 1 Princeton University Press, 1956. church, alonzo The Calculi of LambdaConversion  
    http://www.wolframscience.com/reference/books/c.html

66. Emil Leon Post Papers, American Philosophical Society
    When alonzo church published An Unsolvable Problem of Elementary Number church, alonzo, 19271954. See Also Ser.I, The Journal of Symbolic Logic  
    http://www.amphilsoc.org/library/mole/p/post.htm
    
    Extractions: (4 linear feet) Ms. Coll. 45 American Philosophical Society 105 South Fifth Street * Philadelphia, PA 19106-3386 Table of contents Abstract Administrative information Background note Emil Post, June 1924 Emil L. Post was born in Poland in 1897. At the age of seven he emigrated with his mother and sisters to New York, where his father worked in the successful family clothing and fur business. As a child growing up in Harlem, Post was especially interested in astronomy. Tragically, before age thirteen he lost his left arm in an accident. Post wrote to several observatories asking whether his handicap would exclude him from the profession of astronomy. While the response from Harvard College Observatory was encouraging ("there is no reason why you may not become eminent in astronomy"), the superintendent of the U.S. Naval Observatory wrote that "in my opinion the loss of your left arm would be a very serious handicap to your becoming a professional astronomer. In observational work with instruments the use of both hands is necessary in all the work of this observatory." Discouraged, Post turned his intellect away from the heavens and toward mathematics. After graduating from Townsend Harris High School, Post entered City College of New York. By the time he received a B.S. in mathematics in 1917, Post had already done much of the work for a paper on generalized differentiation that was eventually published in 1930. From 1917-1920 Post was a graduate student at Columbia University. His doctoral dissertation involved the mathematical study of systems of logic, specifically the application of the truth table method to the propositional calculus of Whitehead and Russell's

67. Combined Bibliography
    church, alonzo (1941) The Calculi of Lambda Conversion, church, alonzo (1958) The ontological status of women and abstract entities, Lecture presented  
    http://www.jfsowa.com/bib.htm
    
    Extractions: This page contains the combined bibliography for many of the web pages on this site. Names highlighted in blue have links to biographies or web pages of the corresponding persons, places, or things. Titles highlighted in blue have links to summaries, reviews, excerpts, or complete copies of the documents. Index: A B C D ... Z Albertazzi, Liliana, ed. (1999) Shapes of Forms , Kluwer Academic Publishers, Dordrecht. Journal of Symbolic Logic Alexander, Christopher (1964) Notes on the Synthesis of Form , Harvard University Press, Cambridge, MA. Alexander, Christopher (1979) The Timeless Way of Building , Oxford University Press, New York. Allen, James F. (1983) "Maintaining knowledge about temporal intervals," Communications of the ACM , pp. 832-843. Allen, James F. (1984) "Towards a general theory of action and time," Artificial Intelligence , vol. 23, pp. 123-154. Proceedings AAAI-85 , pp. 528-531. Allerton, D. J. (1982) Valency and the English Verb , Academic Press, New York. Themes from Kaplan , Oxford University Press, Oxford.

68. Citations The Calculi Of Lambda Conversion - Church (ResearchIndex)
    alonzo church. The Calculi of Lambda Conversion. Princeton University Press, 1941. Home/Search Document Not in Database Summary Related Articles Check  
    http://citeseer.ist.psu.edu/context/305/0

69. References
    church, alonzo (1950) On Carnap s analysis of statements of assertion and church, alonzo (1989) Intensionality and the paradox of the name relation.  
    http://www.hf.uio.no/filosofi/njpl/vol1no1/beliefs/node4.html

70. Sexy Types In Action
    4 church, alonzo. 1932. A set of postulates for the foundation of logic. 5 church, alonzo. 1940. A formulation of the simple theory of types.  
    http://portal.acm.org/citation.cfm?id=997142

71. A Semi-Decision Procedure For The Functional Calculus
    4 church, alonzo. Special cases of the decision problem. Revue Philosophique de Louvain 5 church, alonzo. Introduction to Mathematical Logic, Vol. 1.  
    http://portal.acm.org/citation.cfm?id=321151

72. Alonzo Church - Biographie
    Translate this page Un des plus grands logiciens du siècle - inventeur du langage de base de tous les langages mathématiques, informatiques, linguistiques.  
    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

73. Logika
    které možné svety zná)) alonzo church má jakožto pokracoívatel a individual concepts (church, alonzo (1956) Introduction to Mathematical Logic,  
    http://www.phil.muni.cz/fil/logika/semantika/intenzionalnilogiky.php
    
    Extractions: - Gottlob Frege (1892, Sinn und Bedeutung): kategorie smyslu (což je "nepøímý význam"), smysl nijak nedefinuje, pouze øíká, že je to "zpùsob danosti", "Art des Gegebenseins", "mode of presentation) ambiguita: výraz oznaèuje svùj smysl jen v "nepøímém kontextu" (indirect contexts, Quine: opaque, èasto: oblique, novìji intenzionální kontexty

74. Logika
    719; church, alonzo (1977) Úvod do matematické logiky. Brno FF UJEP; church, alonzo (1977) The Need for Abstract Entities in Semantic Analysis,  
    http://www.phil.muni.cz/fil/logika/semantika/schema.php

75. Alonzo Church
    Translate this page Begrifferklärung alonzo church. Dieser Artikel basiert auf dem Artikel alonzo church (http//de.wikipedia.org/wiki/alonzo_church) aus der freien  
    http://www.netzwelt.de/lexikon/Alonzo_Church.html
    
    Extractions: Themen Ratgeber Shopping Forum ... PDA Sie sind hier: Home Lexikon Alonzo Church 14. Juni in Washington D.C. 11. August in Hudson Ohio ) war ein US-amerikanischer Mathematiker und einer der Begründer der theoretischen Informatik Er 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 der Lambda-Kalkül und die Turingmaschine ebenbürtig in der Ausdruckskraft sind und konnten noch einige weitere äquivalente Mechanismen zum Berechnen von Funktionen angeben. Eine hieraus abgeleitete These für den intuitiven Berechenbarkeitsbegriff ist unter dem Namen Church-Turing-These bekannt.

76. Complete Author Bibliography
    church1936 church, alonzo. An Unsolvable Problem of Elementary Number Theory. church1956 church, alonzo. Introduction to Mathematical Logic.  
    http://nfocentrale.net/orcmid/readings/authors.htm
    
    Extractions: This is a complete set of bibliographic references to the readings cited in Orcmid's Lair and related sites, such as The Miser Project and NuovoDoc . The purpose of the listing is to ensure that there are no duplications in the bracketed citation forms wherever the bibliographic citations are used. These forms are the ones pasted into individual bibliographic entries of documents and of other pages of nfoCentrale.net sites. I am not entirely comfortable with having the bibliographies be distributed across multiple sites, yet they are appropriately contained in independent "mirrors" of specialized material. I may never be entirely satisfied with this arrangement. For now, I am distributing the bibliographies while maintaining this single master index to all of the citations. Dennis E. Hamilton

77. Alonzo Church - Definition By Dict.die.net
    alonzo church person A twentieth century mathematician and logician, and one of the founders of computer science. church invented the lambdacalculus and  
    http://dict.die.net/alonzo church/

78. Interrogation DORIS WEB : OCLC_W3=4480
    Translate this page Auteur, church, alonzo. Titre, Introduction to mathematical logic. Vol. 1. Editeur, Princeton University Press. Lieu de publication, Princeton, New Jersey  
    http://www.loria.fr/cgi-bin/DorisWeb/bibvisu?OCLC_W3=4480

79. Interrogation AUTEUR:4561
    Translate this page AUTEUR church, alonzo. 1 réponse. Introduction to mathematical logic. Vol. 1 - church, alonzo - Princeton University Pres - 1956.  
    http://www.loria.fr/cgi-bin/DorisWeb/bibrebond?AUTEUR:4561

80. Bibliography On Quotation And The Use-Mention Distinction
    church, alonzo A Formulation of the Logic of Sense and Denotation. church, alonzo On Carnap’s Analysis of Statements of Assertion and Belief.  
    http://www.uni-due.de/~gph120/Bib/Bibliography.html
    
    Extractions: INTRODUCTION. Approaches to quotation can be naturally categorized into four main types: (i) The proper name theory was put forward by Tarski (1933) and Quine (1940). It is the view that the quotation as a whole must logically be treated as an atomic unit, namely a proper name of its interior, the quoted expression. (ii) According to the description theory advocated by Geach (1957), quotations can be analyzed in two steps: For the basic units of a language (e. g. words or letters), the proper name theory still holds good, but complex expressions are to be described as concatenations of the simple expressions. For instance, the expression ‘"man is mortal"’ could be rendered as ‘"man"&"is"&"mortal"’, where "&" is the concatenation symbol. (iii) According to Davidson 's (1961)

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

61-80 of 96    Back | 1  | 2  | 3  | 4  | 5  | Next 20