this post was submitted on 17 Mar 2024
1 points (100.0% liked)

Functional Programming

1272 readers
17 users here now

founded 1 year ago
MODERATORS
[email protected]
[email protected]
1
Lambda Calculus vs. Turing Machines (Theory of Computation) (youtu.be)
submitted 8 months ago by [email protected] to c/[email protected]
0 comments fedilink hide all child comments
 

Advait Shinde discusses the history of the theory of computation, delving into axiomatic thinking, Peano axioms, Turing Machines, Lambda Calculus, the Y Comb...

no comments (yet)
sorted by: hot top controversial new old
there doesn't seem to be anything here