recursive set
Sign in to saveAlso known as decidability theory
Set where an algorithm can take a number as an input and can decide whether the number belongs to the set
Connections
semantic theory of truth
Entity
mathematical logic
Entity
image
Entity
first-order logic
Entity
formal system
Entity
semantics of logic
Entity
recursively enumerable set
Entity
structure
Entity
diagram
Entity
ground expression
Entity
logic
Entity
Bertrand Russell
Entity
International Standard Book Number
Entity
algorithm
Entity
natural number
Entity
prime number
Entity
set theory
Entity
function
Entity
John von Neumann
Entity
set
Entity