|
one of the largest directories of the web |
|
Home : Science : Math : Logic and Foundations
Logic and Foundations
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.
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.
Sites in Logic and Foundations
Mathematical Logic and Foundations
From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory.
Abstract Service
An archive of abstracts of logic articles at the Institute for Logic, University of Vienna.
Math Front: LO Logic
Front end for the logic section of the mathematics e-print arXiv.
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.
Logic
Wikipedia article.
Logic
Open Encyclopedia entry. Hierarchically organized by subareas. |
|
sub categories in Logic and Foundations |
|
cross references
Computers : Artificial Intelligence : Philosophy Computers : Programming : Languages : Logic-based Society : Philosophy : Philosophy of Language Society : Philosophy : Philosophy of Science : Mathematicsother references
this category in other languages
