Property |
Value |
dbo:abstract
|
- Unzerlegbarkeit est le principe des mathématiques constructives qui dit que le continu, c'est-à-dire l'ensemble des nombres réels, n'admet aucune partition propre. Le mot signifie « indécomposabilité » en allemand, et l'adjectif correspondant est unzerlegbar. Ce fait fut établi par Brouwer en 1928 à partir de principes d'analyse intuitioniste, et suit aussi de la (en), voire de l'. L'énoncé comparable dans l'analyse classique serait qu'une fonction continue des nombres réels dans {0,1} est constante.Une conséquence de ceci est qu'un sous-ensemble décidé ou détachable des nombres réels (ce qui veut dire que chaque nombre est soit dans l'ensemble, soit pas dans l'ensemble), doit être trivial : les seuls sous-ensembles décidés sont l'ensemble complet (de tous les nombres réels) et l'ensemble vide (qui ne contient aucun nombre). Par contre un ensemble qui n'est par trivial ne pourra pas être décidé pour tous les nombres. Cela contredit le principe du tiers exclu, selon lequel la décidabilité serait nulle : tout ensemble serait décidé ; or, il y a plusieurs sous-ensembles des nombres réels. Il existerait donc plusieurs partitions propres du continu. La théorie constructive des ensembles (CZF) reste aussi cohérente si on suppose que la classe de tous les ensembles est elle aussi unzerlegbar - une classe d'ensembles qui est décidée (chaque ensemble est soit membre de la classe, soit pas membre) est triviale - soit elle est vide, soit elle est égale à la classe de tous les ensembles. (fr)
- Unzerlegbarkeit est le principe des mathématiques constructives qui dit que le continu, c'est-à-dire l'ensemble des nombres réels, n'admet aucune partition propre. Le mot signifie « indécomposabilité » en allemand, et l'adjectif correspondant est unzerlegbar. Ce fait fut établi par Brouwer en 1928 à partir de principes d'analyse intuitioniste, et suit aussi de la (en), voire de l'. L'énoncé comparable dans l'analyse classique serait qu'une fonction continue des nombres réels dans {0,1} est constante.Une conséquence de ceci est qu'un sous-ensemble décidé ou détachable des nombres réels (ce qui veut dire que chaque nombre est soit dans l'ensemble, soit pas dans l'ensemble), doit être trivial : les seuls sous-ensembles décidés sont l'ensemble complet (de tous les nombres réels) et l'ensemble vide (qui ne contient aucun nombre). Par contre un ensemble qui n'est par trivial ne pourra pas être décidé pour tous les nombres. Cela contredit le principe du tiers exclu, selon lequel la décidabilité serait nulle : tout ensemble serait décidé ; or, il y a plusieurs sous-ensembles des nombres réels. Il existerait donc plusieurs partitions propres du continu. La théorie constructive des ensembles (CZF) reste aussi cohérente si on suppose que la classe de tous les ensembles est elle aussi unzerlegbar - une classe d'ensembles qui est décidée (chaque ensemble est soit membre de la classe, soit pas membre) est triviale - soit elle est vide, soit elle est égale à la classe de tous les ensembles. (fr)
|
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 3043 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:année
| |
prop-fr:auteursOuvrage
|
- Cooper, Löwe, Sorbi (fr)
- Cooper, Löwe, Sorbi (fr)
|
prop-fr:fr
|
- Thèse de Church (fr)
- Thèse de Church (fr)
|
prop-fr:lang
| |
prop-fr:langue
| |
prop-fr:lienÉditeur
|
- Springer-Verlag (fr)
- Springer-Verlag (fr)
|
prop-fr:lieu
|
- New York (fr)
- New York (fr)
|
prop-fr:mois
|
- décembre. (fr)
- décembre. (fr)
|
prop-fr:nom
|
- Rathjen (fr)
- Rathjen (fr)
|
prop-fr:numéro
| |
prop-fr:p.
| |
prop-fr:prénom
|
- Michael (fr)
- Michael (fr)
|
prop-fr:revue
| |
prop-fr:texte
|
- thèse de Church en mathématiques constructives (fr)
- thèse de Church en mathématiques constructives (fr)
|
prop-fr:titreOuvrage
|
- New Computational Paradigms (fr)
- New Computational Paradigms (fr)
|
prop-fr:trad
|
- Church's thesis (fr)
- Church's thesis (fr)
|
prop-fr:url
|
- http://www.maths.leeds.ac.uk/~rathjen/tklracend.pdf|titre=Metamathematical properties of Intuitionistic Set Theories with Choice Principles (fr)
- http://www.phil.uu.nl/~dvdalen/articles/Unzerlegbarkeit:JSL%20copy.pdf|titre=How Connected is the Intuitionistic Continuum? (fr)
- http://www.maths.leeds.ac.uk/~rathjen/tklracend.pdf|titre=Metamathematical properties of Intuitionistic Set Theories with Choice Principles (fr)
- http://www.phil.uu.nl/~dvdalen/articles/Unzerlegbarkeit:JSL%20copy.pdf|titre=How Connected is the Intuitionistic Continuum? (fr)
|
prop-fr:volume
| |
prop-fr:wikiPageUsesTemplate
| |
prop-fr:éditeur
|
- Springer (fr)
- Springer (fr)
|
dct:subject
| |
rdfs:comment
|
- Unzerlegbarkeit est le principe des mathématiques constructives qui dit que le continu, c'est-à-dire l'ensemble des nombres réels, n'admet aucune partition propre. Le mot signifie « indécomposabilité » en allemand, et l'adjectif correspondant est unzerlegbar. Ce fait fut établi par Brouwer en 1928 à partir de principes d'analyse intuitioniste, et suit aussi de la (en), voire de l'. L'énoncé comparable dans l'analyse classique serait qu'une fonction continue des nombres réels dans {0,1} est constante.Une conséquence de ceci est qu'un sous-ensemble décidé ou détachable des nombres réels (ce qui veut dire que chaque nombre est soit dans l'ensemble, soit pas dans l'ensemble), doit être trivial : les seuls sous-ensembles décidés sont l'ensemble complet (de tous les nombres réels) et l'ensemble (fr)
- Unzerlegbarkeit est le principe des mathématiques constructives qui dit que le continu, c'est-à-dire l'ensemble des nombres réels, n'admet aucune partition propre. Le mot signifie « indécomposabilité » en allemand, et l'adjectif correspondant est unzerlegbar. Ce fait fut établi par Brouwer en 1928 à partir de principes d'analyse intuitioniste, et suit aussi de la (en), voire de l'. L'énoncé comparable dans l'analyse classique serait qu'une fonction continue des nombres réels dans {0,1} est constante.Une conséquence de ceci est qu'un sous-ensemble décidé ou détachable des nombres réels (ce qui veut dire que chaque nombre est soit dans l'ensemble, soit pas dans l'ensemble), doit être trivial : les seuls sous-ensembles décidés sont l'ensemble complet (de tous les nombres réels) et l'ensemble (fr)
|
rdfs:label
|
- Unzerlegbarkeit (fr)
- Unzerlegbarkeit (fr)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageWikiLink
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |