아커만 함수 Ackermann function

https://ko.wikipedia.org/wiki/아커만_함수

https://en.wikipedia.org/wiki/Ackermann_function
named after Wilhelm_Ackermann
total_computable_function이지만 primitive_recursive_function은 아닌 함수.

함수가 primitive recursive이면 total_function이며 computable_function인데, 그 역은 아니다. Ackermann 함수가 그 예.

분야: 계산가능성이론,computability_theory - about 계산가능성,computability


"아커만 함수"
Ndict:아커만 함수
Ggl:아커만 함수
Bing:아커만 함수
"Ackermann function"
Ggl:Ackermann function
Bing:Ackermann function
Ndict:Ackermann function


함수,function 펑션,function
Retrieved from http://red-ruby.com/wiki/wiki.php/아커만_함수,Ackermann_function
last modified 2023-10-05 21:29:46