What is PLUS times PLUS?

What is PLUS times PLUS? için indirme bilgileri ve video detayları
Yükleyen:
2swapYayınlanma tarihi:
23/03/2025Görüntülenme:
1.5MAçıklama:
In this video, the creator discusses the Church‑Turing Thesis and Theorem, clarifying that the theorem states the equivalence of Turing machines and lambda calculus, while the thesis is an informal claim about arbitrary computation. They also mention that this is the first example of animated beta‑reductions of visual lambda expressions, though they note that Paul Brauner’s videos do not explicitly animate the mechanics of one step of beta‑reduction. The video touches on how Lisp and Rust blur the line between functional and imperative programming, and the creator advises taking the chart at the end with a grain of salt. Additionally, they explain that the expression (*(+ +)) can be treated as a 3‑argument function, reducing to (c^b)*(a+c). At 4:28, a number of visualizations for the Lambda Calculus were shown, including David C Keenan’s Graphical Notation, Robin Piedeleu’s notation, de Bruijn indices, Vex, and Visual Lambda Calculus.
Benzer videolar: What is PLUS times PLUS

"O segredo do comfyUi para aumentar a escala com o modelo Flux em uma única etapa!"

Uma configuração realmente produtiva do Arch Linux

ВЕСЬ UNREAL ENGINE ЗА 5 ЧАСОВ | Курс для новичков в Unreal

Reproduzindo a Coca-Cola Perfeitamente (Levei um Ano)

Group theory, abstraction, and the 196,883-dimensional monster

