계산 가능한 함수
Sign in to saveAlso known as effectively computable function, effectively calculable function
함수의 값을 계산하는 알고리즘이 존재하는 함수
Connections
computability theory
Entity
semantic theory of truth
Entity
natural number
Entity
mathematical logic
Entity
injection
Entity
countable set
Entity
computational complexity theory
Entity
first-order logic
Entity
Peano axioms
Entity
formal system
Entity
recursive set
Entity
μ-recursive function
Entity
semantics of logic
Entity
recursively enumerable set
Entity
structure
Entity
effective method
Entity
ground expression
Entity
diagram
Entity
logic
Entity
Alan Turing
Entity