4:50Mathematical Logic, part 7: coding Peano arithmetic into itselfMarco Benini106 viewsView & Download
23:07Mathematical Logic, part 7: representable entities (extended lesson)Marco Benini118 viewsView & Download
7:46Mathematical Logic, part 7: Gödel’s first incompleteness theoremMarco Benini197 viewsView & Download
9:29Mathematical Logic, part 7: Gödel’s second incompleteness theoremMarco Benini338 viewsView & Download
1:3199% Fail This "Simple" Math Logic Puzzle! Can You Solve P-7? 🧠🔢Nikhil Ahiran293 viewsView & Download