Top » Science » Math » Logic_and_Foundations

Deprecated: Function eregi_replace() is deprecated in /home/chroot/home/sports/htdocs/index.php on line 128

Deprecated: Function ereg_replace() is deprecated in /home/chroot/home/sports/htdocs/index.php on line 129

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.

Category_Theory@	Philosophy_of_Logic@
Philosophy	Logic-based
Computability	Computational Logic
Directories	Education
Foundations	Game Semantics
History	Institutions
Knowledge Representation and Planning	Meetings
Model Theory	Nonstandard Logics and Extensions
Organizations	People
Proof Theory	Publications
Set Theory	Software
Philosophy of Language	Mathematics
NewsGroup (Usenet)

• Abstract Service An archive of abstracts of logic articles at the Institute for Logic, University of Vienna.
• Abstract Service for Mathematical Logic By the Kurt Gödel Research Center for Mathematical Logic at the University of Vienna.
• Classical Logic Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.
• Classical Logic Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.
• Computability Logic Main web source on the subject: overview, downloadable articles, links.
• 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.
• Logic Wikipedia article.
• Logic Open Encyclopedia entry. Hierarchically organized by subareas.
• Math Front: LO Logic Front end for the logic section of the mathematics e-print arXiv.
• Mathematical Logic and Foundations From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory.
• Mathematical Logic around the World A rich collection of links to logic-related websites.
• Mathematical Logic around the world A service provided by the Mathematical Logic Group in Bonn
• Mind Versus Goedel by Damjan Bojadziev Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them.

 

 

Copyright ©2000-2012 SPORT FR (63.92ms)

Apportez votre contribution à l'annuaire le plus complet du Web (avec évaluateurs « humains » !). Proposer un site - Open Directory Project - Devenir évaluateur de site