Lambda Calculus vs. Turing Machines (Theory of Computation) (youtu.be)

submitted 8 months ago by demesisx@infosec.pub to c/functional_programming@programming.dev

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

this post was submitted on 17 Mar 2024

22 points (100.0% liked)

Functional Programming

1389 readers

1 users here now

founded 1 year ago

MODERATORS

Ategon@programming.dev

cercerilla@programming.dev