Open Directory - Science: Math: Logic and Foundations

Description

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

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

See also:

Computers: Artificial Intelligence: Philosophy (32)
Computers: Programming: Languages: Logic-based (43)
Society: Philosophy: Philosophy of Language (74)
Society: Philosophy: Philosophy of Science: Mathematics (26)

This category in other languages:

French (22)
German (10)
Italian (4)
Japanese (5)
Polish (9)
Russian (2)
Spanish (8)

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.

Usenet sci.logic - news: - Google Groups

"Logic and Foundations" search on: AOL - Ask - Bing - Gigablast - Google - Lycos - Yahoo - Yippy

Visit our sister sites mozilla.org | MusicMoz | Wikipedia

Last update: Saturday, October 1, 2011 11:41:30 PM EDT - edit

Description

Top
: Science
: Math
: Logic and Foundations
: Set Theory (58)

Open Directory - Science: Math: Logic and Foundations: Set Theory

People (36)

A Crash Course in the Mathematics of Infinite Sets - A introductory guide for philosophers by Peter Suber, explaining the use of infinitary set theory.
A New System of Axioms Instead of ZF - The page claims that "the axioms shown below have the contents that should overturn the set theory of today".
Axiom of Choice and Continuum Hypothesis - Part of the Frequently Asked Questions in Mathematics.
Bounded Set Theory - A weak version of ordinary set theory using bounded quantification. Papers and software.
Cantor's Theorem - Article in the Platonic Realms, describing Cantor's diagonal argument that showed that 'infinite integers' can be ordered.
Consequences of the Axiom of Choice Project - Project to keep the book (also named in the title), describing forms related to the Axiom of Choice and their implications, updated.
Equivalence Relation - Encyclopedia entry on equivalence relations and their role in set theory.
Extending Set Theory - Extends the language of set theory through restricted self-reference and through certain large cardinals. Also discusses higher order set theory and axiomatization through reflection principles.
Infinite Ink: The Continuum Hypothesis, by Nancy McGough - History, mathematics, metamathematics, and philosophy of Cantor's Continuum Hypothesis.
Metamath Proof Explorer - Over 3000 complete formal proofs deriving numbers and beyond from Zermelo-Fraenkel set theory axioms.
New Foundations - Set theory introduced by W. V. O. Quine in 1937. This is a refinement of Russell's theory of types based on the observation that the types in Russell's theory look the same, as far as one can apparently prove.
Programming with Sets - Using set-theoretic primitives as a conceptual tool in programming, includes discussion of SETL and MIRANDA languages.
Set Theoretic Analysis. - On a part of math where Set Theory, Topology and Analysis meet. Has surveys, preprints, conference announcements, book reviews and problems.
Set Theorists - A list of email addresses and affiliations.
Set Theory - Directory of set theorists, maintained by Jean A. Larson.
Set Theory - From Dave Rusin's "Known Math" collection.
Set Theory - Survey from the Stanford Encyclopedia of Philosophy by Thomas Jech.
Set Theory for the Working Mathematician - Krzysztof Ciesielski, CUP (1997). Contents and preface.
Shelah's Archive - Listing of all articles by Saharon Shelah, and links to many of them.
The Axiom of Choice - This page gives a brief explanation of the Axiom of Choice and links to other related websites.
The Beginnings of Set Theory - MacTutor History of Mathematics topic.
The Future of Set Theory by S. Shelah - The text of a talk given around the millennium.

"Set Theory" search on: AOL - Ask - Bing - Gigablast - Google - Lycos - Yahoo - Yippy

Volunteer to edit this category.

Visit our sister sites mozilla.org | MusicMoz | Wikipedia

Last update: Saturday, February 13, 2010 5:22:14 PM EST - edit

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

Submit a Site - Open Directory Project - Become an Editor

About Serebella.com