About: Ackermann function

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Total non-primitive-recursive computable function

Property	Value
dbo:description	matemaattinen funktio (fi) пример всюду определённой вычислимой функции, которая не является примитивно рекурсивной (ru) funkce, která je rekurzivní a přitom není primitivně rekurzivní (cs) schnell wachsende berechenbare Funktion (de) total non-primitive-recursive computable function (en) typ funkcji liczbowej dwóch zmiennych naturalnych (pl)
dbo:wikiPageExternalLink	http://cgi.di.uoa.gr/~ewcg06/invited/Seidel.pdf http://forum.wolframscience.com/showthread.php%3Fs=&threadid=579 http://timkoop.com/koop_loop_ackermanns_function_as_a_for_loop http://www-users.cs.york.ac.uk/~susan/cyc/a/ackermnn.htm http://www.dcc.fc.up.pt/~acm/PRinv.pdf http://www.gfredericks.com/main/sandbox/arith/ackermann http://www.mrob.com/pub/math/ln-2deep.html https://www.dcc.fc.up.pt/~acm/ack.pdf https://web.archive.org/web/20070821224819/http:/yucs.org/~gnivasch/alpha/index.html https://web.archive.org/web/20091026171012/http:/www.geocities.com/hjsmithh/Ackerman/index.html https://books.google.com/books%3Fid=rUudIPZD-B0C&pg=PA61 http://projecteuclid.org/DPubS%3Fverb=Display&version=1.0&service=UI&handle=euclid.bams/1183512393&page=record https://msp.org/pjm/1965/15-3/p25.xhtml https://research.tue.nl/files/4245011/398270.pdf http://www.mrob.com/pub/math/largenum-3.html http://www.mrob.com/pub/math/largenum.html https://www.researchgate.net/publication/351063906 https://ghostarchive.org/archive/20221009/http:/history.dcs.ed.ac.uk/archive/docs/Imp_Benchmarks/acklt.pdf https://ghostarchive.org/archive/20221009/http:/www.dcc.fc.up.pt/~acm/PRinv.pdf https://ghostarchive.org/archive/20221009/https:/research.tue.nl/files/4245011/398270.pdf https://ghostarchive.org/archive/20221009/https:/www.dcc.fc.up.pt/~acm/ack.pdf http://gdz.sub.uni-goettingen.de/en/dms/loader/img/%3FPPN=PPN235181684_0099&DMDID=DMDLOG_0009 http://www.geocities.com/hjsmithh/Ackerman/index.html http://rosettacode.org/wiki/Ackermann_Function http://history.dcs.ed.ac.uk/archive/docs/Imp_Benchmarks/acklt.pdf http://www.scottaaronson.com/writings/bignumbers.html
dbo:wikiPageWikiLink	dbr:Total_function dbr:Memoization dbr:Recursion_(computer_science) dbr:Rosetta_Code dbc:Special_functions dbr:Bulletin_of_the_American_Mathematical_Society dbr:Computable_function dbc:Computability_theory dbr:Algorithm dbr:Compiler dbr:Phi dbr:Turing_machine dbr:Reduction_strategy dbr:Computational_complexity_theory dbr:Addition dbr:Exponentiation dbr:Exponential_function dbr:Function_composition dbr:Minimum_spanning_tree dbr:Rózsa_Péter dbr:Robert_Creighton_Buck dbr:David_Hilbert dbr:Gabriel_Sudan dbr:Multiplication dbr:Wilhelm_Ackermann dbr:Recursion dbr:Pacific_Journal_of_Mathematics dbr:ACM_SIGACT dbr:Fast-growing_hierarchy dbr:Rewriting dbr:Scott_Aaronson dbr:Sudan_function dbr:Bernard_Chazelle dbr:Disjoint-set_data_structure dbr:Hyperoperation dbr:Primitive_recursive_function dbr:BIT_Numerical_Mathematics dbr:Mathematische_Annalen dbr:Reuben_Goodstein dbr:Stack_(abstract_data_type) dbr:Inverse_function dbr:Whetstone_(benchmark) dbc:Arithmetic dbc:Large_integers dbr:Exponential_growth dbr:Iterated_function dbr:Computability_theory dbr:Graham's_number dbr:Pseudocode dbr:Well-order dbr:Knuth's_up-arrow_notation dbr:Lexicographic_order dbc:Theory_of_computation dbr:Double_recursion dbr:Superfactorial dbr:Ceiling_function dbr:Floor_function dbr:Theoretical_Computer_Science dbr:American_Mathematical_Monthly dbr:Associative dbr:Raphael_Robinson dbr:Goodstein_function
dbp:id	p/a120110 (en)
dbp:mode	cs1 (en)
dbp:title	Ackermann function (en)
dbp:urlname	AckermannFunction (en)
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Hyperoperations dbt:About dbt:Authority_control dbt:Citation dbt:Cite_conference dbt:Cite_journal dbt:Cite_report dbt:Cite_web dbt:DADS dbt:Diagonal_split_header dbt:E dbt:Harvtxt dbt:I_sup dbt:Large_numbers dbt:MathWorld dbt:Pp dbt:Refbegin dbt:Refend dbt:Reflist dbt:Sfn dbt:Short_description dbt:Space dbt:Springer dbt:Use_dmy_dates dbt:Use_shortened_footnotes dbt:Wikifunctions
dct:subject	dbc:Special_functions dbc:Computability_theory dbc:Arithmetic dbc:Large_integers dbc:Theory_of_computation
rdf:type	owl:Thing owl:Thing
rdfs:label	Ackermann function (en) Funció d'Ackermann (ca) Ackermannova funkce (cs) دالة أكرمان (ar) Akermana funkcio (eo) Ackermannfunktion (de) Función de Ackermann (es) Funzione di Ackermann (it) Fonction d'Ackermann (fr) 아커만 함수 (ko) アッカーマン関数 (ja) Funkcja Ackermanna (pl) Ackermannfunctie (nl) Функция Аккермана (ru) Função de Ackermann (pt) Ackermannfunktionen (sv) Функція Акермана (uk) 阿克曼函數 (zh)
owl:sameAs	yago-res:Ackermann function freebase:Ackermann function wikidata:Ackermann function dbpedia-de:Ackermann function dbpedia-es:Ackermann function dbpedia-it:Ackermann function dbpedia-nl:Ackermann function dbpedia-pl:Ackermann function dbpedia-tr:Ackermann function dbpedia-fr:Ackermann function dbpedia-he:Ackermann function dbpedia-hu:Ackermann function dbpedia-ja:Ackermann function dbpedia-pt:Ackermann function dbpedia-ru:Ackermann function dbpedia-zh:Ackermann function dbpedia-sv:Ackermann function dbpedia-vi:Ackermann function dbpedia-ko:Ackermann function dbpedia-ca:Ackermann function dbpedia-ar:Ackermann function dbpedia-cs:Ackermann function dbpedia-eo:Ackermann function dbpedia-fa:Ackermann function dbpedia-fi:Ackermann function dbpedia-lmo:Ackermann function dbpedia-pms:Ackermann function dbpedia-sr:Ackermann function dbpedia-uk:Ackermann function dbpedia-global:Ackermann function
prov:wasDerivedFrom	wikipedia-en:Ackermann_function?oldid=1307707182&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Ackermann_function
is dbo:wikiPageDisambiguates of	dbr:Ackermann
is dbo:wikiPageRedirects of	dbr:Akerman_function dbr:Akermann_function dbr:Péter_function dbr:Ackerman's_function dbr:Ackerman_function dbr:Ackermann's_function dbr:Ackermann-Peter_function dbr:Ackermann_Function dbr:Ackermann_Number dbr:Ackermann_algorithm dbr:Ackermann_number dbr:Ackermann_numbers dbr:Inverse_Ackerman's_function dbr:Inverse_Ackermann dbr:Inverse_Ackermann_function
is dbo:wikiPageWikiLink of	dbr:Superfunction dbr:Conway_chained_arrow_notation dbr:Recursion_(computer_science) dbr:Constructive_set_theory dbr:Ordinal_collapsing_function dbr:Planar_separator_theorem dbr:Rosetta_Code dbr:List_of_mathematical_functions dbr:Pentation dbr:Tree_spanner dbr:Computable_function dbr:Kruskal's_tree_theorem dbr:Borůvka's_algorithm dbr:Exponentiation dbr:LFE_(programming_language) dbr:Minimum_spanning_tree dbr:Goodstein's_theorem dbr:Paris–Harrington_theorem dbr:Rózsa_Péter dbr:Alpha_(disambiguation) dbr:Ramsey_theory dbr:Davenport–Schinzel_sequence dbr:Ehrenfeucht–Mycielski_sequence dbr:Kruskal's_algorithm dbr:Parallel_algorithms_for_minimum_spanning_trees dbr:Gabriel_Sudan dbr:Wilhelm_Ackermann dbr:Recursion dbr:Unit_distance_graph dbr:Hales–Jewett_theorem dbr:General_recursive_function dbr:Ackermann dbr:Davenport–Schinzel_Sequences_and_Their_Geometric_Applications dbr:LOOP_(programming_language) dbr:Register_machine dbr:Fast-growing_hierarchy dbr:Robert_Tarjan dbr:Vector_addition_system dbr:PL/SQL dbr:Sudan_function dbr:Steinhaus–Moser_notation dbr:Disjoint-set_data_structure dbr:Large_numbers dbr:Component_(graph_theory) dbr:Hyperoperation dbr:Primitive_recursive_function dbr:Asymptotically_optimal_algorithm dbr:BlooP_and_FlooP dbr:Orders_of_magnitude_(numbers) dbr:Iterated_logarithm dbr:Arrangement_of_lines dbr:PR_(complexity) dbr:Reuben_Goodstein dbr:Tetration dbr:List_of_Romanian_inventors_and_discoverers dbr:Exponential_growth dbr:Computability_theory dbr:Graham's_number dbr:Combinatorial_explosion dbr:Double_exponential_function dbr:Knuth's_up-arrow_notation dbr:Decider_(Turing_machine) dbr:F-algebra dbr:Algorithm_characterizations dbr:List_of_mathematical_logic_topics dbr:Nonelementary_problem dbr:Ackermann's_formula dbr:List_of_dynamical_systems_and_differential_equations_topics dbr:Laver_table dbr:Double_recursion dbr:Kinetic_priority_queue dbr:Path_ordering_(term_rewriting) dbr:Dynamic_connectivity dbr:Akerman_function dbr:Akermann_function dbr:List_of_types_of_functions dbr:Initial_algebra dbr:Péter_function dbr:Range_query_(data_structures) dbr:Ackerman's_function dbr:Ackerman_function dbr:Ackermann's_function dbr:Ackermann-Peter_function dbr:Ackermann_Function dbr:Ackermann_Number dbr:Ackermann_algorithm dbr:Ackermann_number dbr:Ackermann_numbers dbr:Inverse_Ackerman's_function dbr:Inverse_Ackermann dbr:Inverse_Ackermann_function
is foaf:primaryTopic of	wikipedia-en:Ackermann_function