Lambda Calculus vs. Turing Machines (Theory of Computation)

Описание к видео Lambda Calculus vs. Turing Machines (Theory of Computation)

Advait Shinde discusses the history of the theory of computation, delving into axiomatic thinking, Peano axioms, Turing Machines, Lambda Calculus, the Y Combinator, and the Von Neumann Model.

Brilliant explanation about the Y Combinator: https://mvanier.livejournal.com/2897....

Advait is the CEO of GoGuardian - a K12 education software company in Los Angeles: https://www.goguardian.com/

Комментарии

Информация по комментариям в разработке