Kurt Godel: The World's Most Incredible Mind (Part 3 of 3)





The interactive transcript could not be loaded.



Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Uploaded on Nov 9, 2011

Kurt Godel: The World's Most Incredible Mind.

"Either mathematics is too big for the human mind or the human mind is more than a machine" ~ Godel

Kurt Godel (1931) proved two important things about any axiomatic system rich enough to include all of number theory.

1) You'll never be able to prove every true result..... you'll never be able to prove every result that is true in your system.

2) Godel also proved that one of the results that you can never prove is the result that says that the system is consistent. More precisely: You cannot prove the consistency of any mathematical system rich enough to include the known theory of numbers.

Hence, any consistent mathematical system that is rich enough to include number theory is inherently incomplete.

Second, one of the propositions whose truth or falsity cannot be proved within the system is precisely the proposition that states that the system is consistent. "

What Godel's proof means, then, is that we can't prove that arithmetic—let alone any more-complicated system—is consistent.

For 2000 years, mathematics has been the model—the subject—that convinces us that certainty is possible. Yet Now there's no certainty anywhere—not even in mathematics.



When autoplay is enabled, a suggested video will automatically play next.

Up Next

Sign in to add this to Watch Later

Add to