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

leib Biographies 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 Euclid (ca. 325 - ca. 270 BC) 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... Al-Karaji, Abu Bekr ibn Muhammad ibn al-Husayn (953 - ca. 1029) 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

John MacFarlane Papers Talks Drafts ... Links 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 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

Phil 792F: Seminar - Frege and Intensional Logic Spring 2001 - Kevin Klement 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/

INDEX OF NAMES A-E F-J K-O P-S T-Z A-E Ackermann, Wilhelm (Germany, 1896-1962) and Ackermann functions, Aiken, Howard H. (USA, 1900-1973) and Mark I computer, Albertus Magnus (Germany, ~1200-1280) and mathematics in science, Alder, Berni J. (USA, 1925- ) and inspirational book cover, and molecular dynamics, in Preface, xiii Alekseev, Vladimir M. (Russia, 1932-1980) and 3-body problem, Alexander, James W. (USA, 1888-1971) and moves on networks, Ammann, Robert (USA, 1946-1994) and nested tilings, Anaxagoras (Greece, ~500 - ~428 BC) and purpose in nature, Apollonius (Turkey/Egypt, ~262 BC - ~190 BC) and circle packing, Aquinas, Thomas (Italy, 1225-1274) and argument by design, Archimedes (Sicily, 287-212 BC) and pi, and use of mathematics, Aristotle (Greece, 384-322 BC) and complexity, and definition of life, and embryology, and gnomons, and history of logic, and logic in science, and nature of space, and origins of randomness, and purpose in nature

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

WOLFRAM'S LIBRARY A B C D E F G ... W X Y Z C Cadmo, Edizioni Nexus Network Journal: Architecture and Mathematics. Volume 1 Edizioni Cadmo, 1999. [ISBN 8879232215 Cairns-Smith, A.G. Genetic Takeover and the Mineral Origins of Life Cambridge University Press, 1987. [ISBN 0521346827 Cajori, Florian A History of Elementary Mathematics. With Hints on Methods of Teaching Macmillan, 1910. [ISBN 0842016732 Cajori, Florian A History of Mathematics Macmillan, 1919. [ISBN 0821821024 Cajori, Florian A History of Physics Dover Publications, Inc., 1962 Calaprice, Alice, Editor The Quotable Einstein Princeton University Press, 1996. [ISBN 0691026963 Calder, Nigel Einstein's Universe Penguin Books, 1980. Proceedings of the Gibbs Symposium. (Yale University, May 15-17, 1989). American Mathematical Society, 1990. [ISBN 0821801570 Calinger, Ronald, Editor Classics of Mathematics Prentice-Hall, Inc., 1955. [ISBN 002318342X Unconventional Models of Computation Springer-Verlag, 1998. [ISBN 9813083697 Camacho, Cesar Geometric Theory of Foliations Birkhäuser, 1985. [ISBN 0817631399

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

Emil Leon Post Papers (4 linear feet) Ms. Coll. 45 American Philosophical Society 105 South Fifth Street * Philadelphia, PA 19106-3386 Table of contents Abstract Background note Arrangement Administrative information Restrictions ... Series VI. Photographs, 1924, 1948 Return to MOLE Return to APS Library Return to APS home 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

Combined Bibliography 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 A 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

Next: Up: On Beliefs Previous: 3. Naming in Belief References Church, Alonzo (1950) On Carnap's analysis of statements of assertion and belief. Analysis , 10, no. 5, 97-99. Church, Alonzo (1989) Intensionality and the paradox of the name relation. In Joseph Almog et al. (eds.), Themes from Kaplan , pp. 151-165. Oxford University Press. Kripke, Saul (1979) A puzzle about belief. In A. Margalit (ed.), Meaning and Use , pp. 239-83. Dordrecht Reidel. Salmon, Nathan (1986) Frege's Puzzle . MIT Press. Nordic Journal of Philosophical Logic, Vol. 1, No. 1, pp. 79-94.

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

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

Úvod do logické sémantiky Jiøí Raclavský VIII. Intenzionální logiky INTENZIONÁLNÍ LOGIKY - intenzionální logika pøi aplikaci na pøirozený jazyk používá sémantiku pomocí možných svìtù possible worlds semantics , PWS) možný svìt jw maximální souhrn faktù, které mohou platit, aktuální svìt je jeden z možných svìtù termín intenzionální logika mùže znamenat (význam a) je nejpøesnìjší): a) ta logika, která používá k interpretaci sémantiku pomocí možných svìtù (tu mùže totiž používat i modální logika) b) ta logika, která nerespektuje Frege-Churchùv princip skladebnosti c) neklasická logika d) do jasného oddìlení intenzionální logiky a modální logiky v 60.tých letech se i napø. o "nutnosti" apod. mluvilo jako o intenzionálních entitách pøedchùdci - 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 - Rudolp Carnap (1947, Meaning and Necessity) uvedl metodu extenzí a intenzí, pøièemž intenze jsou funkce ze

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

Úvod do logické sémantiky Jiøí Raclavský III. Schéma oznaèování Bernard Bolzano (Vìdosloví, Wissenschaftslehre 1837) - Satz an sich (vìta o sobì) - vìta o sobì je to, co mají spoleèné vìta napsaná (køivka-stopa inkoustu na papíøe), vìta vyslovená (kmitání akustického prostøedí) a vìta myšlená (nervový vzruch) - vìta o sobì je tedy abstraktní vzhledem ke svým konkrétním realizacím - souèasný termín propozice = vìta o sobì, fregeho myšlenka Charles Sanders Peirce v souèasnosti se používá: type / token (srov. s vìtou o sobì) - token je konkrétní realizace znaku - type je to, co je mnoha tokenùm spoleèné - napø. výraz "slovo" se vyskytuje v tomto øádku dvakrát (dva tokeny), ale jde jen o jedno slovo (jeden type) - type/token v první úrovni; 1 význam a n výrazù-slov - type/token v druhé úrovni; výraz "slovo" je napø. v èeštinì jen jeden, ale má n výskytù; - srov. napø. hudební dílo (type), které mùže být hráno (token), napsáno v notách (token); samotné noty-partitura mohou být však n krát vytištìny (Raclavský 1999: Denotace a reference v hudbì, Organon F (Príloha)) - Hund, dog a pes jsou tokeny tøí jazykù, které vyjadøují týž a jeden význam; výrazy Hund, dog, pes mají n konkrétních realizací

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

Themen Ratgeber Shopping Forum ... PDA Sie sind hier: Home Lexikon Alonzo Church 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

Readings Author Bibliography orcmid readings authors 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 2002 March 28 updated 2002 June 10 A B C D ... Z Abel, Reuben. Man is the Measure . A Cordial Invitation to the Central Problems of Philosophy. Free Press (New York: 1976). ISBN 0-684-83636-X pbk. Philosophy Abelson, Harold., Sussman, Gerald Jay., Sussman, Julie.

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/

Definition: alonzo church Search dictionary for Source: The Free On-line Dictionary of Computing (2003-OCT-10) Alonzo Church lambda-calculus and posited a version of the Church-Turing thesis Projects online dictionary linux docs apt for redhat bush's war lies ... party invitations Toys world sunlight moon phase free online rpg

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

A Bibliography on Quotation and the Use-Mention Distinction Compiled and maintained by Jan Schreiber, Essen, Germany. http://www.uni-due.de/~gph120/Bib/ Last Updated: May 02, 2005 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

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