This category is about mathematical logic and foundations of mathematics. (So it roughly corresponds to category 03-XX in the 1991 Mathematical Sciences Classification.) Major related subjects outside mathematics are computer science at one end, and philosophical logic at the other.If you are looking for basic, non-technical information on logic, you may want to look at the subcategories Encylopedia Articles and Educational Resources.If you think your site or one that you have come across fits here: please submit it. If not sure give it to us anyway ... we will do our best to find where it belongs.
Top / Science / Math / Logic and Foundations

Logic and Foundations

Sub Directory

  • Computability
  • Computational Logic
  • Directories
  • Education
  • Foundations
  • Game Semantics
  • History
  • Institutions
  • Knowledge Representation and Planning
  • Meetings
  • Model Theory
  • Nonstandard Logics and Extensions
  • Online Discussion Groups
  • Organizations
  • People
  • Proof Theory
  • Publications
  • Set Theory
  • Software

    • Relate Directory

  • Artificial Intelligence / Philosophy
  • Languages / Logic-based
  • Philosophy / Philosophy of Language
  • Philosophy of Science / Mathematics

    • Alias Directory

  • Category Theory
  • Philosophy of Logic

    • Site

  • Mathematical Logic and Foundations
    From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory.
  • Mind Versus Goedel by Damjan Bojadziev
    Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them.
  • Classical Logic
    Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.
  • Mathematical Logic around the World
    A rich collection of links to logic-related websites.
  • Introduction to Mathematical Logic
    Hyper-textbook for students by V. Detlovs and K. Podnieks.
  • Computability Logic Homepage
    Main online source on computability logic - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze.

    • Web Search

  • The Math Forum - Math Library - Logic/Foundations
    URL : mathforum.org/library/topics/logic
    Mathematical Logic and Foundations - Dave Rusin; The Mathematical Atlas. A short article designed to provide an introduction to mathematical deduction. ...[2010/03/11]
  • Logic and Foundations of Mathematics & Computer Science
    URL : logic.math.uoa.gr
    Logic and Foundations of Mathematics & Computer Science ... ESSLLI 2010 - The European Summer School in Logic, Language and Information Feb 02, 2010 ...[2010/03/13]
  • Mathematical Logic and Foundations
    URL : www.math.niu.edu/~rusin/known-math/index/03-XX.html
    From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory.[2010/03/19]
  • Foundations of Mathematics
    URL : sakharov.net/foundation.html
    Reviews the foundations of mathematics with reference materials structured as content pages of a book. Includes links to expository materials.[2009/02/19]
  • Foundations of mathematics - Wikipedia, the free encyclopedia
    URL : en.wikipedia.org/wiki/Foundations_of_mathematics
    Foundations of mathematics is a term sometimes used for certain ... In this view, the laws of nature and the laws of mathematics have a similar status, and the effectiveness ...[2010/03/13]
  • Academia.edu | People who have Logic And Foundations Of ...
    URL : academia.edu/People/.../Logic_And_Foundations_Of_Mathematics
    Academia.edu helps academics find out who's researching what. ... People who have Logic And Foundations Of Mathematics as a research interest (112) ...[2010/03/18]
  • UM Mathematics-Logic
    URL : www.math.lsa.umich.edu/research/logic
    The permanent faculty who specialize in Logic and Foundations are Peter G. Hinman and Andreas R. Blass. ... Math 481 and 582 are largely taken by undergraduate concentrators in ...[2010/02/23]
  • The Foundations of Mathematics
    URL : www.rbjones.com/rbjpub/philos/maths/faq005.htm
    Mathematics is a logical science, cleanly structured, and well-founded. ... The methods of mathematics are deductive, and logic therefore has a fundamental role in ...[2007/08/20]
  • Second-Order Logic and Foundations of Mathematics
    URL : www.math.helsinki.fi/logic/people/jouko.vaananen/VaaSec.pdf
    order logic is based on rules and axioms ([Hen50]) which guarantee that the ... For the foundations of mathematics and attempts to formalize mathematics ...[2001/08/21]
  • Talk:Mathematical logic/archive 1 - Wikipedia, the free ...
    URL : en.wikipedia.org/wiki/Talk:Mathematical_logic/archive_1
    A section on Foundations of mathematics is promised by the intro, and ... I have yet to find a nexus between logic and math, so in my humble opinion, there is no ...[2010/01/17]
    • Top / Science / Math / Logic and Foundations
    Help build the largest human-edited directory on the web.
    Submit a Site - Open Directory Project - Become an Editor
    ©www.freeaq.net - 2010
    POWERED BY FreeBSD 7.0