| Property |
Value |
| dbo:abstract
|
- En théorie de la calculabilité et en théorie de la démonstration, une hiérarchie de croissance rapide (parfois appelée une hiérarchie de Grzegorczyk étendue) est une famille, indexée par les ordinaux, de fonctions rapidement croissantes fα : N → N (où N est l'ensemble des entiers naturels {0, 1, …}, et α est un ordinal inférieur à un certain ordinal dénombrable généralement très grand). Un exemple fondamental est la hiérarchie de Wainer, s'étendant à tous les α < ε₀. De telles hiérarchies donnent un moyen naturel de classer des fonctions calculables d'après leur vitesse de croissance et leur complexité algorithmique ; elles permettent également d'exprimer de très grands nombres, tels que ceux produits par les suites de Goodstein, lorsque même la notation des flèches chaînées de Conway n'y suffit plus. (fr)
- En théorie de la calculabilité et en théorie de la démonstration, une hiérarchie de croissance rapide (parfois appelée une hiérarchie de Grzegorczyk étendue) est une famille, indexée par les ordinaux, de fonctions rapidement croissantes fα : N → N (où N est l'ensemble des entiers naturels {0, 1, …}, et α est un ordinal inférieur à un certain ordinal dénombrable généralement très grand). Un exemple fondamental est la hiérarchie de Wainer, s'étendant à tous les α < ε₀. De telles hiérarchies donnent un moyen naturel de classer des fonctions calculables d'après leur vitesse de croissance et leur complexité algorithmique ; elles permettent également d'exprimer de très grands nombres, tels que ceux produits par les suites de Goodstein, lorsque même la notation des flèches chaînées de Conway n'y suffit plus. (fr)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 13834 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1981 (xsd:integer)
- 1983 (xsd:integer)
- 1991 (xsd:integer)
- 2007 (xsd:integer)
|
| prop-fr:doi
|
- 10.101600 (xsd:double)
- 10.230700 (xsd:double)
|
| prop-fr:fr
|
- ordinal de Bachmann-Howard (fr)
- fonction de Buchholz (fr)
- ordinal de Bachmann-Howard (fr)
- fonction de Buchholz (fr)
|
| prop-fr:issn
|
- 3 (xsd:integer)
- 22 (xsd:integer)
|
| prop-fr:journal
|
- The Journal of Symbolic Logic (fr)
- Annals of Mathematical Logic (fr)
- Ann. Pure Appl. Logic (fr)
- The Journal of Symbolic Logic (fr)
- Annals of Mathematical Logic (fr)
- Ann. Pure Appl. Logic (fr)
|
| prop-fr:lang
| |
| prop-fr:langue
| |
| prop-fr:lienAuteur
|
- Jean-Yves Girard (fr)
- Jean-Yves Girard (fr)
|
| prop-fr:mois
| |
| prop-fr:nom
|
- Prömel (fr)
- Voigt (fr)
- Girard (fr)
- Gallier (fr)
- Caicedo (fr)
- Cichon (fr)
- Thumser (fr)
- Wainer (fr)
- Prömel (fr)
- Voigt (fr)
- Girard (fr)
- Gallier (fr)
- Caicedo (fr)
- Cichon (fr)
- Thumser (fr)
- Wainer (fr)
|
| prop-fr:numéro
|
- 1 (xsd:integer)
- 2 (xsd:integer)
- 3 (xsd:integer)
|
| prop-fr:p.
|
- 341 (xsd:integer)
- 381 (xsd:integer)
|
| prop-fr:pages
|
- 75 (xsd:integer)
- 199 (xsd:integer)
- 399 (xsd:integer)
|
| prop-fr:prénom
|
- B. (fr)
- Jean-Yves (fr)
- E. A. (fr)
- W. (fr)
- S. S. (fr)
- H. J. (fr)
- Jean H. (fr)
- Andrés Eduardo (fr)
- B. (fr)
- Jean-Yves (fr)
- E. A. (fr)
- W. (fr)
- S. S. (fr)
- H. J. (fr)
- Jean H. (fr)
- Andrés Eduardo (fr)
|
| prop-fr:revue
|
- Discrete Mathematics (fr)
- Revista Colombiana de Matemáticas (fr)
- Discrete Mathematics (fr)
- Revista Colombiana de Matemáticas (fr)
|
| prop-fr:texte
|
- fonctions psi de Buchholz (fr)
- fonctions psi de Buchholz (fr)
|
| prop-fr:titre
|
- Fast growing functions based on Ramsey theorems (fr)
- Goodstein's function (fr)
- The slow-growing and the Grzegorczyk hierarchies (fr)
- What's so special about Kruskal's theorem and the ordinal Γ0? A survey of some results in proof theory (fr)
- Π12-logic. I. Dilators (fr)
- Fast growing functions based on Ramsey theorems (fr)
- Goodstein's function (fr)
- The slow-growing and the Grzegorczyk hierarchies (fr)
- What's so special about Kruskal's theorem and the ordinal Γ0? A survey of some results in proof theory (fr)
- Π12-logic. I. Dilators (fr)
|
| prop-fr:trad
|
- Bachmann–Howard ordinal (fr)
- Buchholz psi function (fr)
- Bachmann–Howard ordinal (fr)
- Buchholz psi function (fr)
|
| prop-fr:url
| |
| prop-fr:vol
|
- 41 (xsd:integer)
- 95 (xsd:integer)
|
| prop-fr:volume
|
- 21 (xsd:integer)
- 48 (xsd:integer)
- 53 (xsd:integer)
|
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- En théorie de la calculabilité et en théorie de la démonstration, une hiérarchie de croissance rapide (parfois appelée une hiérarchie de Grzegorczyk étendue) est une famille, indexée par les ordinaux, de fonctions rapidement croissantes fα : N → N (où N est l'ensemble des entiers naturels {0, 1, …}, et α est un ordinal inférieur à un certain ordinal dénombrable généralement très grand). Un exemple fondamental est la hiérarchie de Wainer, s'étendant à tous les α < ε₀. De telles hiérarchies donnent un moyen naturel de classer des fonctions calculables d'après leur vitesse de croissance et leur complexité algorithmique ; elles permettent également d'exprimer de très grands nombres, tels que ceux produits par les suites de Goodstein, lorsque même la notation des flèches chaînées de Conway n'y (fr)
- En théorie de la calculabilité et en théorie de la démonstration, une hiérarchie de croissance rapide (parfois appelée une hiérarchie de Grzegorczyk étendue) est une famille, indexée par les ordinaux, de fonctions rapidement croissantes fα : N → N (où N est l'ensemble des entiers naturels {0, 1, …}, et α est un ordinal inférieur à un certain ordinal dénombrable généralement très grand). Un exemple fondamental est la hiérarchie de Wainer, s'étendant à tous les α < ε₀. De telles hiérarchies donnent un moyen naturel de classer des fonctions calculables d'après leur vitesse de croissance et leur complexité algorithmique ; elles permettent également d'exprimer de très grands nombres, tels que ceux produits par les suites de Goodstein, lorsque même la notation des flèches chaînées de Conway n'y (fr)
|
| rdfs:label
|
- Fast-growing hierarchy (en)
- Hierarquia de crescimento rápido (pt)
- Hiérarchie de croissance rapide (fr)
- 急成長階層 (ja)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
