The paradox at the heart of mathematics: Gödel's Incompleteness Theorem - Marcus du Sautoy
- 860,041 Views
- 190 Questions Answered
- TEDEd Animation
Gödel’s incompleteness theorems state that within any system for arithmetic there are true mathematical statements that can never be proved true. The first step was to code mathematical statements into unique numbers known as Gödel’s numbers; he set 12 elementary symbols to serve as vocabulary for expressing a set of basic axioms. These symbols assigned specific numbers to unique statements and formulas. By doing so, Gödel was able to make self-referential statements using numbers, allowing him to write “this statement is unprovable”
While this might seem as a paradox, Gödel proved that it’s a true statement. If the statement is considered false, then that would mean the statement is provable, which would mean it’s true. To learn more about Gödel’s incompleteness theorem, check out these links by the Marcus du Sautoy, the educator of this lesson:- https://www.youtube.com/watch?v=lLsm-ceqyio- https://www.youtube.com/watch?v=O4ndIDcDSGc
To find out more about the power of mathematical proof as one of humanity's greatest shortcuts to the truth check out Thinking Better: the Art of the Shortcut. In this book du Sautoy outlines some of the powerful logical arguments and proofs that mathematicians have gathered over the two thousand years we have been doing mathematics in order to get us to our destination in the fastest and most efficient manner.https://harpercollins.co.uk/products/thinking-better-the-art-of-the-shortcut-marcus-du-sautoy?variant=32750330118222https://www.basicbooks.com/titles/marcus-du-sautoy/thinking-better/9781541600362/
Create and share a new lesson based on this one.