Accueil
Plan du site
Bloc notes
Jeux
Graphes
Combinatoire
Arithmétique
Algèbre
Analyse
Probabilités
Automates
Programmation
Divers
Liens
Home
Plan du site
Bloc notes
Jeux
Graphes
Combinatoire
Arithmétique
Algèbre
Analyse
Probabilités
Automates
Programmation
Divers
Liens
Home
Théorie des Ensembles - Set Theory
PAGES WEB
<http://www.mathpages.com/home/ifoundat.htm>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>
David Madore
<http://www.eleves.ens.fr:8080/home/madore/math/ac_var.html>
Xavier Caruso
Les axiomes de ZF. Axiome du choix. Axiome de détermination.
<http://boumbo.toonywood.org/xavier/maths/choix.html>
Frank Ruskey
<http://www.combinatorics.org/Surveys/ds5/VennEJC.html>
ASSOCIATIONS
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
<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
John Conway - Peter Doyle Version 1.01, 19 August 1994
<http://math.dartmouth.edu/~doyle/docs/three/three/three.html>
Zinaida Trybulec Warsaw University, Bialystok
<http://mizar.org/JFM/Vol1/subset_1.html>
Czeslaw Bylinski
<http://mizar.org/JFM/Vol1/zfmisc_1.html>
Andrzej Trybulec
<http://mizar.org/JFM/Vol1/enumset1.html>
This list of preprint-pages run by set theorists was derived from Set theorists, ...
<http://www.ucl.ac.uk/~ucahcjm/stp.html>
This list of homepages of set theorists was inspired by Computability Theory,...
<http://www.math.ufl.edu/~jal/set_theory.html>
LIENS - LINKS
<liens_math.html> <liens_logic.html> <liens_goedel.html>
| Accueil | Plan du site | Bloc notes | Jeux | Graphes | Combinatoire | Arithmétique | Algèbre |
| Analyse | Probabilités | Automates | Informatique | Divers | Lycée |
| Analyse | Probabilités | Automates | Informatique | Divers | Lycée |
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-2012 Jean-Paul Davalan - Reproduction interdite.
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-2012 Jean-Paul Davalan - Reproduction interdite.