Canadian Content hasn't compiled information about yet!
This page was last updated on October 7th, 2008
This page was last updated on October 7th, 2008
Set Theory (from Logic and Foundations)
Canadian Content » Science » Math » Logic_and_Foundations » Set_Theory »
Programming with Sets
Using set-theoretic primitives as a conceptual tool in programming, includes discussion of SETL and MIRANDA languages.
The Future of Set Theory by S. Shelah
The text of a talk given around the millennium.
Metamath Proof Explorer
Over 3000 complete formal proofs deriving numbers and beyond from Zermelo-Fraenkel set theory axioms.
Set Theoretic Analysis.
On a part of math where Set Theory, Topology and Analysis meet. Has surveys, preprints, conference announcements, book reviews and problems.
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.
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.
Set Theory Page
Collection of links related to set theory.
Set Theory for the Working Mathematician
Krzysztof Ciesielski, CUP (1997). Contents and preface.
Equivalence Relation
Encyclopedia entry on equivalence relations and their role in set theory.
Bounded Set Theory
A weak version of ordinary set theory using bounded quantification. Papers and software.
Cantor's Donut Paradox
Reassessing Uncountability and the Continuum Hypothesis with Reference to a Novel Geometrical Analogue of the Aleph Series.
Cantor's Theorem
Article in the Platonic Realms, describing Cantor's diagonal argument that proved that infinity comes in many different 'sizes'.
Set Theory
From Dave Rusin's "Known Math" collection.
Infinite Ink: The Continuum Hypothesis, by Nancy McGough
History, mathematics, metamathematics, and philosophy of Cantor's Continuum Hypothesis
Set Theorists
A list of email addresses and affiliations.
The Mathematics of Set Theory
Detailed description of parts of introductory set theory.
Axiom of Choice and Continuum Hypothesis
Part of the Frequently Asked Questions in Mathematics.
Set Theory People
Directory of set theorists.
Shelah's Archive
Listing of all articles by Saharon Shelah, and links to many of them.
Operational Set Theory
Description, errata and reviews of a book by Luis E. Sanchis.
The Beginnings of Set Theory
MacTutor History of Mathematics topic.
The Axiom of Choice
This page gives a brief explanation of the Axiom of Choice and links to other related websites.
A Crash Course in the Mathematics of Infinite Sets
A introductory guide for philosophers by Peter Suber, explaining the use of infinitary set theory.
Issues in Commonsense Set Theory
Paper by Müjdat Pakkan and Varol Akman
Using set-theoretic primitives as a conceptual tool in programming, includes discussion of SETL and MIRANDA languages.
The text of a talk given around the millennium.
Over 3000 complete formal proofs deriving numbers and beyond from Zermelo-Fraenkel set theory axioms.
On a part of math where Set Theory, Topology and Analysis meet. Has surveys, preprints, conference announcements, book reviews and problems.
Project to keep the book (also named in the title), describing forms related to the Axiom of Choice and their implications, updated.
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.
Collection of links related to set theory.
Krzysztof Ciesielski, CUP (1997). Contents and preface.
Encyclopedia entry on equivalence relations and their role in set theory.
A weak version of ordinary set theory using bounded quantification. Papers and software.
Reassessing Uncountability and the Continuum Hypothesis with Reference to a Novel Geometrical Analogue of the Aleph Series.
Article in the Platonic Realms, describing Cantor's diagonal argument that proved that infinity comes in many different 'sizes'.
From Dave Rusin's "Known Math" collection.
History, mathematics, metamathematics, and philosophy of Cantor's Continuum Hypothesis
A list of email addresses and affiliations.
Detailed description of parts of introductory set theory.
Part of the Frequently Asked Questions in Mathematics.
Directory of set theorists.
Listing of all articles by Saharon Shelah, and links to many of them.
Description, errata and reviews of a book by Luis E. Sanchis.
MacTutor History of Mathematics topic.
This page gives a brief explanation of the Axiom of Choice and links to other related websites.
A introductory guide for philosophers by Peter Suber, explaining the use of infinitary set theory.
Paper by Müjdat Pakkan and Varol Akman
Logic and Foundations >> Set Theory yielded other results on Canadian Content:
thought experiments
thought experiments Philosophy Discussion
thought experiments Philosophy Discussion
Intelligent Design and Intelligence Denial
Page 2-Intelligent Design and Intelligence Denial Philosophy Discussion
Page 2-Intelligent Design and Intelligence Denial Philosophy Discussion
Conservative Lounge Forum
Conservative Lounge, Page - A place for conservatives to chat and discuss issues.
Conservative Lounge, Page - A place for conservatives to chat and discuss issues.
Canadian Politics [Archive] - Canadian Content Forums
[Archive] We discuss national politics and Canada's place in the world.
[Archive] We discuss national politics and Canada's place in the world.
Conservative Lounge [Archive] - Canadian Content Forums
[Archive] A place for conservatives to chat and discuss issues.
[Archive] A place for conservatives to chat and discuss issues.
|
 |
-
