Related terms:
emil post
counter machine
primitive recursive
statements about natural numbers
will eventually halt
about natural numbers
effectively calculable
everywhere defined
church's thesis
weaker form
modern programming
abuse of notation
primitive recursive functions
program machine
turing's proof
observed squares
defined for all
natural logarithm function
martin davis
computable function
operational semantics
stephen kleene
chomsky hierarchy
Wikipedia sources:
Partial function
Algorithm characterizations
Halting problem
Abuse of notation
Denotational semantics
Domain of a function
Register machine
Context for words:
partial
function
|
|