Dana S. Scott: Lambda Calculus, Then and Now
Dana Scott, professor emeritus of Carnegie Mellon University, discusses Lambda Calculus in a lecture given on the occasion of Princeton University's centennial celebration of Alan Turing. Learn more at www.princeton.edu/turing #turingprinceton
▶︎
Lambda Calculus Then and Now
▶︎
Andrew Appel: Turing, Gödel, and Church at Princeton in the 1930s
▶︎
A Brief History of Quantum Mechanics - with Sean Carroll
▶︎
Programming Languages: Lambda Calculus - 1
▶︎
We're 99.9% sure this pattern is true, but no one can prove it
▶︎
William Dunham, A tribute to Euler
▶︎
"From Geometry to Algebra and Back Again: 4000 Years of Papers" by Jack Rusher
▶︎
Terence Tao - Machine-Assisted Proofs (February 19, 2025)
▶︎
Philip Wadler: Church's Coincidences
▶︎
The Riemann Hypothesis, Explained
▶︎
Dana Scott – Lambda Calculus, Forcing & the Foundations of Math | #14 aboutlogic
▶︎
Prof. Dana Scott - Geometry Without Points
▶︎
Terence Tao: Nobody Understands Why AI Actually Works
▶︎
The most beautiful formula not enough people understand
▶︎
Lambda Calculus - Computerphile
▶︎
"Categories for the Working Hacker" by Philip Wadler
▶︎
David Harel: Standing on the Shoulders of a Giant -- One Person's Experience of Turing's Impact
▶︎
A Flock of Functions: Lambda Calculus and Combinatory Logic in JavaScript | Gabriel Lebec @ DevTalks
▶︎
"A Little Taste of Dependent Types" by David Christiansen
▶︎