G Del S Incompleteness Theorem Computerphile

Summary

Marcus du Sautoy discusses Gödel's MAIN VIDEO: youtu.be/O4ndIDcDSGc More links & stuff in full description below ↓↓↓ Extra footage part 2: ... good explanation from his interview with joe rogan youtube.com/watch?v=GEw0ePZUMHA. It's Gödels all the way down... Gödel's Kurt Gödel rocked the mathematical world with his This video is part of an online course, Intro to Theoretical Computer Science. the course here: ... In order for math to prove its own correctness, it would have to be incorrect. This result is Gödel's second In this reaction we take a look at a TED-ed math video titled: "The paradox at the heart of mathematics: Gödel's Kurt Gödel, at the age of 25, demonstrated a hole in the very foundations of mathematics with broad philosophical implications. Lex Fridman Podcast full episode: youtube.com/watch?v=14OPT6CcsH4 Thank you for listening ❤ our ... Joel David Hamkins, Professor of Logic, Oxford University This lecture is based on chapter 7 of my book, Lectures on the ...