4 ms·
> -- start off with theory like turing machines, first order predicate logic and work your way up Or start off with the lambda calculus-based alternative to Tu
by Turing_Machine 5y ago
> -- start off with theory like turing machines, first order predicate logic and work your way up
Or start off with the lambda calculus-based alternative to Turing machines, as in seen in SICP.
- whimsicalism 5y agoI learned this stuff in my school following the textbook https://introtcs.org/public/ https://introtcs.org/public/ and found that in general it was nice to put the actual "gory details" mechanics of how a TM or lambda calculus works into the background to focus on computability.