| http://dbpedia.org/ontology/abstract
|
Szybko rosnąca hierarchia również znana ja … Szybko rosnąca hierarchia również znana jako rozszerzona hierarchia Grzegorczyka, stworzona przez matematyka Andrzeja Grzegorczyka. Używana w teorii obliczalności, teorii złożoności obliczeniowej oraz teorii dowodu. Jest to rodzina zbiorów szybko rosnących funkcji (gdzie jest zbiorem liczb naturalnych natomiast jest jakąś liczbą porządkową). Przykładami członków tej rodziny są hierarchia Wainera lub hierarchia Löba-Wainera, które są rozszerzeniem wszystkich < ε0. Hierarchie te segregują funkcje obliczalne, bazując na ich tempie wzrostu oraz złożoności obliczeniowej.pie wzrostu oraz złożoności obliczeniowej.
, In computability theory, computational com … In computability theory, computational complexity theory and proof theory, a fast-growing hierarchy (also called an extended Grzegorczyk hierarchy) is an ordinal-indexed family of rapidly increasing functions fα: N → N (where N is the set of natural numbers {0, 1, ...}, and α ranges up to some large countable ordinal). A primary example is the Wainer hierarchy, or Löb–Wainer hierarchy, which is an extension to all α < ε0. Such hierarchies provide a natural way to classify computable functions according to rate-of-growth and computational complexity.te-of-growth and computational complexity.
, Быстрорастущая иерархия (также называемая расширенной иерархией Гржегорчика) — это семейство быстрорастущих функций, индексированных ординалами. Наиболее известным частным случаем быстрорастущей иерархии является иерархия Лёба-Вайнера.
, En théorie de la calculabilité et en théor … 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.lèches chaînées de Conway n'y suffit plus.
, 急成長階層（きゅうせいちょうかいそう、英: fast-growing hierarc … 急成長階層（きゅうせいちょうかいそう、英: fast-growing hierarchy）および拡張グジェゴルチク階層（かくちょうグジェゴルチクかいそう、英: extended Grzegorczyk hierarchy）とは、1970年にマーティン・レーペ（Martin Löb）とスタンリー・S・ウェイナーによって定義された、最大 層からなる計算可能関数の階層である。急成長階層の定義にはいくつかのバージョンがあるが、特にウェイナーが α ≦ ε0 の範囲について1972年の論文で定義し、ケトネンとソロヴェイが簡略化したバージョンをウェイナー階層（英: Wainer hierarchy）と呼ぶ。 急成長階層の定義に登場する、可算な順序数で添字づけられた計算可能関数の族 （τ は適当な極限順序数）を急増加関数と呼ぶ。序数で添字づけられた計算可能関数の族 （τ は適当な極限順序数）を急増加関数と呼ぶ。
, Em Teoria da Computabilidade, Complexidade … Em Teoria da Computabilidade, Complexidade (informática) e Teoria da Prova, uma hierarquia de crescimento rápido (também chamado de hierarquia de Grzegorczyk estendida) é uma família indexada de funções que crescem rapidamente fα: N → N (onde N é o conjunto dos números naturais {0, 1, 2, ...}) e α refere-se a algum número ordinal alto e contável. Um exemplo primário é a hierarquia de Wainer, ou a hierarquia de Löb-Wainer, que trata-se de uma extensão para todo α < ε0. Tais hierarquias permitem uma classificação natural de funções computáveis, de acordo com a taxa-de-crescimento e a complexidade computacional.rescimento e a complexidade computacional.
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://www.cis.upenn.edu/~jean/kruskal.pdf +
|
| http://dbpedia.org/ontology/wikiPageID
|
24947285
|
| http://dbpedia.org/ontology/wikiPageLength
|
12655
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1118326986
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Large_countable_ordinal +
, http://dbpedia.org/resource/Feferman%E2%80%93Sch%C3%BCtte_ordinal +
, http://dbpedia.org/resource/Computable_function +
, http://dbpedia.org/resource/Computational_complexity_theory +
, http://dbpedia.org/resource/Total_function +
, http://dbpedia.org/resource/Slow-growing_hierarchy +
, http://dbpedia.org/resource/Ackermann_function +
, http://dbpedia.org/resource/Veblen_function +
, http://dbpedia.org/resource/Recursive_ordinal +
, http://dbpedia.org/resource/Computability_theory +
, http://dbpedia.org/resource/Bachmann%E2%80%93Howard_ordinal +
, http://dbpedia.org/resource/Buchholz_psi_function +
, http://dbpedia.org/resource/Category:Large_numbers +
, http://dbpedia.org/resource/Bachmann_property +
, http://dbpedia.org/resource/Graham%27s_number +
, http://dbpedia.org/resource/Epsilon_numbers_%28mathematics%29 +
, http://dbpedia.org/resource/Fundamental_sequence_%28ordinals%29 +
, http://dbpedia.org/resource/Natural_numbers +
, http://dbpedia.org/resource/Ordinal_number +
, http://dbpedia.org/resource/Category:Proof_theory +
, http://dbpedia.org/resource/Goodstein_function +
, http://dbpedia.org/resource/Goodstein%27s_theorem +
, http://dbpedia.org/resource/Kruskal%27s_tree_theorem +
, http://dbpedia.org/resource/Grzegorczyk_hierarchy +
, http://dbpedia.org/resource/Cantor_normal_form +
, http://dbpedia.org/resource/Hyperoperation +
, http://dbpedia.org/resource/Peano_arithmetic +
, http://dbpedia.org/resource/Primitive_recursive_function +
, http://dbpedia.org/resource/Proof_theory +
, http://dbpedia.org/resource/Journal_of_Symbolic_Logic +
, http://dbpedia.org/resource/Limit_ordinal +
, http://dbpedia.org/resource/Hardy_hierarchy +
, http://dbpedia.org/resource/Analytical_hierarchy +
, http://dbpedia.org/resource/Category:Hierarchy_of_functions +
, http://dbpedia.org/resource/Category:Computability_theory +
|
| http://dbpedia.org/property/date
|
November 2009
|
| http://dbpedia.org/property/reason
|
what does this mean?
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Doi +
, http://dbpedia.org/resource/Template:Harvtxt +
, http://dbpedia.org/resource/Template:Clarify +
, http://dbpedia.org/resource/Template:Large_numbers +
, http://dbpedia.org/resource/Template:Cite_journal +
, http://dbpedia.org/resource/Template:Citation +
, http://dbpedia.org/resource/Template:Short_description +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Proof_theory +
, http://dbpedia.org/resource/Category:Hierarchy_of_functions +
, http://dbpedia.org/resource/Category:Large_numbers +
, http://dbpedia.org/resource/Category:Computability_theory +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Family +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Fast-growing_hierarchy?oldid=1118326986&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Fast-growing_hierarchy +
|
| owl:sameAs |
http://rdf.freebase.com/ns/m.09g844z +
, http://pt.dbpedia.org/resource/Hierarquia_de_crescimento_r%C3%A1pido +
, http://fr.dbpedia.org/resource/Hi%C3%A9rarchie_de_croissance_rapide +
, http://www.wikidata.org/entity/Q3138738 +
, http://dbpedia.org/resource/Fast-growing_hierarchy +
, https://global.dbpedia.org/id/2uFoc +
, http://ja.dbpedia.org/resource/%E6%80%A5%E6%88%90%E9%95%B7%E9%9A%8E%E5%B1%A4 +
, http://pl.dbpedia.org/resource/Szybko_rosn%C4%85ca_hierarchia +
, http://yago-knowledge.org/resource/Fast-growing_hierarchy +
, http://ru.dbpedia.org/resource/%D0%91%D1%8B%D1%81%D1%82%D1%80%D0%BE%D1%80%D0%B0%D1%81%D1%82%D1%83%D1%89%D0%B0%D1%8F_%D0%B8%D0%B5%D1%80%D0%B0%D1%80%D1%85%D0%B8%D1%8F +
|
| rdf:type |
http://dbpedia.org/class/yago/IndefiniteQuantity113576355 +
, http://dbpedia.org/class/yago/Measure100033615 +
, http://dbpedia.org/class/yago/Abstraction100002137 +
, http://dbpedia.org/class/yago/WikicatLargeNumbers +
, http://dbpedia.org/class/yago/LargeIndefiniteQuantity113757724 +
, http://dbpedia.org/class/yago/Battalion113775093 +
|
| rdfs:comment |
Szybko rosnąca hierarchia również znana ja … Szybko rosnąca hierarchia również znana jako rozszerzona hierarchia Grzegorczyka, stworzona przez matematyka Andrzeja Grzegorczyka. Używana w teorii obliczalności, teorii złożoności obliczeniowej oraz teorii dowodu. Jest to rodzina zbiorów szybko rosnących funkcji (gdzie jest zbiorem liczb naturalnych natomiast jest jakąś liczbą porządkową). Przykładami członków tej rodziny są hierarchia Wainera lub hierarchia Löba-Wainera, które są rozszerzeniem wszystkich < ε0. Hierarchie te segregują funkcje obliczalne, bazując na ich tempie wzrostu oraz złożoności obliczeniowej.pie wzrostu oraz złożoności obliczeniowej.
, 急成長階層（きゅうせいちょうかいそう、英: fast-growing hierarc … 急成長階層（きゅうせいちょうかいそう、英: fast-growing hierarchy）および拡張グジェゴルチク階層（かくちょうグジェゴルチクかいそう、英: extended Grzegorczyk hierarchy）とは、1970年にマーティン・レーペ（Martin Löb）とスタンリー・S・ウェイナーによって定義された、最大 層からなる計算可能関数の階層である。急成長階層の定義にはいくつかのバージョンがあるが、特にウェイナーが α ≦ ε0 の範囲について1972年の論文で定義し、ケトネンとソロヴェイが簡略化したバージョンをウェイナー階層（英: Wainer hierarchy）と呼ぶ。 急成長階層の定義に登場する、可算な順序数で添字づけられた計算可能関数の族 （τ は適当な極限順序数）を急増加関数と呼ぶ。序数で添字づけられた計算可能関数の族 （τ は適当な極限順序数）を急増加関数と呼ぶ。
, In computability theory, computational com … In computability theory, computational complexity theory and proof theory, a fast-growing hierarchy (also called an extended Grzegorczyk hierarchy) is an ordinal-indexed family of rapidly increasing functions fα: N → N (where N is the set of natural numbers {0, 1, ...}, and α ranges up to some large countable ordinal). A primary example is the Wainer hierarchy, or Löb–Wainer hierarchy, which is an extension to all α < ε0. Such hierarchies provide a natural way to classify computable functions according to rate-of-growth and computational complexity.te-of-growth and computational complexity.
, En théorie de la calculabilité et en théor … 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 tation des flèches chaînées de Conway n'y
, Em Teoria da Computabilidade, Complexidade … Em Teoria da Computabilidade, Complexidade (informática) e Teoria da Prova, uma hierarquia de crescimento rápido (também chamado de hierarquia de Grzegorczyk estendida) é uma família indexada de funções que crescem rapidamente fα: N → N (onde N é o conjunto dos números naturais {0, 1, 2, ...}) e α refere-se a algum número ordinal alto e contável. Um exemplo primário é a hierarquia de Wainer, ou a hierarquia de Löb-Wainer, que trata-se de uma extensão para todo α < ε0. Tais hierarquias permitem uma classificação natural de funções computáveis, de acordo com a taxa-de-crescimento e a complexidade computacional.rescimento e a complexidade computacional.
, Быстрорастущая иерархия (также называемая расширенной иерархией Гржегорчика) — это семейство быстрорастущих функций, индексированных ординалами. Наиболее известным частным случаем быстрорастущей иерархии является иерархия Лёба-Вайнера.
|
| rdfs:label |
Hiérarchie de croissance rapide
, Hierarquia de crescimento rápido
, 急成長階層
, Szybko rosnąca hierarchia
, Fast-growing hierarchy
, Быстрорастущая иерархия
|
