Assertion: church's function | /r/HasProperty | reckonable
Facets:
Source sentences:
text: Stephen Kleene (1952) adds to the list the functions "reckonable in the system S 1 " of Kurt Gödel 1936, and Emil Post's (1943, 1946) "canonical [also called normal] systems".
text: It may also be shown that a function which is computable ['reckonable'] in one of the systems S i , or even in a system of transfinite type, is already computable [reckonable] in S 1 .