All sites of Mathematics

Jan Lukasiewicz Jan Lukasiewicz
Jan Lukasiewicz- Biography from the MacTutor History of Mathematics archive. ...
Jan Lukasiewicz Jan Lukasiewicz
Jan Lukasiewicz- Short biography from Wikipedia. ...
Jan Lukasiewicz Jan Lukasiewicz
Jan Lukasiewicz- Summary of his life and work. ...
Lukasiewicz in Dublin 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. ...
Charles Sanders Peirce Charles Sanders Peirce
Charles Sanders Peirce- Essay from Encephi, by Robert Tremblay (in French). ...
Peirce's Logic Peirce's Logic
Peirce's Logic- Entry from the Stanford Encyclopedia. ...
Charles S. Peirce Charles S. Peirce
Charles S. Peirce- Biography from the MacTutor History of Mathematics archive. ...
Beklemishev, Lev Beklemishev, Lev
Beklemishev, Lev- Utrecht University, the Netherlands and Steklov Mathematical Institute, Russia. ...
Charles Sanders Peirce 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. Entry from the Stanford Encyclopedia by Rober ...
Transactions of the Charles S. Peirce Society 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. ...
Thoralf Skolem (1887-1963) Thoralf Skolem (1887-1963)
Thoralf Skolem (1887-1963)- Biography from MacTutor History of mathematics archive. ...
Alfred Tarski Alfred Tarski
Alfred Tarski- Biography from MacTutor History of Mathematics archive. ...
The Bulletin of Symbolic Logic, June 1999 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. ...
The Semantic Conception of Truth The Semantic Conception of Truth
The Semantic Conception of Truth- Famous paper by Alfred Tarski (1944). ...
The Church-Turing Thesis The Church-Turing Thesis
The Church-Turing Thesis- Article from the Stanford Encyclopedia. ...
Alan Mathison Turing Alan Mathison Turing
Alan Mathison Turing- Undergraduate biographical essay by John M. Kowalik. ...
Alan Turing Alan Turing
Alan Turing- Biography from the MacTutor History of Mathematics archive. ...
Alan Mathison Turing (1912-1954) 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 War II, he was persecuted for his homosex ...
Alan Turing Archive Alan Turing Archive
Alan Turing Archive- Archive and historical records pertaining to the work of computing pioneer Alan Turing. ...
On Computable Numbers with an Application to the Entscheidungsproblem 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 Papers Alan Turing Papers
Alan Turing Papers- Collection record of Turings papers at Kings College, Cambridge. ...
Alan Turing Alan Turing
Alan Turing- Encyclopedia biography from Wikipedia. ...
Alan Turing Alan Turing
Alan Turing- Biographical entry in the FOLDOC. ...
Alan Turing: Inquest’s suicide verdict “not supportable” 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. ...
Turing Digital Archive Turing Digital Archive
Turing Digital Archive- Digital archive of items relating to Alan Turing hosted at King's College, Cambridge. ...
Alan Turing Year Alan Turing Year
Alan Turing Year- Site for the 2012 Turing Centenary. Comprehensive list of events. ...
What was Alan Turing really like? What was Alan Turing really like?
What was Alan Turing really like?- The BBC interviews two women who, as children, knew Alan Turning. ...
Ernst Zermelo Ernst Zermelo
Ernst Zermelo- Biography from the MacTutor History of Mathematics archive. ...
Ernst Friedrich Ferdinand Zermelo 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 made by this person. ...
Mendel, Jerry Mendel, Jerry
Mendel, Jerry- University of Southern Carolina, USA. ...
Zadeh, Lofti Zadeh, Lofti
Zadeh, Lofti- University of California - Berkeley, USA. ...
Kruse, Rudolf Kruse, Rudolf
Kruse, Rudolf- University of Magdeburg, Germany. ...
Cornelis, Chris Cornelis, Chris
Cornelis, Chris- University of Ghent, Belgium. ...
De Cock, Martine De Cock, Martine
De Cock, Martine- Ghent University, Belgium. Research project: intelligent information technologies for the internet. ...
Martin-Löf Type Theory: Semantics and Proof Theory 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. ...
Extensional Concepts in Intensional 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 reconciled with the classical, extensional ...
Nuprl Project Related Web Sites Nuprl Project Related Web Sites
Nuprl Project Related Web Sites- NuPRL is the oldest theorem prover based on Martin-Löf's Type Theory. ...
Freiburg Freiburg
Freiburg- Institute for Mathematical Logic and Foundations of Mathematics. ...
Heidelberg Heidelberg
Heidelberg- Mathematical Logic. ...
Implementing Mathematics Using NuPrl 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 formalisations of constructive mathematics in the N ...
Japaridze, Giorgi Japaridze, Giorgi
Japaridze, Giorgi- Villanova University, USA. ...
Van Benthem, Johan Van Benthem, Johan
Van Benthem, Johan- University of Amsterdam, the Netherlands and Stanford University, USA. ...
Giorgi Japaridze's Publications Giorgi Japaridze's Publications
Giorgi Japaridze's Publications- Full list of publications by this author, with about 30 items devoted to computability and interpretability logics. Many of the papers are downloadable. ...
Game Semantics or Linear Logic? Game Semantics or Linear Logic?
Game Semantics or Linear Logic?- A discussion of how linear logic relates to computability logic - the game-sematically introduced logic of computational resources and interactive computation. ...
Seminar on Linear Logic and Applications Seminar on Linear Logic and Applications
Seminar on Linear Logic and Applications- Organised by Frank Pfenning at Carnegie-Mellon. ...
Phil Wadler's Linear Logic Publications Phil Wadler's Linear Logic Publications
Phil Wadler's Linear Logic Publications- Includes his tutorial paper "A taste of linear logic". ...
Linear Logic Semantics Linear Logic Semantics
Linear Logic Semantics- A long reply by Vaughan Pratt to a question on the linear logic mailing list by the late Jon Barwise. ...
The Linear Logic Pages The Linear Logic Pages
The Linear Logic Pages- An overview of the current knowledge in Linear Logic. ...
Linear Logic Papers by Andreas Blass Linear Logic Papers by Andreas Blass
Linear Logic Papers by Andreas Blass- Collection of downloadable papers on linear logic and game semantics by A. Blass. ...
Bibliography on Linear Logic Bibliography on Linear Logic
Bibliography on Linear Logic- A list of over 400 papers on linear logic. Many of the papers are downloadable. ...

Latest sites from Mathematics