Logic and Foundations Math

Logic and Foundations Math

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

See Also:

- Open Encyclopedia entry. Hierarchically organized by subareas.
- From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory.
- An archive of abstracts of logic articles at the Institute for Logic, University of Vienna.
- Hyper-textbook for students by V. Detlovs and K. Podnieks.
- Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.
- A rich collection of links to logic-related websites.
- Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them.
- Main online source on computability logic, - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze.
- Front end for the logic section of the mathematics e-print arXiv.

Newsgroups:

Usenet sci.logic - news: - Google Groups

MySQL - Cache Direct sec.