Mathematics

Beklemishev, Lev Beklemishev, Lev- Utrecht University, the Netherlands and Steklov Mathematical Institute, Russia. Van Benthem, Johan Van Benthem, Johan- University of Amsterdam, the Netherlands and Stanford University, USA. Japaridze, Giorgi Japaridze, Giorgi- Villanova University, USA. Implementing Mathematics Using NuPrl Implementing Mathematics Using NuPrl- Full online text of the book. Includes tutorial on Martin-Löf's type theory, motivating remarks on intuitionism, as well as sample formalisat… Nuprl Project Related Web Sites Nuprl Project Related Web Sites- NuPRL is the oldest theorem prover based on Martin-Löf's Type Theory. Extensional Concepts in Intensional Type Theory Extensional Concepts in Intensional Type Theory- PhD thesis of Martin Hofmann, which shows how the intensional, constructive view of equality in Martin-Löf's Type Theory can be re… Martin-Löf Type Theory: Semantics and Proof Theory Martin-Löf Type Theory: Semantics and Proof Theory- Home page of a working group maintained by Thierry Coquand. De Cock, Martine De Cock, Martine- Ghent University, Belgium. Research project: intelligent information technologies for the internet. Cornelis, Chris Cornelis, Chris- University of Ghent, Belgium. Kruse, Rudolf Kruse, Rudolf- University of Magdeburg, Germany. Zadeh, Lofti Zadeh, Lofti- University of California - Berkeley, USA. Mendel, Jerry Mendel, Jerry- University of Southern Carolina, USA. Ernst Friedrich Ferdinand Zermelo Ernst Friedrich Ferdinand Zermelo- Describes educational background and motivation towards working on set theory and the continuum hypothesis. Page lists other major contributions… Ernst Zermelo Ernst Zermelo- Biography from the MacTutor History of Mathematics archive. What was Alan Turing really like? What was Alan Turing really like?- The BBC interviews two women who, as children, knew Alan Turning. Alan Turing Year Alan Turing Year- Site for the 2012 Turing Centenary. Comprehensive list of events. Turing Digital Archive Turing Digital Archive- Digital archive of items relating to Alan Turing hosted at King's College, Cambridge. Alan Turing: Inquest’s suicide verdict “not supportable” Alan Turing: Inquest’s suicide verdict “not supportable”- The BBC reports on new doubt about whether Alan Turning committed suicide. Alan Turing Alan Turing- Biographical entry in the FOLDOC. Alan Turing Alan Turing- Encyclopedia biography from Wikipedia. Alan Turing Papers Alan Turing Papers- Collection record of Turings papers at Kings College, Cambridge. Alan M. Turing Alan M. Turing- Entry from the Stanford Encyclopedia of Philosophy by Andrew Hodges. On Computable Numbers with an Application to the Entscheidungsproblem On Computable Numbers with an Application to the Entscheidungsproblem- Turing's paper which discusses the halting problem in the context of Gödel's Incompleteness Theorem. HTML. Alan Turing Archive Alan Turing Archive- Archive and historical records pertaining to the work of computing pioneer Alan Turing. Alan Mathison Turing (1912-1954) Alan Mathison Turing (1912-1954)- British mathematician, cryptographer, and one of the key inventors of the modern computer. After his profound contributions to helping win World … Alan Turing Alan Turing- Biography from the MacTutor History of Mathematics archive. Alan Mathison Turing Alan Mathison Turing- Undergraduate biographical essay by John M. Kowalik. The Church-Turing Thesis The Church-Turing Thesis- Article from the Stanford Encyclopedia. The Semantic Conception of Truth The Semantic Conception of Truth- Famous paper by Alfred Tarski (1944). The Bulletin of Symbolic Logic, June 1999 The Bulletin of Symbolic Logic, June 1999- Contains paper on Tarski's system of geometry, by Tarski and Givant. Alfred Tarski Alfred Tarski- Biography from MacTutor History of Mathematics archive. Thoralf Skolem (1887-1963) Thoralf Skolem (1887-1963)- Biography from MacTutor History of mathematics archive. Transactions of the Charles S. Peirce Society Transactions of the Charles S. Peirce Society- Journal specializing in the history of American philosophy. Includes list of editors, table of contents and subscription information. Charles Sanders Peirce Charles Sanders Peirce- Discusses the scientist's interest in infinite sets, probability theory, two distinct kinds of induction and other topics. Includes a brief biography. Entr… Charles S. Peirce Charles S. Peirce- Biography from the MacTutor History of Mathematics archive. Peirce's Logic Peirce's Logic- Entry from the Stanford Encyclopedia. Charles Sanders Peirce Charles Sanders Peirce- Essay from Encephi, by Robert Tremblay (in French). Charles S. Peirce Studies Charles S. Peirce Studies- Web site devoted to the life and works of C. S. Peirce. Lukasiewicz in Dublin Lukasiewicz in Dublin- An International Conference on the work of Jan Lukasiewicz - Dublin, July 7-10 1996. Scientific summary by two authors. Jan Lukasiewicz Jan Lukasiewicz- Summary of his life and work. Jan Lukasiewicz Jan Lukasiewicz- Short biography from Wikipedia. Jan Lukasiewicz Jan Lukasiewicz- Biography from the MacTutor History of Mathematics archive. Hilbert's Program Hilbert's Program- In 1921, David Hilbert made a proposal for a formalist foundation of mathematics, for which a finitary consistency proof should establish the security of mathem… Hilbert's Problems Hilbert's Problems- Article in the Platonic Realms. Lists 23 problems posed to the second international mathematics congress in 1900 AD. David Hilbert David Hilbert- Brief biography with references. Mathematical Problems of David Hilbert Mathematical Problems of David Hilbert- Text of Hilbert's 1900 address in English. David Hilbert David Hilbert- Biography from the MacTutor History of Mathematics Archive. Kurt Gödel Kurt Gödel- A brief biography of the man. Kurt Gödel Kurt Gödel- Portraits and photographs, including some of his family. Kenny's Overview of Hofstadter's Explanation of Gödel's Theorem Kenny's Overview of Hofstadter's Explanation of Gödel's Theorem- A reasonably detailed explanation of Godel's Theorem by Kenny Felder.