`BookProof.ComputableScarcity.exists_not_computable` : ∃ f : ℕ → ℕ, ¬ Computable f

Initializing...

`BookProof.ComputableScarcity.exists_not_computable` : ∃ f : ℕ → ℕ, ¬ Computable f · Prove2Me