Related terms:
kleene
logic
automata
lambda
formal
axiomatic
automaton
undecidable
computation
perform
turing complete
sequence
recursion theory
turing machine
function
information theory
mathematical logic
mathematics
incompleteness theorem
universal turing machine
computer science
programming language
Wikipedia sources:
Malware
Turing completeness
Theory of computation
Randomness
Mathematics
Mathematical logic
Turing machine
Context for words:
computability
theory
|
|