Accueil
Plan du site
Bloc notes
Jeux
Graphes
Combinatoire
Arithmétique
Algèbre
Analyse
Probabilités
Automates
Programmation
Divers
Liens
Home

Worst EU Lobbying
Awards 2007
Votez maintenant

UniversitySurf.net
Votre portail e-Learning

CultureMATH
ENSup. et Minist. EN

On-Line Encyclopedia
of Integer Sequences

Séminaire MaMuX
Mathématiques, musique et relations avec d'autres disciplines

L'INVERSEUR
de Plouffe

ZOHO^® permet de lire les documents doc ppt pdf...
Cliquez ici

Théorie des Ensembles - Set Theory

PAGES WEB

Set Theory and Foundations

<http://www.seanet.com/~ksbrown/ifoundat.htm>

New Foundations home page

The subject of the home page which is developing here is the set theory "New Foundations", first 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.

<http://math.boisestate.edu/~holmes/holmes/nf.html>

Axiome du Choix

David Madore

<http://www.eleves.ens.fr:8080/home/madore/math/ac_var.html>

L'axiome du choix

Xavier Caruso

Les axiomes de ZF. Axiome du choix. Axiome de détermination.

<http://boumbo.toonywood.org/xavier/maths/choix.html>

A Survey of Venn Diagrams

Frank Ruskey

<http://www.combinatorics.org/Surveys/ds5/VennEJC.html>

ASSOCIATIONS

Ensor Computing Set Theory

Zermelo-Fraenkel Axioms Basic Knowledge Representation in First Order Logic Axioms Of Zermelo Fraenkel Set Theory With Choice Scientific American: Ask the Experts: Mathematics

<http://www.ensor.org/math/SetTheory/>

PAGES PERSONNELLES - HOME PAGES

set theorists

<http://www.math.ufl.edu/~jal/set_theory.html>

DICTIONNAIRES GLOSSAIRES - DICTIONARIES

Les axiomes de la théorie des ensembles de Zermelo-Fraenkel

<http://www.les-mathematiques.net/a/a/a/node2.php3>

DOCUMENTS - PAPERS

Division by three

John Conway - Peter Doyle Version 1.01, 19 August 1994

<http://math.dartmouth.edu/~doyle/docs/three/three/three.html>

Properties of Subsets

Zinaida Trybulec Warsaw University, Bialystok

<http://mizar.org/JFM/Vol1/subset_1.html>

Some Basic Properties of Sets

Czeslaw Bylinski

<http://mizar.org/JFM/Vol1/zfmisc_1.html>

Enumerated Sets

Andrzej Trybulec

<http://mizar.org/JFM/Vol1/enumset1.html>

Set Theory Preprint Sites

This list of preprint-pages run by set theorists was derived from Set theorists, ...

<http://www.ucl.ac.uk/~ucahcjm/stp.html>

Set Theory

This list of homepages of set theorists was inspired by Computability Theory,...

<http://www.math.ufl.edu/~jal/set_theory.html>

LIENS - LINKS

Page de liens sur les Mathématiques

<liens_math.html>

Page de liens sur la logique

<liens_logic.html>

Page de liens sur Gödel

<liens_goedel.html>

Actualités

Advertising : If you see a reference in one of the files that is not linked, and you know of a link address to the appropriate document, please send me mail, and I will include the link in the document. Thanks very much in advance.
Avertissement : Le classement par catégories est approximatif. Certains liens se retrouvent dans des rubriques différentes et sur plusieurs pages. Les commentaires sont généralement des courts extraits des pages référencées. Il est possible que certains liens nécessitent une mise à jour.
Tous commentaires ou remarques sont les bienvenus, vous pouvez les adresser à :

Les mises à jour demandées sont réalisées dès que possible et, sauf si c'est nécessaire, aucun message de réponse n'est expédié. Merci de m'écrire.

Copyright © 1999-2006 Jean-Paul Davalan - Reproduction interdite.