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)
- 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.
- Introduction Classical Logic www
Introduction to classical logic, Logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro. Classical Logic.
- Hyper-textbook Introduction to Mathematical Logic www
Hyper-textbook for students by V. Mathematical Logic. Detlovs and K. Podnieks. Introduction to Mathematical 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.
- A Mathematical Logic around the World www
A collection of links to logic-related websites. Mathematical Logic around the World.
- 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.
- An Categorical Myths and Legends www
An archive of stories about category theorists. Categorical Myths and Legends.
- 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.
- Wikipedia Interactive Computation www
Wikipedia article. Interactive Computation.
- An Computability and Complexity www
An online course on complexity. Computability and Complexity.
- Section Mathematical Logic and Foundations www
Section of Math Guide. Mathematical Logic and Foundations.
- Groups Logic and Set Theory www
Groups and conferences. Logic and Set Theory.
- Problems The Daily Translation www
Problems on translation into a logical system, Daily Translation, drawn from the current news and updated daily. The Daily Translation.
- A The Logic Classroom www
A course in basic logic consisting of 5 studies with exercises and answers to promote the learning of logic. Logic Classroom. Homeschool, college, and seminary students. The Logic Classroom.
- 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.
- 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.
- Présentation Qu'est-ce que la théorie des modèles www
Présentation vulgarisée de quelques notions et résultats modernes en ce domaine. Qu'est-ce que la théorie des modèles.
- Son Ruet, Paul www
Son cours de deuxième année de Master est une introduction à la logique, Paul, à la calculabilité et à la complexité algorithmique. Ruet, Paul.
- 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.
- Article How to Read Mathematics www
Article categorizes some of the strategies for a mathematics reading protocol. How to Read Mathematics.
- 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