the entire directory only in this category

Math Logic and Foundations

You have found the way to Logic and Foundations on Math:

PowerTao Home » Science » Math » Logic and Foundations

Category Theory@  (36) Computability  (9) Computational Logic  (34) Foundations  (7) Game Semantics  (13) History  (92)

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

Directories  (11) Education  (17) Meetings  (125) Online Discussion Groups  (3) Organizations  (13)

People  (114) Publications  (26) Research Groups and Centers  (58) Software  (26)

See also:

• Computers: Artificial Intelligence: Philosophy  (34)
• Computers: Programming: Languages: Logic-based  (38)
• Society: Philosophy: Philosophy of Language  (70)
• Society: Philosophy: Philosophy of Science: Mathematics  (27)

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.

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

Submit a Site - Open Directory Project - Become an Editor