What Would the World Look Like if Everything was Computable?: An Introduction to Hyland’s Effective Topos
Suppose that we wanted to construct a mathematical universe where all objects were computable in some sense. How would we do it? Well, we could certainly allow the set into our universe: natural numbers are the most basic computational objects there are. (Notation: I’ll use to refer to when we’re considering it as part of […]