Yeah, I just have an entirely unreasonable love for continuity :-)
These days, of course, we are not surprised seeing maps from spaces of programs to continuous spaces (with all these Turing complete neural machines around us). But back then what Scott did was a revelation, the “semantic mapping” from lambda terms of lambda calculus to a topological space homeomorphic to the space of its own continuous transformations.
Yeah, I just have an entirely unreasonable love for continuity :-)
These days, of course, we are not surprised seeing maps from spaces of programs to continuous spaces (with all these Turing complete neural machines around us). But back then what Scott did was a revelation, the “semantic mapping” from lambda terms of lambda calculus to a topological space homeomorphic to the space of its own continuous transformations.