let G : ℕ→(ℝ→ℝ) be an enumeration of all computable functions from the reals to the reals, in order from best to worst

Posters: davidad. davidad

2 likes recorded by the source corpus.

Topics: Math

View Post: https://x.com/davidad/status/1499519948355510275