| Property |
Value |
| dbo:abstract
|
- En mathématiques, et plus particulièrement en théorie des ensembles, il existe de nombreuses méthodes de description des ordinaux dénombrables. Les plus petits (jusqu'à ) peuvent être exprimés (de façon utile et non circulaire) à l'aide de leur forme normale de Cantor. Au-delà, on parle de grands ordinaux dénombrables ; de nombreux grands ordinaux (le plus souvent en rapport avec la théorie de la démonstration) possèdent des notations ordinales calculables. Cependant, il n'est pas possible en général de décider si une notation ordinale potentielle en est effectivement une, pour des raisons analogues à celles rendant insoluble le problème de l'arrêt. Comme il ne peut exister qu'un nombre dénombrable de notations, l'ensemble des ordinaux qui en admettent une se termine bien avant le premier ordinal non dénombrable ω1 ; la borne supérieure de cet ensemble s'appelle l'ordinal ω1 de Church–Kleene, noté ω1CK (cet ordinal est dénombrable, et ne doit pas être confondu avec ω1). Les ordinaux inférieurs à ω1CK sont les ordinaux récursifs. Il est possible de définir des ordinaux supérieurs, mais ils ne possèderont pas de notations. L'étude des ordinaux dénombrables non récursifs est délicate, la difficulté principale venant de ce qu'on ne sait pas, en général, comparer deux grands ordinaux définis par des méthodes différentes, et parfois même, qu'on ne sait pas démontrer qu'un ordre donné est un bon ordre. (fr)
- En mathématiques, et plus particulièrement en théorie des ensembles, il existe de nombreuses méthodes de description des ordinaux dénombrables. Les plus petits (jusqu'à ) peuvent être exprimés (de façon utile et non circulaire) à l'aide de leur forme normale de Cantor. Au-delà, on parle de grands ordinaux dénombrables ; de nombreux grands ordinaux (le plus souvent en rapport avec la théorie de la démonstration) possèdent des notations ordinales calculables. Cependant, il n'est pas possible en général de décider si une notation ordinale potentielle en est effectivement une, pour des raisons analogues à celles rendant insoluble le problème de l'arrêt. Comme il ne peut exister qu'un nombre dénombrable de notations, l'ensemble des ordinaux qui en admettent une se termine bien avant le premier ordinal non dénombrable ω1 ; la borne supérieure de cet ensemble s'appelle l'ordinal ω1 de Church–Kleene, noté ω1CK (cet ordinal est dénombrable, et ne doit pas être confondu avec ω1). Les ordinaux inférieurs à ω1CK sont les ordinaux récursifs. Il est possible de définir des ordinaux supérieurs, mais ils ne possèderont pas de notations. L'étude des ordinaux dénombrables non récursifs est délicate, la difficulté principale venant de ce qu'on ne sait pas, en général, comparer deux grands ordinaux définis par des méthodes différentes, et parfois même, qu'on ne sait pas démontrer qu'un ordre donné est un bon ordre. (fr)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 24258 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1976 (xsd:integer)
- 1978 (xsd:integer)
|
| prop-fr:fr
|
- cardinal Mahlo (fr)
- Gaisi Takeuti (fr)
- analyse ordinale (fr)
- ordinal d'Ackermann (fr)
- ordinal de Bachmann-Howard (fr)
- Hartley Rogers, Jr. (fr)
- théorème de cohérence de l'arithmétique de Gentzen (fr)
- modèle transitif (fr)
- notation de Kleene (fr)
- ordinaux de Veblen (fr)
- récurrence transfinie arithmétique (fr)
- cardinal Mahlo (fr)
- Gaisi Takeuti (fr)
- analyse ordinale (fr)
- ordinal d'Ackermann (fr)
- ordinal de Bachmann-Howard (fr)
- Hartley Rogers, Jr. (fr)
- théorème de cohérence de l'arithmétique de Gentzen (fr)
- modèle transitif (fr)
- notation de Kleene (fr)
- ordinaux de Veblen (fr)
- récurrence transfinie arithmétique (fr)
|
| prop-fr:isbn
| |
| prop-fr:langue
| |
| prop-fr:lienAuteur
|
- Jon Barwise (fr)
- Jon Barwise (fr)
|
| prop-fr:lieu
|
- Berlin/Heidelberg/New York (fr)
- Berlin/Heidelberg/New York (fr)
|
| prop-fr:nom
|
- Hinman (fr)
- Barwise (fr)
- Hinman (fr)
- Barwise (fr)
|
| prop-fr:pagesTotales
| |
| prop-fr:prénom
|
- Jon (fr)
- Peter G. (fr)
- Jon (fr)
- Peter G. (fr)
|
| prop-fr:sousTitre
|
- an Approach to Definability Theory (fr)
- an Approach to Definability Theory (fr)
|
| prop-fr:série
|
- Perspectives in Mathematical Logic (fr)
- Perspectives in Mathematical Logic (fr)
|
| prop-fr:texte
|
- force démonstrative (fr)
- notations de Kleene (fr)
- force démonstrative (fr)
- notations de Kleene (fr)
|
| prop-fr:titre
|
- Admissible Sets and Structures (fr)
- Recursion-theoretic hierarchies (fr)
- Admissible Sets and Structures (fr)
- Recursion-theoretic hierarchies (fr)
|
| prop-fr:trad
|
- Mahlo cardinal (fr)
- Ackermann ordinal (fr)
- Bachmann-Howard ordinal (fr)
- Gentzen's consistency proof (fr)
- Kleene's O (fr)
- Ordinal analysis (fr)
- Veblen ordinal (fr)
- inner model (fr)
- Reverse mathematics#Arithmetical transfinite recursion (fr)
- Mahlo cardinal (fr)
- Ackermann ordinal (fr)
- Bachmann-Howard ordinal (fr)
- Gentzen's consistency proof (fr)
- Kleene's O (fr)
- Ordinal analysis (fr)
- Veblen ordinal (fr)
- inner model (fr)
- Reverse mathematics#Arithmetical transfinite recursion (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
| |
| dct:subject
| |
| rdfs:comment
|
- En mathématiques, et plus particulièrement en théorie des ensembles, il existe de nombreuses méthodes de description des ordinaux dénombrables. Les plus petits (jusqu'à ) peuvent être exprimés (de façon utile et non circulaire) à l'aide de leur forme normale de Cantor. Au-delà, on parle de grands ordinaux dénombrables ; de nombreux grands ordinaux (le plus souvent en rapport avec la théorie de la démonstration) possèdent des notations ordinales calculables. Cependant, il n'est pas possible en général de décider si une notation ordinale potentielle en est effectivement une, pour des raisons analogues à celles rendant insoluble le problème de l'arrêt. (fr)
- En mathématiques, et plus particulièrement en théorie des ensembles, il existe de nombreuses méthodes de description des ordinaux dénombrables. Les plus petits (jusqu'à ) peuvent être exprimés (de façon utile et non circulaire) à l'aide de leur forme normale de Cantor. Au-delà, on parle de grands ordinaux dénombrables ; de nombreux grands ordinaux (le plus souvent en rapport avec la théorie de la démonstration) possèdent des notations ordinales calculables. Cependant, il n'est pas possible en général de décider si une notation ordinale potentielle en est effectivement une, pour des raisons analogues à celles rendant insoluble le problème de l'arrêt. (fr)
|
| rdfs:label
|
- Grand ordinal dénombrable (fr)
- Grandes ordinais contáveis (pt)
- Grand ordinal dénombrable (fr)
- Grandes ordinais contáveis (pt)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
