The paradox at the heart of mathematics: Gödel's Incompleteness Theorem - Marcus du Sautoy
ฝัง
- เผยแพร่เมื่อ 20 ก.ย. 2024
- Explore Gödel’s Incompleteness Theorem, a discovery which changed what we know about mathematical proofs and statements.
--
Consider the following sentence: “This statement is false.” Is that true? If so, that would make the statement false. But if it’s false, then the statement is true. This sentence creates an unsolvable paradox; if it’s not true and it’s not false- what is it? This question led a logician to a discovery that would change mathematics forever. Marcus du Sautoy digs into Gödel’s Incompleteness Theorem.
Lesson by Marcus du Sautoy, directed by BASA.
Support Our Non-Profit Mission
----------------------------------------------
Support us on Patreon: bit.ly/TEDEdPat...
Check out our merch: bit.ly/TEDEDShop
----------------------------------------------
Connect With Us
----------------------------------------------
Sign up for our newsletter: bit.ly/TEDEdNew...
Follow us on Facebook: bit.ly/TEDEdFac...
Find us on Twitter: bit.ly/TEDEdTwi...
Peep us on Instagram: bit.ly/TEDEdIns...
----------------------------------------------
Keep Learning
----------------------------------------------
View full lesson: ed.ted.com/les...
Dig deeper with additional resources: ed.ted.com/les...
Animator's website: basaestudio.com
----------------------------------------------
Thank you so much to our patrons for your support! Without you this video would not be possible! Dwight Schrute, Dianne Palomar, Marin Kovachev, Fahad Nasser Chowdhury, Penelope Misquitta, Hans Peng, Gaurav Mathur, Erik Biemans, Tony, Michelle, Katie and Josh Pedretti, Sunny Patel, Hoai Nam Tran, Stina Boberg, Kack-Kyun Kim, Michael Braun-Boghos, Ken, zjweele13, Jurjen Geleijn, Anna-Pitschna Kunz, Edla Paniguel, Elena Crescia, Thomas Mungavan, Jaron Blackburn, Venkat Venkatakrishnan, ReuniteKorea, Aaron Henson, Rohan Gupta, Begum Tutuncu, Ever Granada, Mikhail Shkirev, Brian Richards, Cindy O., Jørgen Østerpart, Tyron Jung, Carolyn Corwin, Carsten Tobehn, Katie Dean, Ezgi Yersu, Gerald Onyango, alessandra tasso, Côme Vincent, Doreen Reynolds-Consolati, Manognya Chakrapani, Ayala Ron, Samantha Chow, Eunsun Kim, Phyllis Dubrow, Ophelia Gibson Best, Paul Schneider, Joichiro Yamada and Henrique 'Sorín' Cassús.
"Breaking math" is the most badass thing a person could ever achieve and you can't change my mind
Can you prove that your mind cannot be changed?
@George Khoory agreed, he just "broke" the concept of "math is this because of this, period"
@George Khoory it is not 100% impossible to violate physics and you can't prove otherwise.
@George Khoory imo just like math or any other things, physic is just knowledge and physic laws are just agreement that people agree upon based on what have been known, and because of the fact that there are things that we dont know that we dont know, physic laws maybe true today but not so true in the future. That why i thing it is definitely possible to violate a 'current' physic law
How about breaking the jokers mind to where he snuffs it? 🚨🚨🚨
"Jim is his own worst enemy, and enemy of my enemy is a friend. But...." - Dwight Schrute
Same Russell Paradox
Barber problem
Unexpectedoffice
Lol
That's not really a paradox, is it?
@@reetjaiswal3950 then what is it?
"Its Gödels all the way down"
most underrated joke in this entire series.
Surely a reference to Terry Pratchett ...
Came to the comments to say exactly this and was glad to see it was already taken care of.
Came to the comments to say exactly this and was glad to see it was already taken care of. (2)
@@dineshgoswami6237 wat does it mean
@@devilvocano420 brief history of time.. stephen hawking
LOL, Godel, Noether, and Hilbert are drawn so adorable
@@DyslexicMitochondria Hey bro I watch ur videos. Love your channeI
Ohhh it was Hilbert! I was thinking Russell.
Who is LOL?
Definitely one of my favorite videos animation wise
@ʜᴏɴᴇʏᴘɪᴇ bruh i was just kidding 😆
Isaac Newton dancing for Gödel is now ingrained in my mind.
It's Gödels all the way down!
Oh lmao
@@foxgaming76yt24 no you do not
@@hieuminh9164 Huh
That was funny
Imagine if he didn’t manage to prove his Incompleteness Theorems because they turned out to be true but unprovable. Complete mindfuck that would have been
=))))
If they were true but unprovable that would have been proof right there, but that means it would be true and provable which makes it so there is no proof, which would make it true and unprovable
@@Sir-Taco wow
@@Sir-Taco if the only way to prove that some mathematical states are unprovable is itself unprovable, then you can't know if things are unprovable. You wouldn't know it was unprovable. It would just look like it was very hard to solve.
I think that is the case! Incompletene or Inconsistent may be Unprovable truth.
heisenberg's uncertainty principle: *here comes trouble...*
gödel's incompleteness theorem: *...and make it double!*
Imagine a hero mathematician comes out of nowhere and just solves them like that russian mathemician dude who solved an equation which was very difficult and just went back into living his normal life as a regular dude
To protect the world from assertations
To confuse the people of every nation
To denounce the evils of truth and false
To extend all measurements containing faults
Werner
Kurt
Team Uncertainty put error bars on the speed of light
Surrender now or your certitude will be out of sight
Meowth, is that right?
That's a definite A for effort. Was not expecting this on the comments. Thank you
@@mrsugar7528 Grigori Perelman on Poincare conjecture?
@@JohnathanLeeSprite That guy looks like a hippie but takes life seriously. But he seemed like an idealist. He should have just taken the Fields Medal.
Gödel casually making mathematicians notice that they have wasted 20 years of their lives in an unsolvable problem while being that cute in the video lol
At least they wouldn't spend more
Yeah
Godel was a Mathematician too. I understand that people might be confused about logic. But logic is just a branch of mathematics.
Still , math works , we live in the world full of stuffs that uses maths directly or indirectly
Life is a waste no matter what you do
Godel almost received his Nobel Prize but his theorem was incomplete.
Nice one! But mathematicians don't get a Nobel, they have the Fields Medal.
@@cerendemir9977 John Nash got it.
@@rince7A Yes, in economy
@rince7A The Nobel Memorial prize of economics is a fake Nobel
@@cerendemir9977 Fields Medal was introduced in 1936 and Goedel who lived until 1978 did not receive it.
Mathematicians: trying to prove that all equations can only be true or false
Gödel: hippity hoppity your certainty is my property
Lol
sheldon, is that you?
Wrong
@@historicwine1283 w-what's wrong 😟 😅
@@AKHELUS. What Gödel says is that there are statements that cannot be proved, no that they are not true nor false.
Teacher: Why didn't you show your complete solution?!?
Me: well ma'am, according to the Incompleteness Theorem....
Teacher : but that solution was proved to be proveable , i know since *I DID BY SOlVING IT*.
Teacher: "So you've chosen death 💀"
@@LolwutLol2000 They are an definition , not a statement.
Teacher: I'm well aware of Godel. Too bad your oversimplified Ted-Ed video didn't teach you enough.
@@-Subtle- you may have a brain but... I HAVE A GUN
*"...and* *he* *was* *even* *less* *confident* *that* *Mathematics* *was* *the* *right* *tool* *to* *investigate* *this* *problem."*
This is a big lesson on life. Sometimes you have to go outside the system to identify and solve the problems within it. And you have to have the courage to do so, even if doing so leaves you completely alone, and working completely alone for a long time. The moment you get to strongly suspecting there's a major problem in something that matters a lot to you, you should start looking into it and you should consider that the structure of the system in which the problem lies may be contributing to it. The work of Gödel is a textbook example of this: the structure of Mathematics disguises paradoxes within Axiomatic proofs. So Gödel divested a bit from Mathematics and went outside the field to (a part of Philosophy called) Logic to try to identify (and maybe even solve) these problems. And he ended up revolutionizing his field.
Whether the system is mathematics, or the world-economy, or even your own government, if there are problems you're noticing more and more, you may have to go outside the system to truly understand what's going on. The system may be disguising or even contributing to these problems. And you may be the only one who can solve (or begin to solve) them because you may be the only person who is able to see them.
And so the work begins, and in all likelihood it's going to be heavy. And as you work, you may have to endure a lot of push-back and isolation before you can make a big change happen. There's almost always consequences for people trying to fix the problems of the world. You should do it anyway. It's only through honestly representing your truth in the face of the falsehoods of your era that you and the world will know peace.
brother, thank you for this comment.., I appreciate it... I
@@naimejb7921 you’re welcome ✌️
@Anonymous :)
Thanks
@Israel Gawiseb you’re welcome! Thank you for your kind words.
A long time ago, the mathmaticians lived together in harmony. But everything changed when Gödel published his incompleteness theorem
guys it's been over a year, PLEASE stop replying
Guys it was funny for the last two years, but you can stop replying to this now.
help
Mathematicians have regularly suffered existential crises since the beginning of history: Zeno's Paradox, irrational numbers, Non-Euclidean Geometry, Russell's Paradox, Halting Problem etc. One would think they'd have gotten used to it by now.
@@nHans isn't this video's paradox the same as the halting problem?
@@ELYESSS There are similarities in the proofs, yes, in the sense that in both proofs, you use self-reference to create a paradox. The problems themselves are, of course, quite different and were solved by different people:
• Incompleteness: Gödel
• Halting Problem: Independently by Alonzo Church and Alan Turing.
(I know that Turing's proof uses self-reference; unfortunately I'm not aware how Church solved it.)
@@nHans okay lets say paradoxes have ruined mathematician lives and not even einstein would even safe math
it all changed when the fire nation attacked
For those who don't quite understand what "It's Godel all the way down" means.
The phrase "It's turtles all the way down" comes from an anecdote told in the opening to Stephen Hawking's A Brief History of Time(Edit: although it is not the anecdote's or the saying's real origin):
A well-known scientist (some say it was Bertrand Russell) once gave a public lecture on astronomy. He described how the earth orbits around the sun and how the sun, in turn, orbits around the center of a vast collection of stars called our galaxy. At the end of the lecture, a little old lady at the back of the room got up and said: "What you have told us is rubbish. The world is really a flat plate supported on the back of a giant tortoise." The scientist gave a superior smile before replying, "What is the tortoise standing on?" "You're very clever, young man, very clever", said the old lady. "But it's turtles all the way down!"
The phrase is used to describe any system that appears to have dependencies that never end. In the anecdote old lady said that the Earth is flat and is supported on the back of a turtle, but that creates the fact that the turtle needs something to stand on, so the lady says that "It's turtles all the way down" which means that every turtle stands on another turtle which stands on another turtle and so on.
For another example, imagine accountability in a (hypothetical) police department. The citizens are policed by police, the police are policed by internal affairs, which might lead to the formation of an "internal internal affairs" to police internal affairs. Someone might describe this system of policing as "turtles all the way down", meaning that the system of policing never ends.
So "It's Godels all the way down" means that even if someone tries to make unprovebly true statements new axioms it would create new unprovebly true statements and if someone tries to make them axioms there will be new unprovebly true statements and so on, like said in the video.
I do hope it wasn't long enough for you to get bored, but detailed enough so that you now get what's going on. Have a great day.
Edit courtesy of @silver6054 : In the form of "rocks all the way down", the saying dates to at least 1838, when it was printed in an unsigned anecdote in the New-York Mirror. A version of the saying in its "turtle" form appeared in an 1854 transcript of remarks by preacher Joseph Frederick Berg addressed to Joseph Barker:
My opponent's reasoning reminds me of the heathen, who, being asked on what the world stood, replied, "On a tortoise." But on what does the tortoise stand? "On another tortoise." With Mr. Barker, too, there are tortoises all the way down. (Vehement and vociferous applause.)
- "Second Evening: Remarks of Rev. Dr. Berg"
So, I suppose Stephen Hawking was just the more known person to popularize the saying. Thanks to @silver6054, again, for the correction.
Well you'd like to know i generally don't read this much in a comment like you said "get bored" but I did find your explanation so intriguing... that look! I am even leaving a comment to notify you😂. It was good btw!
Thanks for this explanation. I'm no mathematician (far from it) but very intrigued by them, and I found this video quite distrubing and interesting at the same time. Your comment just completed with a great metaphor the theory of unprovable axioms I wasn't sure to get properly. Plus the fact that's still very modern problem (flat earthers and so on).
Thanks a lot a lot a lot (and so on ... :D )
Kudos to your patience.
Ty! You da real mvp
Men thankyou thankyou thankyou thankyou
A math professor I had said this, "No arbitrary system of rules can explain itself without external input"
Alfred Tarski.
Same reason you can't use a word in its own definition. It's circular logic.
Me: can barely do fractions
Gödel: *breaks the entire field of mathematics spine over his knee*
He Bautista Bombed it on a table!
Gödel is the bane to maths’s batman
It's more like giving it the ability to turn invisible
50 years of attempts, beginning with the work of Gottlob Frege and culminating in Principia Mathematica and Hilbert's formalism, to find a set of axioms sufficient for all mathematics just gets thrown under the bus when Godel finds his Theorem
“The man who broke math”
Me when the calculator says *syntax error*:
*look what he needs to mimic a fraction of my power*
+
Lol
My math teachers always hated my questions. Ignored them with nervous laughter or acted bothered or said something along the lines of "that's a whole other discussion." Yeah. They were afraid of me.
@Franklin Roe how to make baby? I want baby
@Franklin Roe why was six scared of seven?
I remember when I was in thrid gradr my math books had written in the cover "Maths make sense". And as a kid that hated math, I spent time trying to figure out any mistake in it, something that didnt make sense. I actually did it a few times, buuut it was actually just me making mistakes, not maths. Well, glad to see one guy did my childhood quest
But it still makes sense
terrance howard is like that. Thought he was breaking math but he was actually just making mistakes.
“Someday a real rain will come and wash all the certainty off the streets “-Gödel
I also like his other quote:
"The accumulated filth of all their certainty will foam up about their waists and all the physicists and mathematicians will look up and shout 'Save us!' and I'll whisper 'No.'" -Gödel
Certainly.
Wow!! Profound!!
"He didn't say that." - A. Einstein
@@mrrodriguezHLP "I guess it comes down to a simple choice,really,get busy proving or get busy assuming"-Gödel
You guys should make a video about me titled: "the man math broke"
that would be pretty unremarkable seeing that since every highschooler can be called that
@@manuelmathew848 not every :)
@@spoopyscaryskelebones3846 goddamit
@@manuelmathew848 more than 50% then 😂
Underrated comment
not only do i appreciate the concise synopsis of the theorem, i also appreciate getting to see godel dancing around in glee
Socrates: *How did this guy not get poisoned?*
Gödel: Oh wait...
Underrated comment
@@Athlin I’m pretty sure Godel had a severe fear of being poisoned. He only trusted his wife to prepare him food and refused to eat once she died until he died of malnutrition. Something along those lines
@@maximumoverdrive2676 Wow that actually a pretty terrible way to die. Was really someone after him have there been aptempt at his life or did he become paranoid?
@@maximumoverdrive2676 he is just paranoid, his wife was not dead beside, she just has to go to hospital for six months because of stroke and he hadn't eaten much the whole time. When she came back, he was 30kg. She brought him to hospital immediately, but unfortunately, some week later...
@@franxx941 He became paranoid after his close friend Moritz Schlick was murdered.
I can't help but feel like this guy's motivation for developing this was nothing more than spite.
No. The Cantor diagonal problem is another demonstration of the same thing. In some ways it's easier to understand, depending on how one learns.
true lol. ig spite is one of the primary motivation huh
Soo.. Does this mean I can write this in my upcoming math test?
if the guy above the Yve named JiminTae was i, we would form the word "guy" with our names
@@UserName-mf9db now that's another level of observation 😎😂
I love how it’s Hilbert (we must know, we will know) who’s walking down the cliff at 4:09
After this video, only one statement comes to mind: "I understand nothing" -Michael Scott
Who knew Michael Scott was a fan of Socrates all along?
What is there to understand if there's nothing in the first place 😂😂
@@nada__ that is actually a really good example!
Its basically schrodingers cat,
You cant prove its dead or alive until youve opened the box
well they made a whole video about math without showing the equation they were talking about. no one could understand what is not shown
now let me introduce myself. I, the man who's broken by math
😂😂😂
Nerds watching this:This man needs some milk
:( Both you and me..
😂😂
Dude took "Math is just numbers" to a whole new level
“It’s Godels all the way down” BRILLIANT
Yeah, I loved that too. There's a pompous mathematician friend of mine who I can't wait to use it on.
Physics: Turtles.
Coding: Hand Grenades.
i'm smooth brain, could someone please explain this to me? i've heard of "turtles all the way down" but i have no clue what it means
@@flowercities The phrase comes from an anecdote told in the opening to Stephen Hawking's A Brief History of Time:
A well-known scientist (some say it was Bertrand Russell) once gave a public lecture on astronomy. He described how the earth orbits around the sun and how the sun, in turn, orbits around the center of a vast collection of stars called our galaxy. At the end of the lecture, a little old lady at the back of the room got up and said: "What you have told us is rubbish. The world is really a flat plate supported on the back of a giant tortoise." The scientist gave a superior smile before replying, "What is the tortoise standing on?" "You're very clever, young man, very clever", said the old lady. "But it's turtles all the way down!"
The phrase is used to describe any system that appears to have dependencies that never end. In the anecdote old lady said that the Earth is flat and is supported on the back of a turtle, but that creates one fact: the turtle needs something to stand on, so the lady says that "It's turtles all the way down" which means that every turtle stands on another turtle that stands on another turtle and so on.
For another example, imagine accountability in a (hypothetical) police department. The citizens are policed by police, the police are policed by internal affairs, which might lead to the formation of an "internal internal affairs" to police internal affairs. Someone might describe this system of policing as "turtles all the way down", meaning that the system of policing never ends.
So "It's Godels all the way down" means that even if someone tries to make unprovebly true statements new axioms it would create new unprovebly true statements and if someone tries to make them axioms there will be new unprovebly true statements and that's a never-ending cycle, like said in the video.
I do hope that wasn't long enough for you to get bored and give up, but detailed enough so that you now get what's going on. Have a great day.
@@DGHeina very good explanation, thanks
4:05 That man with the hat falling down the hill was the great mathematician David Hilbert....who asked 3 most important question about whether math is complete, consistent or decidable. Gödel answered the first question using his Incompleteness Theorem.
thanks i wasn't able to remember his name ^^
The one who raced with Einstein about the equation of TGR?
@@ronharleypantaleon1824 yes, the same Hilbert
Fun fact, It was later proven that math is also undecidable.
What does this mean? It means that there are some equations, algorithms, processes, and changing arrays that we will never know whether or not they come to a conclusions or loop endlessly.
I believe Gödel also proved that mathematics cannot prove its own consistency. In this context, consistency means 2+2=4, always, or that adding two numbers always creates a bigger number. While some basic statements are pretty much a no brainer, the foundations of mathematics cannot be used to prove their own validity or consistency.
So at the very best, mathematics is either:
1). Incomplete, Consistent (but we will never know), and undecidable
2). OR incomplete, inconsistent, and undecidable
@comh33 I believe that Gödel proved in his second incompleteness theorem that the statement "Mathematics is consistent" also falls into the category of statements that can not be proved but is true regardless, just like those self-referencing axioms which cease to be proved by it's axiomatic/logical system.
"The worst he can say is my formula is wrong"
This person:
Veritasium did an amazing job explaining Godel's Incompleteness Theorem. I highly recommend for everyone if they want a more in depth video of the theorem.
Yes, Veritasium did a much more thorough and in-depth exploration of Godel
Yeah I saw that! I was eating and I almost choked lol 😂 I was so shocked lol
Veritasium misunderstood Gödel’s theorem-specifically the part where it states that certain *true* statements cannot be proved. Veritasium ignored the 'true' part, and went on to claim that any currently unproven statement like the Riemann Hypothesis might be unproveable due to Gödel’s theorem.
But that's wrong. It has been known since Euclid's times that if you start with a finite number of axioms (or axiom schemas), there are always statements that cannot be proved using those axioms. What's new in Gödel's theorem is that even 'true' statements cannot be proved.
Most people have difficulty understanding the concept of "true but unprovable." Is the Riemann Hypothesis true but unprovable? Or, like Fermat's Last Theorem, is it just a matter of time before somebody proves it?
Veritasium unfortunately created some confusion in that matter. Some students came up to me and said that the Riemann Hypothesis cannot be proved because of Gödel's theorem, and referred to Veritasium's video as the source.
Don't misunderstand me, I love Veritasium's videos in general. But Derek frequently gives in to hyperbole and click-bait titles, possibly because he depends on TH-cam ad revenue for a living. So he called Gödel’s theorem a 'fatal' flaw in mathematics. Well, that 'fatal' flaw has existed in mathematics since the beginning of time, but mathematics is still alive and going strong. Forget being dead, it's not even crippled. 🤣
Agreed. Feel like TED-Ed took the idea after realising they've been a bit too bias politically lately...
@@nHans That's not what interpreted but, as always, it was a long video connecting several ideas
Mathematicians : *represent numbers by alphabets.*
Godel: *turns alphabets back to numbers.*
Math students: "Is this the power of a god?"
Gaara from Naruto. I understood it. Nice one
More like he turned it into holders of information that could be represented in language
Isaacus Neuutonus.
/*Jehova Sanctus Unus*/
No the power of godel
gödel was a mathematician himself
I’m not a religious person, but when I first learnt about this and read more about Euclidean axioms, the more I started to believe that there is some higher power. Obviously it would be amazing if we could prove why axioms are true, but something tells me the reason of thing that makes them true is outside the capacity of human understanding.
There's something cathartic about even mathematics, something we both create and discover, having equally mysterious side as discoverries in nature and space.
Agreed, the inherent mystery of the universe, it’s pretty fascinating
I think it shows that mathematics isn't merely invented
Hilbert: "math is complete"
Godel: "I'm about to end this man's whole career"
It "Godels" all the way down
maths is complete, just it's only internally consistant.
all this is nonsense.
@@calhackit9806 keep telling yourself that :)
@@calhackit9806 mathematics is provably incomplete. That's what Goedels incompleteness theorems tells us. In order to make the claim "maths is complete", you need to disprove Goedel's theorems, rather than just decry them as nonsense
@@epicmarschmallow5049 Yeah but that's too much work I'm not capable of doing, so I would rather call it nonsense on the internet.
Truly wonderful detail, that you used Hilbert as the character, desperatly tries to fix the towers. since he dreamed the most about a complete system of axioms! wonderfull
"Godel rocked a mohawk in real life". This statement cannot be proved
To which reality are we talking about?
~ A random dimensional hopper
It cannot be proved that the original poster of this comment was referring to the mathematician Godel, and was instead referring to any other person named Godel.
No it's just nonsense
Ah here is another video which makes me question everything I've ever studied
The art and sound design of this video is especially satisfying.
Alternative Title: How to give a Mathematician an existential crisis.
Kind of. But we settled to not think about it too often.
I think most mathematicians have accepted by now that we do have no natural right to proofs. Everything we can prove is basically a miracle. And in some way, that makes it even more exciting. Now it's like, "Look, guys! I fought the universe and won!"
@@lonestarr1490 I guess it depends on how fixated the mathematician is on the assumption that maths will help them find Truth.
so gödel have himself an existential crisis, because he was also a mathematician
Glados: This sentence is false.
Wheatley: True, I'll go true
if you are in the danger of robots just close your eyes and shout out :
This has absolutely nothing to do with the video, but I saw a dude with an Aperture Science t-shirt today and hope was reinstalled in me for the future
I feel this title is misleading: Godel didn’t “break” math any more than Ben Franklin “invented” electricity. Godel simply discovered a limitation that had always existed (which is still an incredible achievement btw since he had to construct the proof for that, as the video explains). Frankly, I find that to be far more disturbing: it means that one of the fundamental tools we use to understand the universe was inherently flawed from the outset.
The title has to be designed to attract people to click on the video. The more people they can attract to watch, the more people they end up teaching. And if their goal is to teach, then clickbaity titles will enhance that goal
Is the math flawed... or does it just accurately reflect the inherent uncertainty and incompleteness of reality?
It's funny because it basically means that whatever we are "discovering" could be just an approximation or totally wrong. Similar to the nonsense predictions of the standard model, despite some accurate predictions.
i think what people have to realize is that any tool created by imperfect humans is necessarily gonna be imperfect. people look at science and math as infallible, be-all, end-all solutions, but they're not. now, this isn't to say they're worthless and/or they're not the best tools we've got, but acknowledging that our tools are imperfect is ok (and necessary)
th-cam.com/video/voWzbIE6ZRs/w-d-xo.html
Gödel really went above and beyond to say "The situation here is that the question is badly worded" and he was right.
Well Math is much more complicated than human language
Yes I agree
@@princemachiavelli6570 wait, whos language is it if not human?
«Gödel really went above and beyond to say "The situation here is that the question is badly worded" and he was right.»
----
Imho attention is to be paid to how HE worded it.
"There are known unkowns, and there are unknown unknowns... Things we don't know that we don't know!!"
May Rumsfeld Rest In Peace.
@@stansantos4733 I believe that this came from Rumsfeld's recollection of the Allegory of the Cave from Plato's Republic (Book VII).
He said it to justify the Iraq war, what he didn't tell people is that the 4th kind is also there, the unknown known which would have prevented the war, looking at what transpired since then we know the answer now, his statement was a very elaborate cope for an excuse to start a war in Iraq
It's good that you make it clear how Gödel’s self-referencing sentence is only interesting because it is stated in a language inside the system! But we also need to determine if there’s a possible flaw in translation from the verbal sentence "this statement is false" to the mathematical translation…
And finally we need also determine whether an axiom kan be self-confirming or self-denying without creating a systemic paradox or placing itself in an order of axioms, not part of the class of all common axioms….
I'm sure the mathematicians thought about that.
ANd it failed, which is why they called it a theorem.
Now that's confusion ladies and gentlemen.
Mathematicians: You either die a hero or live long enough to see yourself become the villain.
Godel: Yes
That made me laugh way too hard 😂😂😂
I see what you're doing there
@@robinbruce7838 can u prove??😂😂
Fun fact (actually pretty sad): Goedel went insane. He thought everyone except his wife wanted to poison him. When she ^went to hospital for longer/died (I dunno what it was) he starved himself to death. 😊
The first statement is insubstantial. It’s like just saying “I’m lying”
Me: "Breaks math"
Teacher: That's cheating.
Me: *dies*
Gray: "we don't need Math where we're going"
If you could mathematically break math, your teacher would impress (if only they're good at math, ofc)
Me: Prove it!
When things were at their very worst:
2 Suns, Cross in the sky, 2 comets will collide = don`t be afraid - repent, accept Lord`s Hand of Mercy.
Scientists will say it was a global illusion.
Beaware - Jesus will never walk in flesh again.
After WW3 - rise of the “ man of peace“ from the East = Antichrist - the most powerful, popular, charismatic and influential leader of all time. Many miracles will be attributed to him. He will imitate Jesus in every conceivable way.
Don`t trust „pope“ Francis = the False Prophet
- will seem to rise from the dead
- will unite all Christian Churches and all Religions as one.
One World Religion = the seat of the Antichrist.
Benedict XVI is the last true pope - will be accused of a crime of which he is totally innocent.
"Many events, including ecological upheavals, wars, the schism in My Church on Earth, the dictatorships in each of your nations - bound as one, at its very core - will all take place at the same time."
1 November 2012
The Book of Truth
Me trying to explain to my maths teacher why I didn’t do my homework:
Gödel and Turing are my idols. Turing's Turing machine and Gödel's Gödel number both brought to life my adoration for mathematics and motivation to work in the field. Thx guys.
th-cam.com/video/voWzbIE6ZRs/w-d-xo.html
And both came about to prove hilbert wrong
@@stellaleicht4035 I also like the outcome of Hilbert's 10th problem: give an algorithm for finding the solutions of a diophantine equation (the integral solutions of a polynomial equation in multiple variables with integral coefficients).
In 1970 Matiyasevich completed the proof that any computer program (any turing machine) can be encoded as a diophantine equation. Since there is no algorithm for the halting problem, the algorithm that Hilbert asked for does not exist.
ChatGPT can be rewritten as a diophantine equation. Don't try this at home.
Two tragic figures, themselves.
In short: self reference with negation ruins everything
There are more than that
@@Noname-67 see halting problem
I see no problem simplifying your shortcoming
If a liar lies, does he say the truth?
@@Wabbelpaddel no, he's lying, hence he is not saying the truth
my dude hilbert at the end was badly injured yet still happy to celebrate gödel's achievements.
I chuckled at that bit
I don’t really understand what it is that Godel did at 1:53. Turning mathematical statements into random numbers is supposed to facilitate what, exactly?
1) He didn't convert mathematical statements into random numbers. He converted them into numbers in an orderly fashion according to a specific scheme that was universal. We all do the same habitually now via our computers, smart phones, etc., with ASCII, Unicode, binary, etc., for numbers and also image and video formats for photos (jpeg, png, etc.) and video (mp4, avi). All of these, at their very basis are just numbers. Everything in every computer essentially does the same thing that Godel did.
2) Having converted everything to numbers, he described how to them put those numbers into specific functions (which also could be described as numbers). We do the same. We feed a .docx word document (which is really just a complicated number) into a word processor (Microsoft Word, which itself is just a complicated number) and we can manipulate it. Same with images and video. We take an mp4 (a complicated number) and feed it into VLC (a video program, also just a number) or TH-cam (a complicated number we get online) and watch a video.
3) Godel did the same, but he fed his numbers into a specific function, which was a function that purported to be able to determine whether a given function was provable. He was able to show that a specific number that he could construct using his numbering scheme would have a numeric representation that corresponded to the mathematical statement that that statement itself was unprovable. The details of that are highly technical, just as the details of how Microsoft Word works, or TH-cam works, are also highly technical. I've greatly simplified things here, but I hope the analogy of how we now convert everything into numbers for computer purposes helps to illustrate how and why he did what he did.
If you want a more detailed explanation, search for Veritasium Godel, and watch Veritasium's video,which is titled "Math's Fundamental Flaw"
The dislikes may be by those who understand why this simplified version can be argued to be erroneous.
That's precisely correct it was an oversimplified explanation and most people misunderstood it.
The time it took to write this comment could have been used to create and post a copy-pasta of relevant URL links, search engine terms, and a brief message. With the assumption, of course, that spreading knowledge is your mission as opposed to self-admiration.
*This copypasta was created on 7-4-2007. Please reuse.*
@@guymanperson1 brilliant
thank youuu Ted Ed! it was one of the best projects i've worked on, and im glad people are enjoying our animations :> !!!
Your art is so good!
@@lenl8004 thank you! :>
Your art is beautiful ❤
I like that in 3:42 the human is Gilbert who believed that math is comple and you can prove every true statement, and now after discovering Gödels incompleteness theorem he suffers the most
I'm a mathematician. The animation of the video was very cool. However, many concepts put in this video are difficult for a layman (including many mathematicians). This theorem does not deny or refute that 'a chair exists', he argues about some existing indeterminations when trying to 'prove' that 'a chair exists' within a very specific context. Basically, the foundations of the mathematical thought consist of axioms.
Axioms is what is 'pure faith', but not a 'blind faith'. An almost religious essential of mathematics. For they are 'things' that you cannot prove exist by definition. But if you assume that they exist and are true, everything you build from them makes sense and is consistent. Mathematics is beautifully built on top of axioms. A specific part in which one seeks to prove this consistency in a specific context is about Gödel's Incompleteness Theorem argues.
This question is addressed mainly regarding the philosophers of mathematics who question the consistency of demonstration methods. And maybe you ask yourself, why are people worried about this? Well, stop to think about computers. How does when entering your bank password, what makes the computer 'validate' that the number 6 you typed is actually 6, instead of 9?
what exactly is "mathematician" ?
I understand the context , but the phrase
"I am a mathematician" , is that a job ?
what do mathematicians do on a daily basis?
@@tanishqarora2647 they do research and teach university classes usually
@@tanishqarora2647 They eat math as breakfast. xD
Strikes me as something that's only really a problem if you're on the side of the fence that claims that mathematics is discovered. If you take the view that mathematics is invented, then resting on unprovable axioms isn't really something that will shake your confidence too much. Seems a bit like building a house: If you put one brick on top of the other the right way, you'll end up with a building. This is true as long as bricks are what we mean when we say the word. We don't need to prove how they are what they are if all we care about is building a house.
“If it’s not true and not false, what is it?”
Me: “A waste of time”
Exactly. Whats even the use of this? Waste of time indeed
@@royroos8036 Maybe, maybe not.
Nothing. It doesn't exist. Something that doesn't exist is neither true or false because there is nothing there for it to be true or false.
@@royroos8036 The insights discussed in the video led to, among other things, the development of computers, so it seems the exact opposite of a waste of time.
@@MartinPoulter but why we need a computer?
‘We now have a true equation of mathematics that asserts it cannot be proved.’
Wow! Absolutely mind-boggling, but mega-interesting. And of course for the mathematical community groundbreaking.
this channel educates us in a way that's so visually and mentally pleasing , i hope current educational systems would do something similar !
Whenever something is unprovable true I’m just gonna call it tralse
Why not
Falue
Frue
All meaningful statements are provable. Godel is simply saying that the process of producing stronger mathematical theories goes on forever.
Then prove this statement is false by it being tralse.
@Hand Grabbing Fruits Dammit you’re right
"This statement..." cannot be used in itself, because predicates can absolutely never be applied on themselves. Also, the statement is not yet complete, so you can't apply any statement on it. It needs to be completed first and then you can use it to define anything. I've said the same thing about sets of sets - the set of all sets, that do not contain themselves as an element, doesn't contain itself, because sets can only contain elements, that have already been defined before-hand. And if you're creating this set of all sets, that don't contain themselves, you shouldn't add it to itself, because you're still in the process of creating it (and the same goes for if you change it afterwards). There're no paradoxes, just get your definitions straight.
The animator did an extremely good job with this video.
0:22
It's
Tralse
As a kid, I always wondered, if I told someone "I'm a liar", would they believe that sentence, or would they consider it a lie.
Random Mathematician guy: damn I love how everything in math can be proven using a set of basic axioms
Godel: yeah about that...
Yea just going to calmly destroy 50 years of work at trying to find that everything in math is provable with sets of axioms
i wouldn't say that gödel destroyed mathematics, in fact he actually expanded mathematics
Gödel: Exists.
*Every Mathmatician*: Years of academy training wasted!
LOLLLL
Meanwhile 50 years of attempts on trying to make mathematics complete basically is wasted
All the attempts at the proofs, just to have someone find that it is impossible for mathematics to be complete
F for the mathematicians who tried
gödel was a mathematician himself
This is the first video on the incompleteness theorem that actually makes sense to me. I understood the idea before, but most explanations i have seen don't really feel like they actually say more than the fact that mathematics is incomplete because reasons.
I had to do a study on godel. He's a legend. Dude made Einstein doubt his relativity theory. And then was so convinced someone was going to poison his food that his wife was the only person to make him food. When his wife went into the hospital he starved to death
Smarter than me, that's for sure.
sussy baka
sometime you don't need proof
I love how Hilbert is shown without reference expect with his iconic hat and him trying to formalize a system but running into trouble.
They should have added Bertrand Russell.
Principia Mathematica is dense that it needs some recognition.
3:43 love the David Hilbert reference with "We must know, we will know!"
Haha
I feel bad for Hilbert.
@@segmentsAndCurves i heard that he died before the discovery of Godel theorum
@@damnguen1726 nope: Hilbert died in 1943 while Gödel published his paper in 1931 a darn full dozen years of misery for ma mann Hilbert
@@WolfgangGalilei tks, for Hilbert that is depressing
"He translated mathematical statements and equations into code numbers". Ah, there's the problem.
That 'translation' is just unicode.
right thats what i was thinking once you change the equation into code it no longer is an equation cant change it into something completly different and act like its the same thing
@@davidwight5974 That's not the important part of what Godel did, it's just stupidly obvious, so that's what incompetent popularizers present. The main idea of Godel is that a system of proving things about numbers can prove things about computer programs, because computer programs are sequences of large numbers (the content of your computer's memory is a gigantic number with as many binary digits as you have bits inside your computer and hard-drive). So any statement about computer programs is a statement about numbers.
Further, you can program a computer to reason mathematically, and use a mathematical system.
So now you can write a computer program which prints its own code out into a file, then starts looking in the mathematical system for a proof of "the code in that file never stops". If it ever finds this proof, it stops.
Since the code in the file is its own code, the computer program is looking for a proof of "I do not stop running" at which point, it stops running. If it finds the proof, it stops running and makes the mathematical system into a liar. If it doesn't find the proof, that means it runs forever, and the mathematical system never proves this true fact, so it is incomplete.
This is the entire proof of the theorem. The only slightly tricky bit is showing that a program can print out its own code into a file. That's a bit tricky, but not THAT tricky, it's an exercise for first year programming students.
@@davidwight5974 Actually, you can, because symbols and concepts are two different things. Mathematical concepts can be expressed in different ways. An equation is just one way. Just because you change those symbols to something else doesn't mean the original concept has changed.
Are you saying that his own arguments are also an axiom?
In fact, they touch on the point in online forum discussions: "It is an illustrative example of the fact that all Cretan mathematicians lie. But what should we do with it if a Cretan mathematician says this? If the theorem is complete, then it proves that it is not complete."
Gödel: Comes up with a code language to write to his girlfriend
The entire math community: "Why do I hear boss music ?"
50 years of attempts at proving mathematics is complete:
Sir, I don’t feel so good…
@@kohwenxu *Mr. Stark, I don't feel so good...
except, gödel is a part of the math community
A few thoughts from someone with a strong interest in this area:
Mathematical statements don't always have to be either true or false - it's common to assume they are, but can be useful to reject that assumption. For a simple example, statements about variables can be thought of as potentially true or false, but not necessarily either one.
Another example is axioms. These don't have to be "undeniable" - they're more like conditions specifying the sort of situation we're currently interested in. If these axioms apply to a situation, and we use these deductive rules, then this result follows. In particular circumstances an axiom might be true, or false, or indeterminate.
Going in the other direction, a statement might be provable but false, e.g. if the axioms are inconsistent. It might seem silly to use inconsistent axioms, but Gödel in effect proved that any list of axioms sufficient for ordinary arithmetic is potentially inconsistent: it can only be proved consistent if we add in extra axioms - and then proving this new list consistent would require extra axioms on top of those, and so on.
One reason these ideas are important: when a statement can't be proven using particular axioms, it can often be thought of as being false for some models of those axioms. If you think it should actually be true, that's because you're implicitly assuming extra axioms that you weren't stating... and there's no way to list all the axioms you'd want without also including some that you don't want.
On the other hand, only a tiny fraction of these "philosophically significant" axioms are needed for the vast majority of results used in science, technology and engineering. That's why most of the people interested in this stuff are logicians or philosophers.
Yet that is why we have SPECIFIC TERMS for those: predicates (depending on variables) aren't statements, axioms aren't statements. ;-) Although intuitively i'd include "we don't know yet" in the neither true nor false category, but i feel neither you nor the video are considering those.
As for the "provable but false" i think you're misinterpreting something. If you have a proof, then the conclusion is by definition true. Even though its negation would ALSO be true (because the system is inconsistent/contradictory), that doesn't mean the non-negation wasn't true.
By the way, something feels off about your explanation of the "potentially inconsistent" arithmetic... Those phrases seem to be more about completeness than about consistency. 🤔
I know this is an old video but whoever did the sound design for this video deserves an award for all these sfx
"I used the math's logic to destroy the math's logic."
"It nearly killed me"
But the work is done
it always will be
"I am inevitable"
Every once in a while, all we need is a wild Gödel to show up
I am 29 seconds in, I havce never seen this video before but I will attempt to resolve the paradox. "This statement is false" is not only a statement but an axiom on which any further argument in this newly constructed though is built. The statement "this statement is false" is true from an observer outside the axioms universe and it is true within it. The paradox is resolved by understanding that the statement doesn't need to be false to an observer outside the derived paradigm which we all are.
Said theorem is valid for *all* systems, maths or otherwise. Your resolution (the issue of observer-positions) makes sense.
Now imagine a system wherein self-reference was simply not possible. Note that not-POSSIBLE differs with not-DEFINED or defined-as-not-allowed.
That is like "What will happen if Pinocchio says, 'My nose will grow now'?
Nothing. His nose grows when he lies, not when he says something that's false. It wouldn't be lying unless he knew the truth value of a statement and chose to say the opposite. Since he can't know the truth value of "My nose will grow now" because it's a paradox, nothing would happen, because he's not lying.
@@raulzaha3096 but since his nose didnt grow that statement now became a lie didnt it? "my nose will grow now" seems like a bold statement. its true he doesnt know the outcome but isnt stating things you dont know about *boldly* considered a lie if it doesnt happen. Like how politicians saying "we will reach that goal" completely and reassuringly without knowing the outcome or without any plan is a lie if it didnt happen, people will say hes a liar. Your thoughts?
@@afridnishad6617 I think my point is that there has to be intet behind it for it to be a lie. If a politician promises something and fails to deliver the difference is in whether he/she tried. Being incompetent doesn't make you a liar, even if you are a confident one.
My specific point is a logical one though. Since the statement is a paradox it means it's neither true nor false, or more definitely it's unknowable, which means he cannot intentionally state the opposite, even if the truth value would somehow reveal itself later.
A good example is the statement "There is no life in the Proxima Centauri star system". Even if it turns out that there is life there, his nose wouldn't grow, because he can't have known. If it did grow, that means Pinocchio can uncover all the truths of the universe by simply stating them, which I don't think is the point of his curse.
@@raulzaha3096 "He cannot intentionally state the opposite, even if the truth value would somehow reveal itself later."
Sure, but he would therefore be intentionally presenting a current unknown as a bold truth. Why would you boldly state there is no life in the Proxima Centauri star system without any proof? (proving the inexistence of something is a whole other topic, but the point remains). Seems to me that Afrid's point is that claiming unknowns as absolute truths could be considered a lie, which I guess is ultimately a semantics argument on what exactly means to lie (as well as what are the exact mechanics behind Pinocchio's whole shebang).
It comes from the Skeptics school of thought that we shouldn't be claiming assumptions as absolute truths, even if it's something so obvious as the sun rising the next morning (we don't really KNOW it will happen, we just reasonably expect it to happen the same way it has happened every day for past eons).
@@raulzaha3096 You're wrong, he does know the truth value of that statement. The truth value is false, because there is no reason for his nose to grow "now".
The narrators pronounciation of "Gödel" is incredibely spot on, it sounds exactly like an austrian would say it
When you can step back a frame reference and look from a more higher level/simpler view the details start to get blurred but new trends emerge on a higher level.
Mom and Dad have a joint bank account. They make 1 and 2 and a combination of 3(sided combination like 70/30 of the way its used. etc.)
Scientist/Mathematician: "I have the proof for *1+1=2* !"
Gödel: *"It ain't much, but it's unprovable work."*
In our number system with 1,2,3,...
Every number is 1 more than the other and 2 comes after 1 and 1 means a single object(These are axioms which are unprovably true). So 2 is 1 and 1.In our mathematical system + means "and".
1+1=2 is a provably true sentence mate,go look for unprovably true or provably false mathematical sentences then make a joke about them.
@@anuragmukherjee6694 no, that's not what mathematical logic is about , look up for proof of 1+1=2
@@plutoniumisotope205 the proof is full of set theory,relations etc and I have no way of understanding it right now.
My question is-arent the values of 1 and 2 axioms?
@@anuragmukherjee6694 +(add) doesn't mean *and*
Study probability
There are things that are unprovable but 1+1=2 isn't one of them
00:02 I look forward to TED ED quotes every video ❤
Love how Godel rocks that Mohawk, sort of like a punk rock mathematician
Let's be honest, you made up the pun "it's Gödel's all the way down" first and it was so good you had to make the rest of the video :)
4:51
Hilbert: This young boy doesn't know what he has done.
"The Man Who 'Broke' Math"
You can't break something that's already broken.
4:25 "but as more classical problems were proven to be unprovably true" what?
Proven to be unprovably true - that would be impossible unless invoking a lower form of proof.
Understood to be true, but proven that no proof exists - I don't know if this is possible.
Understood to be true, but we don't think any proof exists - Goldbach's conjecture fits this category.
"The man who broke math"
Me trying to find loopholes in math tests
In physics Heisenberg and in math Gödel both bring some uncertainty in our life,, and that's how nature works. Kudos both
th-cam.com/video/U84nxCsQpus/w-d-xo.html
This reminds me a lot of Heisenberg's Uncertainty Principle in science. Although they belong to different fields, both of them shows that we can't prove or know everything. They made me reflect on myself and think if I had been too proud of myself and acted like a know-it-all before. Thanks for the good video. Keep up the good work!
th-cam.com/video/voWzbIE6ZRs/w-d-xo.html
No one can gain full knowledge only Allah knows everything he made this world
@@Cooososoo Who knows allah?
Neither of them show that, otherwise how could we know the theories themselves?
Heisenbergs principle could never invalidate the truth of causality for instance, as is often erroneously said, since one must presuppose causality in order to take any meaningful scientific measurement.
@@Cooososoo
You've first got to show that allah exists before you can use it as an explanation for anything.
No one has done the existence proof yet. We'll wait until your paper is accepted for publication before discussing further.
This is such an excellent intuitive explanation of a complex idea!
“The man who broke math”
Me who divided a number by zero during a test:
I am four parallel universes ahead of you.
Please, call whoever drawed this more times. It's absolutely adorable!
The art style is freaking adorable.
Isn't this the guy who died in a self referential paradox? He died trying to not die.
The artsyle is godly as always.