My brain mushe together Turing and Von Neumann and Church a lot because they’re all were working on the SAME problems from different perspective, mostly unknown to each other at first, and were all ultimately compatible with one another and all indispensible for the digital computing soon to come and the ability to program computers using English words – to be compiled – the equivalence of programs and data, software and hardware
—
Requiring TYPES (starting with Typed Lambda Calculus was the ‘trick’ in lambda calculus that broke symmetry from untyped lambda calculus — things are always either going from symmetries to asymmetrical or back again and there’s always some little ‘tool’ in the middle of it doing something weird that is useful but often causes problems when faced. There’s one in mathematical axioms in number theory too… “clopens” I think? I forget.
—