This section is about mathematical logic and foundations of mathematics. (So it roughly corresponds to section 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. Logic and Foundations Math Science.
Logic (from the Ancient Greek: λογική, logike ) originally meaning the word, or what is spoken, (but coming to mean thought or reason ) is generally held to consist of the systematic study of the form of arguments. (wikipedia)
- Hyper-textbook Introduction to Mathematical Logic www
Hyper-textbook for students by V. Mathematical Logic. Detlovs and K. Podnieks. Introduction to Mathematical Logic.
- Main Computability Logic Homepage www
Main online source on computability logic - a recently emerged formal theory of computational tasks and resources. Logic Homepage. Maintained by G.Japaridze. Computability Logic Homepage.
- Introduction Classical Logic www
Introduction to classical logic, Logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro. Classical Logic.
- From Mathematical Logic and Foundations www
From The Mathematical Atlas, Logic and Foundations, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory. Mathematical Logic and Foundations.
- Compares Mind Versus Goedel by Damjan Bojadziev www
Compares the mind to advanced computers and artificial intelligence, Versus Goedel by Damjan Bojadziev, as Goedel would possibly view them. Mind Versus Goedel by Damjan Bojadziev.
- A Mathematical Logic around the World www
A collection of links to logic-related websites. Mathematical Logic around the World.
- Section CT Category Theory www
Section of the e-print arXiv dealing with category theory, Category Theory, including such topics as: enriched categories, topoi, abelian categories, monoidal categories, homological algebra. CT Category Theory.
- Notes Groupoids www
Notes by Ronald Brown. Groupoids.
- The Hypercomputation Research Network www
The study of computation beyond that defined by the Turing machine, Research Network, also known as super-Turing, non-standard or non-recursive computation. Links to people, resources and discussions. Hypercomputation Research Network.
- The Computability and Complexity in Analysis Network www
The CCA Network provides some useful information for researchers working in the field of computability and complexity in analysis. Computability and Complexity in Analysis Network.
- Category Logic and Set Theory www
Category of Topics in Mathematics (MathArchives). Logic and Set Theory.
- Section Mathematical Logic and Foundations www
Section of Math Guide. Mathematical Logic and Foundations.
- A Formal Methods Educational Materials www
A repository for information related to formal methods in education, Methods Educational Materials, including pointers to existing courses and suggestions for examples and projects. Formal Methods Educational Materials.
- Includes University of Alberta Logic Course www
Includes an introduction to logic and formal systems, Alberta Logic Course, revolving around the Mizar proof checker, and a guide to Mizar. University of Alberta Logic Course.
- Reviews Foundations of Mathematics www
Reviews the foundations of mathematics with reference materials structured as content pages of a book. Mathematics. Includes links to expository materials. Foundations of Mathematics.
- The Hilbert II - Mathematical Foundation Project www
The Goal of Hilbert II, - Mathematical Foundation Project, which is in the tradition of Hilbert's program, is the creation of a system that enables a working mathematician to put theorems and proofs (in the formal language of predicate calculus) into it. Hilbert II - Mathematical Foundation Project.
- Textes Rambaud, Alexandre www
Textes de séminaires d'introduction à la logique: théorie des modèles, Alexandre, théorie des ensembles et récursivité. Rambaud, Alexandre.
- Articles Girard, Jean-Yves www
Articles et cours de théorie de la démonstration. Girard, Jean-Yves.
- Dave The Mathematical Atlas www
Dave Rusin's survey of research-level mathematics, Mathematical Atlas, with introductory articles for non-mathematicians and hyperlinked bibliographies in each of dozens of research areas. The Mathematical Atlas.
- Combined Mathematics Archives www
Combined archive and directory of math web sites, Archives, mailing lists, and teaching materials. Located at University of Tennessee. Mathematics Archives.
- Alexa: Logic and Foundations Math
Alexa Directory Top Sites: Logic and Foundations Math
- DMOZ: Logic and Foundations Math
dmoz.org Directory: Logic and Foundations Math