Related terms:
relative computability
recursively enumerable sets
recursive function
total recursive function
logic empirical
turing degrees
uncountably many
calculable
effectively calculable
algorithmically
priority method
sufficiently strong
logical inference
any function
stephen kleene
constructive mathematics
turing jump
if the word
models of computation
medieval logicians
consistency proof
total computable
finite sequence
total computable function
partial recursive function
relevance logic
second order arithmetic
hilbert's program
Wikipedia sources:
Computability theory
Mathematical logic
Computable function
Recursively enumerable set
Logic
Context for words:
recursion
theory
|
|