Uploaded February 2018 | Updated September 2026, 13 hours ago
This lecture is part of a course on the Theory of Computation, by Professor Gabriel Robins at the University of Virginia (CS6160 Spring 2018), with PowerPoint slides at http://www.cs.virginia.edu/~robins/cs6160/ and other related videos at http://www.cs.virginia.edu/robins/videos.html
Specific topics covered in this lecture: generalized numbers, Boole, De Morgan, Babbage, difference and analytical engines, Ada Lovelace, Venn, Venn diagrams / humor, Carroll, Alice in Wonderland, Through the Looking Glass, semantics, Cantor, Russell, Principia Mathematica, Russell's paradox, "Pinocchio's paradox", diagonalization disguised, Hardy, Ramanujan, the Hardy-Ramanujan number 1729, Ramanujan identities, Good Will Hunting, Ramsey, pigeon-hole principle, monochromatic triangles in K_6, Ramsey theory, order among chaos, Ramsey numbers, "The Big Picture"
This lecture is part of a course on the Theory of Computation, by Professor Gabriel Robins at the University of Virginia (CS6160 Spring 2018), with PowerPoint slides at http://www.cs.virginia.edu/~robins/cs6160/ and other related videos at http://www.cs.virginia.edu/robins/videos.html
Specific topics covered in this lecture: generalized numbers, Boole, De Morgan, Babbage, difference and analytical engines, Ada Lovelace, Venn, Venn diagrams / humor, Carroll, Alice in Wonderland, Through the Looking Glass, semantics, Cantor, Russell, Principia Mathematica, Russell's paradox, "Pinocchio's paradox", diagonalization disguised, Hardy, Ramanujan, the Hardy-Ramanujan number 1729, Ramanujan identities, Good Will Hunting, Ramsey, pigeon-hole principle, monochromatic triangles in K_6, Ramsey theory, order among chaos, Ramsey numbers, "The Big Picture"
