Ackermann function

total non-primitive-recursive computable function
rdfs:label
"Ackermann function"@en
skos:altLabel
"اقتران أكرمان"@ar
schema:description
"total non-primitive-recursive computable function"@en
schema:dateModified "2026-09-08T18:10:42+00:00"^^xsd:dateTime
schema:version 2542395555
wikibase:identifiers 10
wikibase:sitelinks 29
wikibase:statements 19
p:P10283 wd:statement/Q341835-3407C0D5-5502-446F-9CDC-685FB73A42AD
p:P12888 wd:statement/Q341835-00DDC2E6-5343-40D0-8C16-1B0261C0FC3F
p:P138 wd:statement/q341835-77f23341-46c4-56cf-eb83-9342d3cf5707
p:P2534 wd:statement/Q341835-1f8b2ef1-432e-f4c3-96de-a3fd15d4a9dd
p:P2579 wd:statement/Q341835-0c96510a-4836-8758-c77b-f8349602d17d
p:P2812 wd:statement/Q341835-4FFF47A5-FE09-4DCC-B74B-58B831A178CF
p:P31 wd:statement/Q341835-7b7cfb9f-471f-4d15-e180-bb9f7b37a5b5
wd:statement/Q341835-a643b77d-4156-e884-8c2b-f89299df2abc
wd:statement/Q341835-d6e0b4ad-415b-0472-b20f-57b7e46d1ba9
p:P5047 wd:statement/Q341835-A8F9FBC2-AD39-4666-B525-D7BBC33456B7
p:P5106 wd:statement/Q341835-B744B784-36E3-462A-9173-662ECC9DF7ED
wd:statement/Q341835-C27E0AEF-03E1-4032-B068-464892EEE67C
p:P6104 wd:statement/Q341835-AAE8EAC3-53A9-45F1-8A59-B95C26197E43
p:P6366 wd:statement/Q341835-EE597B21-B5F1-4B76-A1C8-F291E444BE6E
p:P646 wd:statement/Q341835-BC03A893-5F41-447B-9CAA-B09C156847D1
p:P7235 wd:statement/Q341835-c310e978-45d9-eb12-8d57-cb91976e8381
wd:statement/Q341835-cf1a1af0-4806-aada-6e5c-79de67462c3f
p:P7554 wd:statement/Q341835-0B8236AF-49FF-417D-A728-B9C6F2C7D67C
p:P9621 wd:statement/Q341835-E843C7CB-3B57-49B1-BD77-4180DE1D25E8
p:direct-normalized/P6366 <https://makg.org/entity/33436860>
wdt:P10283 "C33436860"
wdt:P12888 "df-ack"
wdt:P138 Wilhelm Ackermann
wdt:P2534 "<math class="mwe-math-element mwe-math-element-inline" xmlns="http://www.w3.org/1998/Math/MathML"><mrow data-mjx-texclass="ORD"><mstyle displaystyle="true" scriptlevel="0"><mi>A</mi><mo stretchy="false">(</mo><mi>m</mi><mo>,</mo><mi>n</mi><mo stretchy="false">)</mo><mo stretchy="false">=</mo><mrow data-mjx-texclass="ORD"><mo data-mjx-texclass="OPEN">{</mo><mtable columnspacing="1em" rowspacing="4pt" columnalign="left left"><mtr><mtd><mi>n</mi><mo stretchy="false">+</mo><mn>1</mn></mtd><mtd><mi>m</mi><mo stretchy="false">=</mo><mn>0</mn></mtd></mtr><mtr><mtd><mi>A</mi><mo stretchy="false">(</mo><mi>m</mi><mo stretchy="false">&#x2212;</mo><mn>1</mn><mo>,</mo><mn>1</mn><mo stretchy="false">)</mo></mtd><mtd><mi>m</mi><mo>&gt;</mo><mn>0</mn><mo>,</mo><mi>n</mi><mo stretchy="false">=</mo><mn>0</mn></mtd></mtr><mtr><mtd><mi>A</mi><mo stretchy="false">(</mo><mi>m</mi><mo stretchy="false">&#x2212;</mo><mn>1</mn><mo>,</mo><mi>A</mi><mo stretchy="false">(</mo><mi>m</mi><mo>,</mo><mi>n</mi><mo stretchy="false">&#x2212;</mo><mn>1</mn><mo stretchy="false">)</mo><mo stretchy="false">)</mo></mtd><mtd><mi>m</mi><mo>&gt;</mo><mn>0</mn><mo>,</mo><mi>n</mi><mo>&gt;</mo><mn>0</mn><mo stretchy="false">.</mo></mtd></mtr></mtable><mo fence="true" stretchy="true" symmetric="true" data-mjx-texclass="CLOSE"></mo></mrow></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML
wdt:P2579 computability theory
wdt:P2812 "AckermannFunction"
wdt:P31 function
mathematical concept
binary function
wdt:P5047 "Ackermann_function"
wdt:P5106 "AckermansFunction"
"ackermann"
wdt:P6104 WikiProject Mathematics
wdt:P6366 "33436860"
wdt:P646 "/m/0125s"
wdt:P7235 "<math class="mwe-math-element mwe-math-element-inline" xmlns="http://www.w3.org/1998/Math/MathML"><mrow data-mjx-texclass="ORD"><mstyle displaystyle="true" scriptlevel="0"><mi>m</mi></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML
"<math class="mwe-math-element mwe-math-element-inline" xmlns="http://www.w3.org/1998/Math/MathML"><mrow data-mjx-texclass="ORD"><mstyle displaystyle="true" scriptlevel="0"><mi>n</mi></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML
wdt:P7554 "Ackermann_function"
wdt:P9621 "funzione-di-ackermann"
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata