Gödel’s Incompleteness Theorem disturbed mathematicians for a long time, and still strikes some people as odd when they first encounter it. But at its heart it says there are things you cannot know. There are true statements that you cannot prove to be true. This goes along with Turnings' proof that there is no algorithm way to decide if something is follows from the axioms. That is called undecidable.
There is also at least one question in physics which has been shown to undecidable, and another in quantum physics which may be undecidable.
This is the video for "This is Math's Fatal Flaw" from Veritasium.
Hat tip to Political Calculations and The Hole at the Bottom of Math.
A very well done video explaining the meaning of Kurt Gödel's incompleteness theorems for a general audience, which are about the limits of mathematical knowledge.
No comments:
Post a Comment
Comment Moderation is in place. Your comment will be visible as soon as I can get to it. Unless it is SPAM, and then it will never see the light of day.
Be Nice. Personal Attacks WILL be deleted. And I reserve the right to delete stuff that annoys me.