Jump to main content

Top: Science: Math: Logic and Foundations (696)

DescriptionThis 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.

Knowledge Representation and Planning (2)
Model Theory (4)
Nonstandard Logics and Extensions (114)
Philosophy of Logic@
Proof Theory (13)
Set Theory (56)

See also:

This category in other languages
- French
- German
- Italian
- Japanese
- Polish
- Russian
- Spanish

Classical Logic - Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.
Computability Logic Homepage - Main online source on computability logic - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze.
Introduction to Mathematical Logic - Hyper-textbook for students by V. Detlovs and K. Podnieks.
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.

Visit our sister sites:
mozilla.org
ChefMoz
MusicMoz
Open-Site
Wikipedia

Volunteer to edit this category.

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor

Last update: Apr 28, 2012 18:35:01. Phy.org is a private web site, powered by the Open Directory Project.