This is the kind of evolved computer science that was going on when I was a teenager. Have an upvote eig!

My addition: it's funny for how much speculation we get in the, "hard cognitive science" (RIP) that in lieu of the big insights we get from Godel, Turing, Russell that many/most undergraduates and even post-graduates still haven't internalized Wittgenstein's work especially the Tractatus. I feel like it gets us to, "the questions you're asking about how life works and the questions about what is at the core of logic and mathematics (language) are definitely related but not in any of the fundamental ways you hope they are..."

For the uninitiated-- try reading the thing in one sitting. It takes about an hour:

https://wittgensteinproject.org/w/index.php/Tractatus_Logico...