What is PLUS times PLUS?

معلومات تحميل وتفاصيل الفيديو What is PLUS times PLUS?
المؤلف:
2swapتاريخ النشر:
23/3/2025المشاهدات:
1.5Mالوصف:
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.
فيديوهات مشابهة: What is PLUS times PLUS

"سر واجهة المستخدم المريحة للارتقاء بنموذج Flux في خطوة واحدة!"

إعداد Arch Linux فعال فعليًا

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

تقليد كوكاكولا بشكل مثالي (استغرق الأمر مني عاماً كاملاً)

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

