"Strange Loops: Capturing Knots With Powerful Notations" by Katherine Ye
42:43
"Propositions as Types" by Philip Wadler
43:06
"big-bang: the world, universe, and network in the programming language" by Matthias Felleisen
33:31
"Visualising program execution" by Jan Paul Posma
31:35
"From Geometry to Algebra and Back Again: 4000 Years of Papers" by Jack Rusher
1:33:00
Olasılık, Rastgelelik ve Matematik Felsefesi – Prof. Dr. Ali Nesin
3:39
Roger Penrose explains Godel's incompleteness theorem in 3 minutes
1:12:14
John Conway Distinguished Lecture - The Symmetries of Things
22:22