`BookProof.ComputableScarcity.exists_differs_infinitely_often_from_all_computable` : ∃ f : ℕ → ℕ, ∀ g : ℕ → ℕ, Computable g → {n

Initializing...

`BookProof.ComputableScarcity.exists_differs_infinitely_often_from_all_computable` : ∃ f : ℕ → ℕ, ∀ g : ℕ → ℕ, Computable g → {n | f n ≠ g n}.Infinite · Prove2Me