About: Fast-growing hierarchy

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Fast-growing hierarchy Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdfs:label	Fast-growing hierarchy (en) Hierarquia de crescimento rápido (pt) Hiérarchie de croissance rapide (fr) 急成長階層 (ja)
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)
sameAs	Fast-growing hierarchy Fast-growing hierarchy Fast-growing hierarchy Fast-growing hierarchy Fast-growing hierarchy Fast-growing hierarchy Fast-growing hierarchy Fast-growing hierarchy
Wikipage page ID	5161893 (xsd:integer)
Wikipage revision ID	185543647 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Théorie_de_la_démonstration Map (mathematics) Peano axioms category-fr:Grand_nombre Natural number dbpedia-fr:Famille_(mathématiques) Computable function Ackermann function Veblen function Primitive recursive function dbpedia-fr:Grand_nombre dbpedia-fr:Grand_ordinal_dénombrable Analytical hierarchy Grzegorczyk hierarchy Journal of Symbolic Logic Turing machine dbpedia-fr:Nombre_de_Graham dbpedia-fr:Nombre_epsilon dbpedia-fr:Nombre_ordinal Conway chained arrow notation Knuth's up-arrow notation Feferman–Schütte ordinal Limit ordinal dbpedia-fr:Théorie_de_la_calculabilité dbpedia-fr:Théorie_de_la_complexité_(informatique_théorique) dbpedia-fr:Théorie_de_la_démonstration dbpedia-fr:Théorème_de_Goodstein
Link from a Wikipage to an external page	ftp://ftp.cis.upenn.edu/pub/papers/gallier/kruskal2.pdf http://stinet.dtic.mil/oai/oai%3Fverb=getRecord&metadataPrefix=html&identifier=ADA290387%7Cdoi=10.1016/0168-0072(91)90022-E http://eudml.org/doc/129620 ftp://ftp.cis.upenn.edu/pub/papers/gallier/kruskal1.pdf ftp://ftp.cis.upenn.edu/pub/papers/gallier/kruskal3.pdf https://www.jstor.org/stable/2274873
page length (characters) of wiki page	13834 (xsd:nonNegativeInteger)
dct:subject	category-fr:Théorie_de_la_démonstration category-fr:Grand_nombre
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Article dbpedia-fr:Modèle:En dbpedia-fr:Modèle:Lien dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Traduction/Référence dbpedia-fr:Modèle:Doi dbpedia-fr:Modèle:MathSciNet
prov:wasDerivedFrom	wikipedia-fr:Hiérarchie_de_croissance_rapide?oldid=185543647&ns=0
prop-fr:année	1981 (xsd:integer) 1983 (xsd:integer) 1991 (xsd:integer) 2007 (xsd:integer)
prop-fr:doi	10 (xsd:double) 10 (xsd:double)
prop-fr: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)
prop-fr:lang	en (fr)
prop-fr:langue	en (fr)
prop-fr:lienAuteur	Jean-Yves Girard (fr)
prop-fr:mois	12 (xsd:integer)
prop-fr:nom	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: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)
prop-fr:texte	fonctions psi de Buchholz (fr)

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 8 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software