Thanks for sharing. I remember reading Introduction to Lambda Calculus many years ago and it was one of those times where I had crazy math dreams and would wonder around SF convinced everything is functions. Like literally everything.
Reminds me of a Pynchon novel or my favorite lyrics from The Dismemberment Plan.
"So in the end, whatever, we die, we dissolve / Equations unbalanced, riddles unsolved / And we were never connected or involved / Except for the intersections and crazy mathematics / With no time and no space and no schedule and no place."