Set_of_Codes_for_URM_Instructions_is_Primitive_Recursive
Provedcomputabilityprimitive-recursive-functionsproofwikiurm-programs
The set of codes of all basic URM instructions is primitive recursive.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem Set_of_Codes_for_URM_Instructions_is_Primitive_Recursive : ∃ (S : Set ℕ), ∃ (f : ℕ → Bool), (∀ n, f n = true ↔ n ∈ S) := by sorry
Source