21. Citations A Formulation Of The Simple Theory Of Types - Church Alonzo Church. A formulation of the simple theory of types. Journal of Symbolic Logic, 55668, 1940. http://citeseer.ist.psu.edu/context/15555/0

22. An Annotated Bibliography On The History Of Logic church alonzo, A bibliography of symbolic logic, Journal of Symbolic Logic church alonzo, Outline of a revised formulation of the logic of sense and http://www.formalontology.it/history_of_logic.htm

Home Site Map An annotated bibliography on the History of Logic " Preliminary definition of the subject matter of the history of logic is hard to come by. For apart from 'philosophy' there is perhaps no name of a branch of knowledge that has been given so many meanings as 'logic'. Sometimes the whole of philosophy, and even knowledge in general, has been thus named, from metaphysics on the one hand, cf. Hegel, to aesthetics ('logic of beauty') on the other, with psychology, epistemology, mathematics etc. in between. With such a wide choice it is quite impossible to include in a history of logical problems all that has been termed 'logic' in the course of western thought. To do so would practically involve writing a general history of philosophy. But it does not follow that the use of the name 'logic' must be quite arbitrary, for history provides several clues to guide a choice between its many meanings. This choice can be arrived at by the following stages. 1. First let us discard whatever most authors either expressly ascribe to some other discipline, or call 'logic' with the addition of an adjective, as for example epistemology, transcendental logic, ontology etc. 2. When we examine what remains, we find that there is one thinker who so distinctly marked out the basic problems of this residual domain that all later western inquirers trace their descent from him: Aristotle. Admittedly, in the course of centuries very many of these inquirers among them even his principal pupil and successor Theophrastus have altered Aristotelian positions and replaced them with others. But the essential problematic of their work was, so far as we know, in constant dependence in one way or another on that of Aristotle Organon. Consequently we shall denote as 'logic' primarily those problems which have developed from that problematic.

23. CentralWeb - Church Alonzo Translate this page church alonzo. (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 http://www.centralweb.fr/dico/def/church-alonzo.htm

Church Alonzo (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 PERS A B ... Z

24. University Of Georgia Presidents' Exhibit: Alonzo S. Church Alonzo S. Church 182959. Biography Born April 9, 1793, Brattleboro, VT; Died May 18, 1862, Athens, GA. BA Middlebury College (1816). http://www.libs.uga.edu/hargrett/pexhibit/presiden/aschurch.html

Alonzo S. Church Biography: Born April 9, 1793, Brattleboro, VT; Died May 18, 1862, Athens, GA. B.A. Middlebury College (1816). Church came to Putnam Co., GA as a schoolmaster. While a Presbyterian minister, he joined faculty at UGA as Professor of Mathematics. Following his resignation in 1859, he retired to the country . Accomplishments: A stern disciplinarian, Church's puritanical ethos clashed with the student body, resulting in periods of campus unrest in each decade of his tenure. Additionally, he clashed with Joseph and John LeConte who refused to serve as disciplinarians of the student body. This series of confrontations led to an erosion of attendance. As a result of the crisis, a commission was formed which produced the Mitchell Report of November 1855. They advocated the creation of a school of science, law, teacher education, and agriculture as well as the addition of a professor of modern languages to the faculty. Buildings: Classroom/Library (Southern half of current Academic Building, 1831); Chapel (1832); Phi Kappa Hall (1836); Lumpkin House (Rock House, 1844); Lustrat House (1847); Garden Club House (1857); The Arch (1858) (funded through sale of the University Botanical Garden for $1,000). Last Update: March 13, 2001

25. Algorithme - Définition - Tout-Savoir.Net Translate this page Fondé sur la thèse de church alonzo. Articles liés à celui-ci A5 algorithmie algorithmique Al-Khwarizmi AU Blowfish câblé câbler CCP chiffre compacter http://www.tout-savoir.net/lexique.php?rub=definition&code=423

26. Church Biography from the MacTutor History of Mathematics archive. http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Church.html

Alonzo Church Born: 14 June 1903 in Washington, D.C., USA Died: 11 Aug 1995 in Hudson, Ohio, USA Click the picture above to see a larger version Show birthplace location Previous (Chronologically) Next Biographies Index Previous (Alphabetically) Next Main index Version for printing Alonso Church 's parents were Mildred Hannah Letterman Parker and Samuel Robbins Church. His father was a judge. He was a student at Princeton receiving his first degree, an A.B., in 1924, then his doctorate three years later. His doctoral work was supervised by Veblen , and he was awarded his doctorate in 1927 for his dissertation entitled Alternatives to Zermelo's Assumption. While he was still working for his doctorate he married Mary Julia Kuczinski at Princeton in 1926. They had three children, Alonso Jr, Mary Ann and Mildred. Princeton in the 's was an exciting place for logic. There was Church together with his students Rosser and Kleene . There was John von Neumann Alan Turing , who had been thinking about the notion of effective calculability, came as a visiting graduate student in and stayed to complete his Ph.D. under Church. And

27. 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 ... Z This document uses XHTML/Unicode to format the display. If you think special symbols are not displaying correctly, see our guide Displaying Special Characters last substantive content change AUG The Encyclopedia Now Needs Your Support Please Read How You Can Help Keep the Encyclopedia Free 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;

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

29. References For Church CA Anderson, alonzo church s contributions to philosophy and intensional logic, In honor of alonzo church s 75th birthday with some remarks from the http://www-groups.dcs.st-and.ac.uk/~history/Printref/Church.html

References for Alonso Church Biography in Encyclopaedia Britannica. Books: Logic, meaning and computation (Dordrecht, 2001). Articles: C A Anderson, Alonzo Church's contributions to philosophy and intensional logic, Bull. Symbolic Logic H B Enderton, In memoriam: Alonzo Church (1903-1995), Bull. Symbolic Logic H B Enderton, Alonzo Church and the reviews, Bull. Symbolic Logic J Folina, Church's Thesis : prelude to a proof, Philos. Math. (3) 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 D Kaplan and T Burge, Remembering Alonzo Church, Logic, meaning and computation (Dordrecht, 2001), xixiii. M Manzano, Alonzo Church : his life, his work and some of his miracles, Hist. Philos. Logic W Sieg, Step by recursive step : Church's analysis of effective calculability, Bull. Symbolic 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.

30. Church, Alonzo (1903-1995) church, alonzo (19031995) church and Turing then showed that the lambda calculus and the Turing machine, which is used in the halting problem, http://www.daviddarling.info/encyclopedia/C/Church.html

Return to The Worlds of David Darling INDEX LATEST NEWS ARCHIVE ... Z entire Web this site Church, Alonzo (1903-1995) An American logician and professor at Princeton University who was an early pioneer of theoretical computer science. He is best known for his development, in 1934, of the so-called lambda calculus , a model of computation, and his discovery, in 1936, of an "undecidable problem" within it. This result preceded Alan Turing 's famous work on the halting problem , which also pointed out the existence of a problem unsolvable by mechanical means. Church and Turing then showed that the lambda calculus and the Turing machine, which is used in the halting problem, are equivalent in capability; they also demonstrated a variety of alternative "mechanical processes for computation" with equivalent computational abilities. See also Church-Turing thesis BACK TO TOP var site="s13space1234"

31. 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 and a logician, http://philosophy.uwaterloo.ca/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 Last updated: May 11, 2004 Thanks to our sponsors: Logo design by logobee

32. Alonzo Church From FOLDOC church, alonzo . alonzo church church invented the lambdacalculus and posited a version of the church-Turing thesis. (1995-03-25) http://foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi?Church, Alonzo

33. Church Integer From FOLDOC A representation of integers as functions invented by alonzo church, inventor of lambdacalculus. The integer N is represented as a higher-order function http://foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi?Church integer

34. Church, Alonzo --  Encyclopædia Britannica church, alonzo US mathematician (b. June 14, 1903, Washington, DCd. Aug. 11, 1995, Hudson, Ohio), was a pioneer in the field of mathematical logic. http://www.britannica.com/eb/article-9112036

Home Browse Newsletters Store ... Subscribe Already a member? Log in This Article's Table of Contents Church, Alonzo Print this Table of Contents Shopping Price: USD $1495 Revised, updated, and still unrivaled. The Official Scrabble Players Dictionary (Hardcover) Price: USD $15.95 The Scrabble player's bible on sale! Save 30%. Merriam-Webster's Collegiate Dictionary Price: USD $19.95 Save big on America's best-selling dictionary. Discounted 38%! More Britannica products Church, Alonzo  Encyclopædia Britannica Article Page 1 of 1 Church, Alonzo... (75 of 272 words) var mm = [["Jan.","January"],["Feb.","February"],["Mar.","March"],["Apr.","April"],["May","May"],["June","June"],["July","July"],["Aug.","August"],["Sept.","September"],["Oct.","October"],["Nov.","November"],["Dec.","December"]]; To cite this page: MLA style: "Church, Alonzo." Britannica Book of the Year, 1996 http://www.britannica.com/eb/article-9112036

35. Church, Alonzo --  Britannica Concise Encyclopedia - The Online Encyclopedia Y church, alonzo body US mathematician. church, alonzo Concise Encyclopedia Article, Page 1 of 1. Print Page Print Article Email Article Cite http://www.britannica.com/ebc/article-9360766?query=logic&ct=

36. EpistemeLinks.com: Website Results For Philosopher Alonzo Church General website search results for alonzo church including brief biographies, link resources, and more. Provided by EpistemeLinks.com. http://www.epistemelinks.com/Main/Philosophers.aspx?PhilCode=Chur

37. EpistemeLinks.com: Encyclopedia Entries For Philosopher Alonzo Church Encyclopedia entry search results for alonzo church. Provided by EpistemeLinks.com. http://www.epistemelinks.com/Main/EncyRefs.aspx?PhilCode=Chur

38. Church, Alonzo - Computing Reference - ELook.org church, alonzo. alonzo church. Previous Terms, Terms Containing church, alonzo, Next Terms . chrome chroot CHRP chug chunker church integer http://www.elook.org/computing/church,-alonzo.htm

eLook Home eLook Computing Reference Search Computing Reference More Resources Information US City Data Worldwide Weather Entertainment Video Game Cheats Food Nutrition Recipes Literature Literature Reference Computing Dictionary Internet Encyclopedia Programming Reference ... Thesaurus By Letter: Non-alphabet A B C ... Z Church, Alonzo Alonzo Church Terms Containing Church, Alonzo chrome chroot CHRP chug ... Contact

39. Alonzo Church From FOLDOC church, alonzo . alonzo church. person A twentieth century mathematician and logician, and one of the founders of computer science. http://www.instantweb.com/foldoc/foldoc.cgi?Church, Alonzo

40. Alonzo Church - Dicionário Internet church, alonzo . alonzo church. person A twentieth century mathematician and logician, and one of the founders of computer science. http://www.hostgold.com.br/hospedagem-sites/o_que_e/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 96    Back | 1  | 2  | 3  | 4  | 5  | Next 20