About: Ackermann function

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

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/largenum.html https://www.dcc.fc.up.pt/~acm/ack.pdf http://projecteuclid.org/DPubS%3Fverb=Display&version=1.0&service=UI&handle=euclid.bams/1183512393&page=record https://books.google.com/books%3Fid=rUudIPZD-B0C&pg=PA61 https://msp.org/pjm/1965/15-3/p25.xhtml https://research.tue.nl/files/4245011/398270.pdf http://history.dcs.ed.ac.uk/archive/docs/Imp_Benchmarks/acklt.pdf http://www.scottaaronson.com/writings/bignumbers.html http://www.mrob.com/pub/math/largenum-3.html http://www.mrob.com/pub/math/ln-2deep.html 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://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 https://www.researchgate.net/publication/351063906 http://rosettacode.org/wiki/Ackermann_Function
dbo:wikiPageWikiLink	dbr:Graham's_number dbr:Hyperoperation dbr:Primitive_recursive_function dbr:Lexicographic_order dbr:Reduction_strategy dbc:Special_functions dbr:Minimum_spanning_tree dbr:Wilhelm_Ackermann dbr:Ceiling_function dbr:Floor_function dbr:Disjoint-set_data_structure dbc:Computability_theory dbr:Function_composition dbr:Recursion dbr:Compiler dbc:Arithmetic dbr:Phi dbr:Addition dbr:Exponentiation dbr:Iterated_function dbr:Sudan_function dbr:Rózsa_Péter dbr:Whetstone_(benchmark) dbr:Double_recursion dbr:Computable_function dbc:Large_integers dbr:Inverse_function dbr:Pacific_Journal_of_Mathematics dbr:Scott_Aaronson dbr:Computability_theory dbr:Reuben_Goodstein dbr:Fast-growing_hierarchy dbr:Algorithm dbr:Mathematische_Annalen dbr:Stack_(abstract_data_type) dbr:Recursion_(computer_science) dbr:David_Hilbert dbr:Multiplication dbr:Pseudocode dbr:Computational_complexity_theory dbr:Gabriel_Sudan dbr:Well-order dbr:Knuth's_up-arrow_notation dbr:Memoization dbr:Bulletin_of_the_American_Mathematical_Society dbr:Rewriting dbc:Theory_of_computation dbr:Exponential_function dbr:Bernard_Chazelle dbr:Robert_Creighton_Buck dbr:Turing_machine dbr:Exponential_growth dbr:ACM_SIGACT dbr:Rosetta_Code dbr:American_Mathematical_Monthly dbr:Superfactorial dbr:BIT_Numerical_Mathematics dbr:Theoretical_Computer_Science dbr:Total_function dbr:Raphael_Robinson dbr:Associative dbr:Goodstein_function
dbp:id	p/a120110 (en)
dbp:mode	cs1 (en)
dbp:title	Ackermann function (en)
dbp:urlname	AckermannFunction (en)
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Cite_book dbt:Cite_web dbt:Reflist dbt:Cite_journal dbt:Sfn dbt:Cite_conference dbt:DADS dbt:Citation dbt:Use_dmy_dates dbt:Refend dbt:About dbt:MathWorld dbt:Refbegin dbt:Hyperoperations dbt:Cite_report dbt:Large_numbers dbt:E dbt:Harvtxt dbt:Pp dbt:Space dbt:Springer dbt:I_sup dbt:Diagonal_split_header dbt:Short_description dbt:Use_shortened_footnotes dbt:Wikifunctions
dct:subject	dbc:Special_functions dbc:Computability_theory dbc:Arithmetic dbc:Large_integers dbc:Theory_of_computation
rdfs:label	Ackermann function (en) دالة أكرمان (ar) Funció d'Ackermann (ca) Ackermannova funkce (cs) Akermana funkcio (eo) Ackermannfunktion (de) Función de Ackermann (es) Funzione di Ackermann (it) Fonction d'Ackermann (fr) 아커만 함수 (ko) アッカーマン関数 (ja) Ackermannfunctie (nl) Funkcja Ackermanna (pl) Функция Аккермана (ru) Função de Ackermann (pt) Ackermannfunktionen (sv) Функція Акермана (uk) 阿克曼函數 (zh)
owl:sameAs	freebase:Ackermann function yago-res:Ackermann function wikidata:Ackermann function dbpedia-it:Ackermann function dbpedia-nl:Ackermann function dbpedia-de:Ackermann function dbpedia-fr:Ackermann function dbpedia-tr:Ackermann function dbpedia-zh:Ackermann function dbpedia-ja:Ackermann function dbpedia-pt:Ackermann function dbpedia-he:Ackermann function dbpedia-es:Ackermann function dbpedia-hu:Ackermann function dbpedia-fa:Ackermann function dbpedia-ru:Ackermann function dbpedia-sv:Ackermann function dbpedia-vi:Ackermann function dbpedia-pl:Ackermann function dbpedia-ko:Ackermann function dbpedia-ca:Ackermann function dbpedia-ar:Ackermann function dbpedia-cs:Ackermann function dbpedia-eo: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 dbr:Ackermann function
prov:wasDerivedFrom	wikipedia-en:Ackermann_function?oldid=1296505024&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Ackermann_function
is dbo:wikiPageDisambiguates of	dbr:Ackermann
is dbo:wikiPageRedirects of	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:Akerman_function dbr:Akermann_function dbr:Inverse_Ackerman's_function dbr:Inverse_Ackermann dbr:Inverse_Ackermann_function dbr:Péter_function
is dbo:wikiPageWikiLink of	dbr:Graham's_number dbr:Kruskal's_algorithm dbr:Hyperoperation dbr:Primitive_recursive_function dbr:Planar_separator_theorem dbr:List_of_dynamical_systems_and_differential_equations_topics dbr:LFE_(programming_language) dbr:Minimum_spanning_tree dbr:Wilhelm_Ackermann dbr:Alpha_(disambiguation) dbr:LOOP_(programming_language) dbr:Disjoint-set_data_structure dbr:Recursion dbr:Unit_distance_graph dbr:Iterated_logarithm dbr:Exponentiation dbr:Paris–Harrington_theorem dbr:Sudan_function dbr:Rózsa_Péter dbr:F-algebra dbr:Double_recursion dbr:Hales–Jewett_theorem dbr:Computable_function dbr:Decider_(Turing_machine) dbr:Goodstein's_theorem dbr:Tetration dbr:Ramsey_theory dbr:Initial_algebra dbr:Computability_theory dbr:PR_(complexity) dbr:Reuben_Goodstein dbr:Large_numbers dbr:Pentation dbr:Fast-growing_hierarchy dbr:Conway_chained_arrow_notation dbr:Steinhaus–Moser_notation dbr:Ehrenfeucht–Mycielski_sequence dbr:Orders_of_magnitude_(numbers) dbr:Recursion_(computer_science) dbr:PL/SQL dbr:Robert_Tarjan dbr:Combinatorial_explosion dbr:Kruskal's_tree_theorem dbr:Gabriel_Sudan dbr:Ackermann dbr:Knuth's_up-arrow_notation dbr:Borůvka's_algorithm dbr:Register_machine dbr:Nonelementary_problem dbr:Tree_spanner dbr:List_of_mathematical_functions dbr:Davenport–Schinzel_sequence dbr:Component_(graph_theory) dbr:List_of_mathematical_logic_topics dbr:General_recursive_function dbr:List_of_Romanian_inventors_and_discoverers dbr:Ordinal_collapsing_function dbr:Exponential_growth dbr:Algorithm_characterizations dbr:Double_exponential_function dbr:BlooP_and_FlooP dbr:Kinetic_priority_queue dbr:List_of_types_of_functions dbr:Arrangement_of_lines dbr:Asymptotically_optimal_algorithm dbr:Constructive_set_theory dbr:Vector_addition_system dbr:Path_ordering_(term_rewriting) 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:Dynamic_connectivity dbr:Rosetta_Code dbr:Parallel_algorithms_for_minimum_spanning_trees dbr:Range_query_(data_structures) dbr:Superfunction dbr:Ackermann's_formula dbr:Laver_table dbr:Davenport–Schinzel_Sequences_and_Their_Geometric_Applications dbr:Akerman_function dbr:Akermann_function dbr:Inverse_Ackerman's_function dbr:Inverse_Ackermann dbr:Inverse_Ackermann_function dbr:Péter_function
is foaf:primaryTopic of	wikipedia-en:Ackermann_function