DOCSLIB.ORG

Martin Schäf Albert-Ludwigs-Universität Freiburg Im Breisgau (2011) Andreas Podelski Université Paris Diderot

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Martin Schäf Albert-Ludwigs-Universität Freiburg Im Breisgau (2011) Andreas Podelski Université Paris Diderot Manuel Bryennios Theodore Metochites (1315) Gregory Palamas Nilos Kabasilas (1363) Heinrich von Langenstein Université de Paris (1363) Elissaeus Judaeus Demetrios Kydones Johannes von Gmunden Georgios Plethon Gemistos Universität Wien (1406) (1380) Manuel Chrysoloras Georg von Peuerbach Basilios Bessarion Guarino da Verona Universität Wien (1440) Mystras (1436) (1408) Johannes Müller Regiomontanus Johannes Argyropoulos Universität Leipzig and Universität Wien (1457) Luca Pacioli Università di Padova (1444) Domenico Maria Novara da Ferrara Marsilio Ficino Vittorino da Feltre Università di Firenze (1483) Università di Firenze (1462) Cristoforo Landino Università di Padova (1416) Angelo Poliziano Theodoros Gazes Ognibene (Omnibonus Leonicenus) Bonisoli da Lonigo Geert Gerardus Magnus Groote Florens Florentius Radwyn Radewyns Università di Firenze (1477) Università di Mantova and Constantinople (1433) Università di Mantova Rudolf Agricola Scipione Fortiguerra Demetrios Chalcocondyles Leo Outers Thomas von Kempen à Kempis Università degli Studi di Ferrara (1478) Jacob ben Jehiel Loans Università di Firenze (1493) Moses Perez Mystras and Accademia Romana (1452) Gaetano da Thiene Sigismondo Polcastro Université Catholique de Louvain (1485) Alexander Hegius Jan Standonck Johannes Stöffler Johann (Johannes Kapnion) Reuchlin Girolamo (Hieronymus Aleander) Aleandro François Dubois Janus Lascaris Nicoletto Vernia Pietro Roccabonella Maarten (Martinus Dorpius) van Dorp (1474) Collège de Montaigu (1490) Universität Ingolstadt (1476) Université de Poitiers (1481) Matthaeus Adrianus Università di Padova (1499) Jean Tagault Université de Paris (1516) Università di Padova (1472) Università di Padova Università di Padova Pelope Université Catholique de Louvain (1504) Balthasar Kaeuffelin Ulrich Zasius Desiderius Erasmus Philipp Melanchthon Jacobus (Jacques Masson) Latomus Jan (Johannes Campensis) van Campen Rutger Rescius Jacobus (Jacques Dubois) Sylvius Marco Musuro Pietro Pomponazzi Niccolò Leoniceno Petrus (Pieter de Corte) Curtius Eberhard-Karls-Universität Tübingen (1521) Albert-Ludwigs-Universität Freiburg im Breisgau (1501) University of Turin (1506) Eberhard-Karls-Universität Tübingen (1514) Georgius Hermonymus Katholieke Universiteit Leuven (1519) Université Catholique de Louvain (1519) Université de Paris (1513) Université de Paris (1530) Università di Firenze (1486) Università di Padova (1487) Università di Padova (1453) Université Catholique de Louvain (1513) Jakob Beuerlin Wolfgang Fabricius Capito Jakob Milich Simon Grynaeus Guillaume Budé Nicolas (Nicolaes Cleynaerts) Clénard Johannes Winter von Andernach Vittore Trincavelli Giovanni Battista della Monte Gemma (Jemme Reinerszoon) Frisius Eberhard-Karls-Universität Tübingen (1551) Albert-Ludwigs-Universität Freiburg im Breisgau (1515) Universität Wien (1524) Martin-Luther-Universität Halle-Wittenberg (1523) Université d'Orléans and Université de Paris (1486) Université Catholique de Louvain (1515) Collège de Tréguier (1532) Università di Padova Università degli Studi di Ferrara Université Catholique de Louvain (1529) Jacob Andreae Simon Sulzer Leonhard (Leonard Vitreatoris z Dobczyc) von Dobschütz Bonifazius Erasmi Erasmus Reinhold Thomas Cranmer Jacques Toussain Johannes (Johann Sturm) Sturmius Bassiano Landi Andreas (Andries van Wesel) Vesalius Antonio Musa Brasavola Eberhard-Karls-Universität Tübingen (1553) Universität Basel (1532) Uniwersytet Jagielloński (1489) Martin-Luther-Universität Halle-Wittenberg (1509) Martin-Luther-Universität Halle-Wittenberg (1535) University of Cambridge (1526) Université de Paris (1521) Université Catholique de Louvain (1527) Università di Padova (1542) Università di Padova and Université Catholique de Louvain (1537) Università degli Studi di Ferrara (1520) Johann Jacob Grynaeus Nicolaus (Mikołaj Kopernik) Copernicus Johannes Volmar Valentine Naibod Johannes Hommel Immanuel Tremellius Adrien Turnèbe Petrus (Pierre de La Ramée) Ramus Guillaume Rondelet Matteo Realdo (Renaldus Columbus) Colombo Eberhard-Karls-Universität Tübingen (1564) Uniwersytet Jagielloński and Università di Bologna and Università degli Studi di Ferrara and Università di Padova (1499) Martin-Luther-Universität Halle-Wittenberg (1515) Martin-Luther-Universität Halle-Wittenberg and Universität Erfurt Martin-Luther-Universität Halle-Wittenberg (1543) Ruprecht-Karls-Universität Heidelberg (1561) Collège de France (1532) Collège de Navarre (1536) Université de Paris Università di Padova (1544) Sebastian Beck Georg Joachim von Leuchen Rheticus Rudolph (Snel van Royen) Snellius Johannes Caselius Valentin Thau Joseph Justus Scaliger Theodor Zwinger Gabriele Falloppio Universität Basel (1610) Johann Hoffmann Martin-Luther-Universität Halle-Wittenberg (1535) Ludolph van Ceulen Ruprecht-Karls-Universität Heidelberg and Universität zu Köln (1572) Universität Leipzig (1566) Universität Leipzig (1555) Collège de France (1563) Università di Padova (1559) Università di Padova and Università degli Studi di Ferrara (1547) Theodor Zwinger, Jr. Moritz Valentin Steinmetz Sebastian (Theodoricus) Dietrich Caspar Peucer Willebrord (Snel van Royen) Snellius Thomas Erpenius Paul Wittich John Craig Hieronymus (Girolamo Fabrici d'Acquapendente) Fabricius Johannes Nicolaus Stupanus Universität Basel (1630) Universität Leipzig (1550) Martin-Luther-Universität Halle-Wittenberg (1544) Martin-Luther-Universität Halle-Wittenberg (1545) Universiteit Leiden (1607) Universiteit Leiden (1608) Martin-Luther-Universität Halle-Wittenberg and Universität Leipzig (1566) Universität Basel (1580) Università di Padova (1559) Universität Basel (1569) Valentin (Valentinus Otho) Otto Marin Mersenne Christoph Meurer Jacobus Golius Salomon Alberti Jacobus (Jacob Harmensz.) Arminius Duncan Liddel Jan Jessenius Martin-Luther-Universität Halle-Wittenberg (1570) Université Paris IV-Sorbonne (1611) Universität Leipzig (1582) Universiteit Leiden (1612) Università di Padova (1574) Philipps-Universität Marburg and Universiteit Leiden (1582) Universität Breslau and Universität Helmstedt (1596) Università di Padova (1591) Frans van Schooten, Jr. Philipp Müller Andreas Schato Friedrich Leibniz Cornelius Martini Gilbert Jacchaeus Felix Plater Christoph Glaser Universiteit Leiden (1635) Jan Jansz Stampioen, Jr. Universität Leipzig (1604) Martin-Luther-Universität Halle-Wittenberg (1562) Universität Leipzig (1622) Universität Helmstedt (1592) Universiteit Leiden (1611) Université de Montpellier (1557) Christiaan Huygens Erhard Weigel Bartholomäus Leonhard Schwendendörffer Melchior Jöstel Ernestus Hettenbach Jakob Thomasius Georg Calixt Jacobus Martini Petrus Ryff Adriaan van den Spieghel Nicolas Lemery Université d'Angers (1655) Universität Leipzig (1650) Universität Leipzig (1656) Martin-Luther-Universität Halle-Wittenberg (1583) Martin-Luther-Universität Halle-Wittenberg (1576) Universität Leipzig (1643) Universität Helmstedt (1607) Universität Helmstedt (1596) Universität Basel (1584) Università di Padova and Université Catholique de Louvain (1603) Peter Werenfels Gottfried Wilhelm Leibniz Ambrosius Rhodius Emmanuel Stupanus Daniel Sennert Adolph Vorstius Johann Jakob von Brunn Johann Gottlob Spitzley Universität Basel (1649) Académie royale des sciences de Paris (1676) Martin-Luther-Universität Halle-Wittenberg (1600) Universität Basel (1613) Martin-Luther-Universität Halle-Wittenberg (1594) Università di Padova (1622) Universität Basel (1615) Gillaume-Francois Rouelle Nicolas Malebranche Christoph Notnagel Johann Caspar Bauhin Abraham Klein (Calovius) Franciscus de le Boë Sylvius Werner Rolfinck Université de Paris (1725) (1672) Martin-Luther-Universität Halle-Wittenberg (1630) Universität Basel (1649) Andreas Kunad Universität Rostock (1632) Universiteit Leiden and Universität Basel (1634) Martin-Luther-Universität Halle-Wittenberg (1625) Pierre Joseph Macquer Jacob Bernoulli Johann Andreas Quenstedt Nikolaus Eglinger Aegidius Strauch Rudolf Wilhelm Krause Georg Wolffgang Wedel Gottfried Möbius Université de Paris (1742) Universität Basel (1684) Martin-Luther-Universität Halle-Wittenberg (1644) Universität Basel (1660) Martin-Luther-Universität Halle-Wittenberg (1657) Universiteit Leiden (1671) Friedrich-Schiller-Universität Jena and Universiteit Leiden (1667) Friedrich-Schiller-Universität Jena (1640) Jean Baptiste Michel Bucquet Johann Bernoulli Michael Walther, Jr. Georg Balthasar Metzger Simon Paul Hilscher Johann Adolph Wedel Université de Paris (1768) Universität Basel (1690) Martin-Luther-Universität Halle-Wittenberg (1661) Universität Basel (1650) Friedrich-Schiller-Universität Jena (1704) Friedrich-Schiller-Universität Jena (1694) Anton Bernhard Lauterbach Antoine Francois de Fourcroy Leonhard Euler Elias Rudolph Camerarius, Sr. Georg Erhard Hamberger Université de Paris Jean Le Rond d'Alembert Giovanni Battista (Giambattista) Beccaria Universität Basel (1726) Eberhard-Karls-Universität Tübingen (1663) Friedrich-Schiller-Universität Jena (1721) Otto Mencke Joseph Louis Lagrange Johann Pasch Rudolf Jakob Camerarius Johann Andreas Segner Nicolas Louis Vauquelin Pierre-Simon Laplace Universität Leipzig (1665) Università di Torino (1754) Martin-Luther-Universität Halle-Wittenberg (1683) Eberhard-Karls-Universität Tübingen (1684) Friedrich-Schiller-Universität Jena (1726) Louis Jacques Thenard Simeon Denis Poisson Johann Christoph Wichmannshausen Johann Andreas Planer Johann Georg Büsch École Polytechnique École Polytechnique (1800) Universität Leipzig (1685) Eberhard-Karls-Universität Tübingen (1709) Georg-August-Universität
Load more

Recommended publications
  • All That Math Portraits of Mathematicians As Young Researchers
    Downloaded from orbit.dtu.dk on: Oct 06, 2021 All that Math Portraits of mathematicians as young researchers Hansen, Vagn Lundsgaard Published in: EMS Newsletter Publication date: 2012 Document Version Publisher's PDF, also known as Version of record Link back to DTU Orbit Citation (APA): Hansen, V. L. (2012). All that Math: Portraits of mathematicians as young researchers. EMS Newsletter, (85), 61-62. General rights Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights. Users may download and print one copy of any publication from the public portal for the purpose of private study or research. You may not further distribute the material or use it for any profit-making activity or commercial gain You may freely distribute the URL identifying the publication in the public portal If you believe that this document breaches copyright please contact us providing details, and we will remove access to the work immediately and investigate your claim. NEWSLETTER OF THE EUROPEAN MATHEMATICAL SOCIETY Editorial Obituary Feature Interview 6ecm Marco Brunella Alan Turing’s Centenary Endre Szemerédi p. 4 p. 29 p. 32 p. 39 September 2012 Issue 85 ISSN 1027-488X S E European M M Mathematical E S Society Applied Mathematics Journals from Cambridge journals.cambridge.org/pem journals.cambridge.org/ejm journals.cambridge.org/psp journals.cambridge.org/flm journals.cambridge.org/anz journals.cambridge.org/pes journals.cambridge.org/prm journals.cambridge.org/anu journals.cambridge.org/mtk Receive a free trial to the latest issue of each of our mathematics journals at journals.cambridge.org/maths Cambridge Press Applied Maths Advert_AW.indd 1 30/07/2012 12:11 Contents Editorial Team Editors-in-Chief Jorge Buescu (2009–2012) European (Book Reviews) Vicente Muñoz (2005–2012) Dep.
    [Show full text]
  • Stephen Cole Kleene
    STEPHEN COLE KLEENE American mathematician and logician Stephen Cole Kleene (January 5, 1909 – January 25, 1994) helped lay the foundations for modern computer science. In the 1930s, he and Alonzo Church, developed the lambda calculus, considered to be the mathematical basis for programming language. It was an effort to express all computable functions in a language with a simple syntax and few grammatical restrictions. Kleene was born in Hartford, Connecticut, but his real home was at his paternal grandfather’s farm in Maine. After graduating summa cum laude from Amherst (1930), Kleene went to Princeton University where he received his PhD in 1934. His thesis, A Theory of Positive Integers in Formal Logic, was supervised by Church. Kleene joined the faculty of the University of Wisconsin in 1935. During the next several years he spent time at the Institute for Advanced Study, taught at Amherst College and served in the U.S. Navy, attaining the rank of Lieutenant Commander. In 1946, he returned to Wisconsin, where he stayed until his retirement in 1979. In 1964 he was named the Cyrus C. MacDuffee professor of mathematics. Kleene was one of the pioneers of 20th century mathematics. His research was devoted to the theory of algorithms and recursive functions (that is, functions defined in a finite sequence of combinatorial steps). Together with Church, Kurt Gödel, Alan Turing, and others, Kleene developed the branch of mathematical logic known as recursion theory, which helped provide the foundations of theoretical computer science. The Kleene Star, Kleene recursion theorem and the Ascending Kleene Chain are named for him.
    [Show full text]
  • PDF (Dissertation.Pdf)
    Kind Theory Thesis by Joseph R. Kiniry In Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy California Institute of Technology Pasadena, California 2002 (Defended 10 May 2002) ii © 2002 Joseph R. Kiniry All Rights Reserved iii Preface This thesis describes a theory for representing, manipulating, and reasoning about structured pieces of knowledge in open collaborative systems. The theory's design is motivated by both its general model as well as its target user commu- nity. Its model is structured information, with emphasis on classification, relative structure, equivalence, and interpretation. Its user community is meant to be non-mathematicians and non-computer scientists that might use the theory via computational tool support once inte- grated with modern design and development tools. This thesis discusses a new logic called kind theory that meets these challenges. The core of the work is based in logic, type theory, and universal algebras. The theory is shown to be efficiently implementable, and several parts of a full realization have already been constructed and are reviewed. Additionally, several software engineering concepts, tools, and technologies have been con- structed that take advantage of this theoretical framework. These constructs are discussed as well, from the perspectives of general software engineering and applied formal methods. iv Acknowledgements I am grateful to my initial primary adviser, Prof. K. Mani Chandy, for bringing me to Caltech and his willingness to let me explore many unfamiliar research fields of my own choosing. I am also appreciative of my second adviser, Prof. Jason Hickey, for his support, encouragement, feedback, and patience through the later years of my work.
    [Show full text]
  • EMS Newsletter September 2012 1 EMS Agenda EMS Executive Committee EMS Agenda
    NEWSLETTER OF THE EUROPEAN MATHEMATICAL SOCIETY Editorial Obituary Feature Interview 6ecm Marco Brunella Alan Turing’s Centenary Endre Szemerédi p. 4 p. 29 p. 32 p. 39 September 2012 Issue 85 ISSN 1027-488X S E European M M Mathematical E S Society Applied Mathematics Journals from Cambridge journals.cambridge.org/pem journals.cambridge.org/ejm journals.cambridge.org/psp journals.cambridge.org/flm journals.cambridge.org/anz journals.cambridge.org/pes journals.cambridge.org/prm journals.cambridge.org/anu journals.cambridge.org/mtk Receive a free trial to the latest issue of each of our mathematics journals at journals.cambridge.org/maths Cambridge Press Applied Maths Advert_AW.indd 1 30/07/2012 12:11 Contents Editorial Team Editors-in-Chief Jorge Buescu (2009–2012) European (Book Reviews) Vicente Muñoz (2005–2012) Dep. Matemática, Faculdade Facultad de Matematicas de Ciências, Edifício C6, Universidad Complutense Piso 2 Campo Grande Mathematical de Madrid 1749-006 Lisboa, Portugal e-mail: [email protected] Plaza de Ciencias 3, 28040 Madrid, Spain Eva-Maria Feichtner e-mail: [email protected] (2012–2015) Society Department of Mathematics Lucia Di Vizio (2012–2016) Université de Versailles- University of Bremen St Quentin 28359 Bremen, Germany e-mail: [email protected] Laboratoire de Mathématiques Newsletter No. 85, September 2012 45 avenue des États-Unis Eva Miranda (2010–2013) 78035 Versailles cedex, France Departament de Matemàtica e-mail: [email protected] Aplicada I EMS Agenda .......................................................................................................................................................... 2 EPSEB, Edifici P Editorial – S. Jackowski ........................................................................................................................... 3 Associate Editors Universitat Politècnica de Catalunya Opening Ceremony of the 6ECM – M.
    [Show full text]
  • Notices of the American Mathematical Society
    OF THE 1994 AMS Election Special Section page 7 4 7 Fields Medals and Nevanlinna Prize Awarded at ICM-94 page 763 SEPTEMBER 1994, VOLUME 41, NUMBER 7 Providence, Rhode Island, USA ISSN 0002-9920 Calendar of AMS Meetings and Conferences This calendar lists all meetings and conferences approved prior to the date this issue insofar as is possible. Instructions for submission of abstracts can be found in the went to press. The summer and annual meetings are joint meetings with the Mathe· January 1994 issue of the Notices on page 43. Abstracts of papers to be presented at matical Association of America. the meeting must be received at the headquarters of the Society in Providence, Rhode Abstracts of papers presented at a meeting of the Society are published in the Island, on or before the deadline given below for the meeting. Note that the deadline for journal Abstracts of papers presented to the American Mathematical Society in the abstracts for consideration for presentation at special sessions is usually three weeks issue corresponding to that of the Notices which contains the program of the meeting, earlier than that specified below. Meetings Abstract Program Meeting# Date Place Deadline Issue 895 t October 28-29, 1994 Stillwater, Oklahoma Expired October 896 t November 11-13, 1994 Richmond, Virginia Expired October 897 * January 4-7, 1995 (101st Annual Meeting) San Francisco, California October 3 January 898 * March 4-5, 1995 Hartford, Connecticut December 1 March 899 * March 17-18, 1995 Orlando, Florida December 1 March 900 * March 24-25,
    [Show full text]
  • Kolmogorov Complexity in Perspective
    Kolmogorov complexity in perspective Marie Ferbus-Zanda Serge Grigorieff LIAFA, CNRS & Universit´eParis 7 LIAFA, CNRS & Universit´eParis 7 2, pl. Jussieu 2, pl. Jussieu 75251 Paris Cedex 05 France 75251 Paris Cedex 05 France [email protected] [email protected] November 4, 2018 Contents 1 Three approaches to the quantitative definition of information 2 1.1 Whichinformation? ............................... 2 1.1.1 Aboutanything.... .. .. .. 2 1.1.2 Especiallywords ............................... 3 1.2 Combinatorialapproach . .... 4 1.2.1 Constant-lengthcodes . 4 1.2.2 Variable-length prefix codes . .... 4 1.2.3 Entropy of a of distribution of frequencies . ........ 5 1.2.4 Shannon’s source coding theorem for symbol codes . ........ 6 1.2.5 Closertotheentropy. 7 1.2.6 Coding finitely many words with one word . ... 8 1.3 Probabilisticapproach . ..... 9 1.4 Algorithmicapproach . .. .. .. ... 9 1.4.1 Berry’sparadox................................ 9 1.4.2 Theturntocomputability. 10 1.4.3 Digression on computability theory . ...... 10 1.5 Kolmogorov complexity and the invariance theorem . ........... 11 1.5.1 Program size complexity or Kolmogorov complexity . ........ 11 1.5.2 Theinvariancetheorem . 12 1.5.3 Abouttheconstant.............................. 13 1.5.4 Conditional Kolmogorov complexity . ..... 13 arXiv:0801.0354v1 [math.LO] 2 Jan 2008 1.5.5 Simple upper bounds for Kolmogorov complexity . ....... 14 1.6 OracularKolmogorovcomplexity . ...... 15 2 Kolmogorov complexity and undecidability 16 2.1 K isunbounded.................................... 16 2.2 K isnotcomputable ................................. 16 2.3 K iscomputablefromabove. .. .. .. 16 2.4 Kolmogorov complexity and G¨odel’s incompleteness theorem .......... 17 3 Formalizationofrandomnessforfiniteobjects 17 3.1 Probabilities: laws about a non formalized intuition . ............. 17 3.2 The 100 heads paradoxical result in probability theory .
    [Show full text]
  • October 1983 Table of Contents
    Fairfield Meeting (October 28-29)- Page 614 San Luis Obispo Meeting (November 11-12)-Page 622 Evanston Meeting (November 11-12)-Page 630 Notices of the American Mathematical Society October 1983, Issue 228 Volume 30, Number 6, Pages 569- 712 Providence, Rhode Island USA ISSN 0002-9920 Calendar of AMS Meetings THIS CALENDAR lists all meetings which have been approved by the Council prior to the date this issue of the Notices was sent to press. The summer and annual meetings are joint meetings of the Mathematical Association of America and the Ameri· can Mathematical Society. The meeting dates which fall rather far in the future are subject to change; this is particularly true of meetings to which no numbers have yet been assigned. Programs of the meetings will appear in the issues indicated below. First and second announcements of the meetings will have appeared in earlier issues. ABSTRACTS OF PAPERS presented at a meeting of the Society are published in the journal Abstracts of papers presented to the American Mathematical Society in the issue corresponding to that of the Notices which contains the program of the meet· ing. Abstracts should be submitted on special forms which are available in many departments of mathematics and from the office of the Society in Providence. Abstracts of papers to be presented at the meeting must be received at the headquarters of the Society in Providence, Rhode Island, on or before the deadline given below for the meeting. Note that the deadline for ab· stracts submitted for consideration for presentation at special sessions is usually three weeks earlier than that specified below.
    [Show full text]
  • Mass Problems and Intuitionistic Higher-Order Logic
    Mass problems and intuitionistic higher-order logic Sankha S. Basu Department of Mathematics Pennsylvania State University University Park, PA 16802, USA http://www.personal.psu.edu/ssb168 [email protected] Stephen G. Simpson1 Department of Mathematics Pennsylvania State University University Park, PA 16802, USA http://www.math.psu.edu/simpson [email protected] First draft: February 7, 2014 This draft: August 30, 2018 Abstract In this paper we study a model of intuitionistic higher-order logic which we call the Muchnik topos. The Muchnik topos may be defined briefly as the category of sheaves of sets over the topological space consisting of the Turing degrees, where the Turing cones form a base for the topology. We note that our Muchnik topos interpretation of intuitionistic mathematics is an extension of the well known Kolmogorov/Muchnik interpretation of intuitionistic propositional calculus via Muchnik degrees, i.e., mass prob- lems under weak reducibility. We introduce a new sheaf representation of the intuitionistic real numbers, the Muchnik reals, which are different from the Cauchy reals and the Dedekind reals. Within the Muchnik topos we arXiv:1408.2763v1 [math.LO] 12 Aug 2014 obtain a choice principle (∀x ∃yA(x,y)) ⇒∃w ∀xA(x,wx) and a bound- ing principle (∀x ∃yA(x,y)) ⇒ ∃z ∀x ∃y (y ≤T (x,z) ∧ A(x,y)) where x,y,z range over Muchnik reals, w ranges over functions from Muchnik reals to Muchnik reals, and A(x,y) is a formula not containing w or z. For the convenience of the reader, we explain all of the essential back- ground material on intuitionism, sheaf theory, intuitionistic higher-order logic, Turing degrees, mass problems, Muchnik degrees, and Kolmogorov’s calculus of problems.
    [Show full text]
  • Inventing Intelligence: on the History of Complex Information Processing and Artificial Intelligence in the United States in the Mid-Twentieth Century
    UNIVERSITY OF CAMBRIDGE Inventing Intelligence: On the History of Complex Information Processing and Artificial Intelligence in the United States in the Mid-Twentieth Century This thesis is submitted for the degree of Doctor of Philosophy In History and Philosophy of Science By Jonathan Nigel Ross Penn (‘Jonnie Penn’) Pembroke College, Cambridge Examiners: Professor Simon Schaffer, University of Cambridge Professor Jon Agar, University College London Supervisor: Dr. Richard Staley, University of Cambridge Advisor: Dr. Helen Anne Curry, University of Cambridge Word Count: 78,033 Date: 14 December 2020 This thesis is the result of my own work and includes nothing which is the outcome of work done in collaboration except as declared in the Preface and specified in the text. It is not substantially the same as any that I have submitted, or, is being concurrently submitted for a degree or diploma or other qualification at the University of Cambridge or any other University or similar institution except as declared in the Preface and specified in the text. I further state that no substantial part of my thesis has already been submitted, or, is being concurrently submitted for any such degree, diploma or other qualification at the University of Cambridge or any other University or similar institution except as declared in the Preface and specified in the text. It does not exceed the prescribed word limit for the Degree Committee of the Department of History and Philosophy of Science at the University of Cambridge. Copyright Jonnie Penn, 2020. All rights reserved. 2 Abstract Inventing Intelligence: On the History of Complex Information Processing and Artificial Intelligence in the United States in the Mid-Twentieth Century In the mid-1950s, researchers in the United States melded formal theories of problem solving and intelligence with another powerful new tool for control: the electronic digital computer.
    [Show full text]
  • Topics in Programming Languages, a Philosophical Analysis Through the Case of Prolog
    i Topics in Programming Languages, a Philosophical Analysis through the case of Prolog Luís Homem Universidad de Salamanca Facultad de Filosofia A thesis submitted for the degree of Doctor en Lógica y Filosofía de la Ciencia Salamanca 2018 ii This thesis is dedicated to family and friends iii Acknowledgements I am very grateful for having had the opportunity to attend classes with all the Epimenides Program Professors: Dr.o Alejandro Sobrino, Dr.o Alfredo Burrieza, Dr.o Ángel Nepomuceno, Dr.a Concepción Martínez, Dr.o Enrique Alonso, Dr.o Huberto Marraud, Dr.a María Manzano, Dr.o José Miguel Sagüillo, and Dr.o Juan Luis Barba. I would like to extend my sincere thanks and congratulations to the Academic Com- mission of the Program. A very special gratitude goes to Dr.a María Manzano-Arjona for her patience with the troubles of a candidate with- out a scholarship, or any funding for the work, and also to Dr.o Fer- nando Soler-Toscano, for his quick and sharp amendments, corrections and suggestions. Lastly, I cannot but offer my heartfelt thanks to all the members and collaborators of the Center for Philosophy of Sciences of the University of Lisbon (CFCUL), specially Dr.a Olga Pombo, who invited me to be an integrated member in 2011. iv Abstract Programming Languages seldom find proper anchorage in philosophy of logic, language and science. What is more, philosophy of language seems to be restricted to natural languages and linguistics, and even philosophy of logic is rarely framed into programming language topics. Natural languages history is intrinsically acoustics-to-visual, phonetics- to-writing, whereas computing programming languages, under man– machine interaction, aspire to visual-to-acoustics, writing-to-phonetics instead, namely through natural language processing.
    [Show full text]
  • Parallel Bifurcation Analysis Parametrized
    Masaryk University Faculty of Informatics Jakub Kadlecaj PARALLEL BIFURCATION ANALYSIS in PARAMETRIZED BOOLEAN NETWORKS Master's thesis Brno, Spring 2020 Declaration Hereby I declare that this paper is my original authorial work, which I have worked out on my own. All sources, references, and literature used or excerpted during elaboration of this work are properly cited and listed in complete reference to the due source. Jakub Kgdlecaj i Acknowledgements Ďakujem vedúcemu tejto práce, Lubošovi Brimovi, za jeho vede­ nie počas posledných dvoch rokov. Ďakujem Samovi Pastvovi za jeho konzultácie nielen k tejto práci. Ďakujem Davidovi Šafránkovi, Nikolovi Benešovi, a dalším členom Sybily za to, že ma toho veľa naučili. Ďakujem aj mojej rodine za ich večnú podporu. ii Abstract Boolean networks provide a useful modelling tool for various phenomena from science and engineering. Any long-term behavior of a Boolean network eventually converges to a so- called attractor. Depending on various logical parameters, the structure and quality of at- tractors can undergo a significant change, known as a bifurcation. In this thesis I present Aeon—a tool for automatic analysis of attractor bifurcations in parametrized Boolean networks with asynchronous semantics. Keywords Boolean networks • attractors • bifurcation analysis iii Contents 1 Introduction 1 1.1 Historical background 1 1.2 Novelty of the approach 3 2 Preliminaries 4 2.1 Non-parametrized Boolean networks 4 2.2 Parametrized Boolean networks 9 2.3 Problem statement 12 3 The algorithm 13 3.1 Semi-symbolic
    [Show full text]
  • Mathematics and Faith by Edward Nelson Department of Mathematics Princeton University Nelson/Papers.Html ∼
    Mathematics and Faith by Edward Nelson Department of Mathematics Princeton University http:==www.math.princeton.edu= nelson=papers.html ∼ In this reflection about mathematics I shall confine myself to arith- metic, the study of the numbers 0, 1, 2, 3, 4, ::: . Everyone has at least the feeling of familiarity with arithmetic, and the issues that concern the human search for truth in mathematics are already present in arithmetic. Here is an illustration of research in arithmetic. About 2500 years ago, the Pythagoreans defined a number to be perfect in case it is the sum of all its divisors other than itself. Thus 6 = 1 + 2 + 3 and 28 = 1 + 2 + 4 + 7 + 14 are perfect. The Pythagoreans, or perhaps Eu- n n n 1 clid himself, proved that if 2 1 is a prime, then (2 1) 2 − is perfect.1 More than 2000 years− later, Euler proved that every− even· per- fect number is of this form. This left open the question whether there exists an odd perfect number. The search for an odd perfect number or, alternatively, for a proof that no odd perfect number exists, continues today, several centuries after Euler and in the fourth millennium from Pythagoras. No other field of human endeavor so transcends the barriers of time and culture. What accounts for the astounding ability of Pythagoras, Euler, and mathematicians of the 21st century to engage in a common pursuit? Of the three schools of thought on the foundations of mathematics| Platonic realism, intuitionism, and formalism|the Platonists offer what seems to be the simplest explanation.
    [Show full text]