Lambda Calculus vs. Turing Machines (Theory of Computation) ( youtu.be )
Advait Shinde discusses the history of the theory of computation, delving into axiomatic thinking, Peano axioms, Turing Machines, Lambda Calculus, the Y Comb...
![](https://mbin.grits.dev/media/cache/resolve/entry_thumb/0f/54/0f544697925dcb39be523c6eaa4ab2a583478bf4c6f1d13a3e7ad4900a42e542.jpg)
This magazine is from a federated server and may be incomplete. For a complete list of posts, browse on the original instance.
Advait Shinde discusses the history of the theory of computation, delving into axiomatic thinking, Peano axioms, Turing Machines, Lambda Calculus, the Y Comb...