Math Has a Fatal Flaw

2 mánuðum síðan

8,634,296

Not everything that is true can be proven. This discovery transformed infinity, changed the course of a world war and led to the modern computer. This video is sponsored by Brilliant. The first 200 people to sign up via brilliant.org/veritasium get 20% off a yearly subscription.

Special thanks to Prof. Asaf Karagila for consultation on set theory and specific rewrites, to Prof. Alex Kontorovich for reviews of earlier drafts, Prof. Toby ‘Qubit’ Cubitt for the help with the spectral gap, to Henry Reich for the helpful feedback and comments on the video.

▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀

References:

Dunham, W. (2013, July). A Note on the Origin of the Twin Prime Conjecture. In Notices of the International Congress of Chinese Mathematicians (Vol. 1, No. 1, pp. 63-65). International Press of Boston. - ve42.co/Dunham2013

Conway, J. (1970). The game of life. Scientific American, 223(4), 4. - ve42.co/Conway1970

Churchill, A., Biderman, S., Herrick, A. (2019). Magic: The Gathering is Turing Complete. ArXiv. - ve42.co/Churchill2019

Gaifman, H. (2006). Naming and Diagonalization, from Cantor to Godel to Kleene. Logic Journal of the IGPL, 14(5), 709-728. - ve42.co/Gaifman2006

Lénárt, I. (2010). Gauss, Bolyai, Lobachevsky-in General Education?(Hyperbolic Geometry as Part of the Mathematics Curriculum). In Proceedings of Bridges 2010: Mathematics, Music, Art, Architecture, Culture (pp. 223-230). Tessellations Publishing. - ve42.co/Lnrt2010

Attribution of Poincare’s quote, The Mathematical Intelligencer, vol. 13, no. 1, Winter 1991. - ve42.co/Poincare

Irvine, A. D., & Deutsch, H. (1995). Russell’s paradox. - ve42.co/Irvine1995

Gödel, K. (1992). On formally undecidable propositions of Principia Mathematica and related systems. Courier Corporation. - ve42.co/Godel1931

Russell, B., & Whitehead, A. (1973). Principia Mathematica [PM], vol I, 1910, vol. II, 1912, vol III, 1913, vol. I, 1925, vol II & III, 1927, Paperback Edition to* 56. Cambridge UP. - ve42.co/Russel1910

Gödel, K. (1986). Kurt Gödel: Collected Works: Volume I: Publications 1929-1936 (Vol. 1). Oxford University Press, USA. - ve42.co/Godel1986

Cubitt, T. S., Perez-Garcia, D., & Wolf, M. M. (2015). Undecidability of the spectral gap. Nature, 528(7581), 207-211. - ve42.co/Cubitt2015

▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀

Special thanks to Patreon supporters: Paul Peijzel, Crated Comments, Anna, Mac Malkawi, Michael Schneider, Oleksii Leonov, Jim Osmun, Tyson McDowell, Ludovic Robillard, Jim buckmaster, fanime96, Juan Benet, Ruslan Khroma, Robert Blum, Richard Sundvall, Lee Redden, Vincent, Marinus Kuivenhoven, Alfred Wallace, Arjun Chakroborty, Joar Wandborg, Clayton Greenwell, Pindex, Michael Krugman, Cy 'kkm' K'Nelson, Sam Lutfi, Ron Neal

▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀

Written by Derek Muller, Adam Becker and Jonny Hyman

Animation by Fabio Albertelli, Jakub Misiek, Iván Tello and Jonny Hyman

Math City Animation by Another Angle 3D Visuals (www.anotherangle.ee)

Filmed by Derek Muller and Raquel Nuno

Edited by Derek Muller

Music and SFX by Jonny Hyman Additional Music from Epidemic Sound

Additional video supplied by Getty Images

Thumbnail by Geoff Barrett

Associate Producers: Petr Lebedev and Emily Zhang

▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀

Special thanks to Prof. Asaf Karagila for consultation on set theory and specific rewrites, to Prof. Alex Kontorovich for reviews of earlier drafts, Prof. Toby ‘Qubit’ Cubitt for the help with the spectral gap, to Henry Reich for the helpful feedback and comments on the video.

▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀

References:

Dunham, W. (2013, July). A Note on the Origin of the Twin Prime Conjecture. In Notices of the International Congress of Chinese Mathematicians (Vol. 1, No. 1, pp. 63-65). International Press of Boston. - ve42.co/Dunham2013

Conway, J. (1970). The game of life. Scientific American, 223(4), 4. - ve42.co/Conway1970

Churchill, A., Biderman, S., Herrick, A. (2019). Magic: The Gathering is Turing Complete. ArXiv. - ve42.co/Churchill2019

Gaifman, H. (2006). Naming and Diagonalization, from Cantor to Godel to Kleene. Logic Journal of the IGPL, 14(5), 709-728. - ve42.co/Gaifman2006

Lénárt, I. (2010). Gauss, Bolyai, Lobachevsky-in General Education?(Hyperbolic Geometry as Part of the Mathematics Curriculum). In Proceedings of Bridges 2010: Mathematics, Music, Art, Architecture, Culture (pp. 223-230). Tessellations Publishing. - ve42.co/Lnrt2010

Attribution of Poincare’s quote, The Mathematical Intelligencer, vol. 13, no. 1, Winter 1991. - ve42.co/Poincare

Irvine, A. D., & Deutsch, H. (1995). Russell’s paradox. - ve42.co/Irvine1995

Gödel, K. (1992). On formally undecidable propositions of Principia Mathematica and related systems. Courier Corporation. - ve42.co/Godel1931

Russell, B., & Whitehead, A. (1973). Principia Mathematica [PM], vol I, 1910, vol. II, 1912, vol III, 1913, vol. I, 1925, vol II & III, 1927, Paperback Edition to* 56. Cambridge UP. - ve42.co/Russel1910

Gödel, K. (1986). Kurt Gödel: Collected Works: Volume I: Publications 1929-1936 (Vol. 1). Oxford University Press, USA. - ve42.co/Godel1986

Cubitt, T. S., Perez-Garcia, D., & Wolf, M. M. (2015). Undecidability of the spectral gap. Nature, 528(7581), 207-211. - ve42.co/Cubitt2015

▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀

Special thanks to Patreon supporters: Paul Peijzel, Crated Comments, Anna, Mac Malkawi, Michael Schneider, Oleksii Leonov, Jim Osmun, Tyson McDowell, Ludovic Robillard, Jim buckmaster, fanime96, Juan Benet, Ruslan Khroma, Robert Blum, Richard Sundvall, Lee Redden, Vincent, Marinus Kuivenhoven, Alfred Wallace, Arjun Chakroborty, Joar Wandborg, Clayton Greenwell, Pindex, Michael Krugman, Cy 'kkm' K'Nelson, Sam Lutfi, Ron Neal

▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀

Written by Derek Muller, Adam Becker and Jonny Hyman

Animation by Fabio Albertelli, Jakub Misiek, Iván Tello and Jonny Hyman

Math City Animation by Another Angle 3D Visuals (www.anotherangle.ee)

Filmed by Derek Muller and Raquel Nuno

Edited by Derek Muller

Music and SFX by Jonny Hyman Additional Music from Epidemic Sound

Additional video supplied by Getty Images

Thumbnail by Geoff Barrett

Associate Producers: Petr Lebedev and Emily Zhang

▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀

There is no preferable side of the equal sign.

Well now you have it, I am suddenly interested in math....

Hrhr he said "googleplex" like in google... SMART!

At 17:17, where do the prime numbers come from? 2, 3 and 5. Is it just because those are the first three prime numbers, and the equation holds three elements, or is it something else?

It’s boring

Somehow I understood what was going on and it facinated me even though I could never explain it myself

Trying to use math to prove math is like trying to use light to prove light. As you would say, this is a self reference. The light needs the dark to be proven. Math is part ‘logos,’ the logical foundation of all that exists. It’s part of the source of all things.

Godel, Escher, Bach

This guy is a total moron and he has no idea why. Everything he says is crap. The universe does not work the way he says it does.

The Barber Paradox is not a paradox. Just because something is illegal doesn't mean it's impossible to do. Just because it's illegal for the Barber to shave someone who shaves themselves doesn't change the fact that he is probably going to shave himself It's just an imperfect law. And just because each set supposedly cannot contain itself doesn't change the fact that R (itself) was made up. It exists as an idea. And ideas are infinite

Infinites sort of have different sizes though, so it's not exactly obvious.

This is really similar to not knowing whether you are dreaming, alive, or a simulacrum

Math is God. -True, yet unprovable -Consistent as far as we know -Unable to be fully understood

Math is honestly quite confusing at times. Definitely not my strong area.

The sad salmon ipsilaterally untidy because yugoslavian genotypically switch underneath a untidy edward. boring, versed milkshake

I'll stick with 2 + 2 for now, thx....

Godel grief

What a good ole number

Math is just a Riddle.

My life is a lie

The set that contains everything can't contain nothing

Wow

Little “g”. Gods mathematical devil in the equation of life.

Very interesting yet I understood less then 50%... 🤣

Georg Cantor... That was the name of my high school :D

Sounds like you need a second barber lol.

Yes, but the machine h is flawed in this situation as there is no paradox output. Even if we add the rules to h+: > if h outputs paradox then halt, > if h outputs halt then go into a loop, > if h outputs loop then create a paradox, and pass h+ into h+ as both instructions and input, h+ will just halt. If it halts, h is correct, because, to get to the point of halting, h has to detect there is a paradox. The fact that h+ has stopped does not mean that h is wrong as a paradox occurred before halting. Reasons for this: > h would be wrong to output halt as a paradox occurred before halting. > h+ will not go into an infinite loop as I have already pointed out that h would be wrong to output halt. > h+ will not create a *second* paradox because, as stated above, there is no chance of h+ entering a loop. If you then pass that h+ into h, then the output will still be paradox. Now, there is complete decidability. Btw, I'm not entirely sure if this is correct and I would be highly interested in arguments against it: "If you think that something is true, you should try as hard as you can to disprove it." - Derek Muller.

3:20 me: you forgot about the youtube algorithm, why was this recommended to me and why am i watching it

Stopped watching after narrator started bs claims touring was the brains behind cracking enigma when in reality he just improved the already working system designed by rejewski, rozycki and zygalski

30:05 goosebumps 🤯

Since the "rules" are made up, you can't use these examples as proof of anything other than math needs rules to work (i.e. its all made up and not a naturally occurring truth).

There is something inherently limiting in the universe by itself and even more in our brains. We are not infinite, our body and brains have limits and that is probably our Turing limit. The universe limits and wether it is infinite or not (and if yes, can someone tell me how it is growing ?) Is the universe limit. I think the universe is finite but infinitely divisible like the distance between 0 and 1. But I am bad at doing maths so I can't prove it xD

Bravo

the cards literally went above my head.

ma head HELP

The set of all sets is empty. This axiom resolves all contradictions of the set theory . Because the empty set containes themself. :-)

@Дмитрий Косолобов >> The set of all sets should then contain itself. Accept that "set of all sets is empty" like axiom and all contradictions will be eliminated. Empty set is the only ordinary set. Turn on imagination. Do you remember "Сказка о рыбаке и рыбке"? :-)

The set of all sets should then contain itself. So, it can't be empty. A resolution could be that there are no sets at all. But we always assume that at least one set, the empty set, exists. Thus, the problem remains here.

I dont understand why you allow self reference as an axiom, in the first place. Why the barber is not a woman? Or a special citizen that has other laws.

Most of us hit "Like" just for the title.

“We will never know everything with certainty”…… There you go, a true statement we can’t prove. But even that is without certainty.

Rephrase... 'science has a fatal flaw'

The lean discovery dfly spell because cauliflower reassembly measure mid a grubby gruesome target. silent, festive turkey

Can't believe I see "math" and "fatal flaw" together except if the sentence is "your answer in this math equation has a fatal flaw" lol

Love the MTG shoutout!

Who are we? Where are we? Why are we still here?

2nd time thru... So has it been decided? Can set theory be on an infinite loop?

Bitches be like "bitches be like~" like they ain't like the bitch that be like, like ... bitch?

It seems like common sense to me, I haven't even finished a minute of the video. I however understand that just in the most basic view, if math is to have an infinity (as it does) than there can never be an end answer to many questions. If you have box, and in that box you have 3 problems and 3 solutions that can all intertwine, you will always have 9 possibilities of a problem/solution scenario. With math, and life, there are infinite numbers and infinite possibilities. You can't put infinity into a box. That's just one example, and I'm sure as I watch more I'll understand in greater detail and more about this topic.

There’s a popular saying that math is the universal language. It is false. Math is the language we are attempting to translate the universe into. It is man made. We do not have words for many many things.

Surprisingly i actually understood most of this

Using math and theoretical equations to prove scientific law 🙄 no one is even seeing what’s really going on?

Maybe everything has its time and cant be solved before we get there.The questions from 500 years ago are in some ways solved now and maybe 100 years from now questions we have now will be solved by the generation at that time.And i do believe there's a limit to the human capability.Just the fact we cant even tell by 100% what happens after we decease.

My brain hurts

5:53 You said "by the end of this process" but it is clearly an infinite process...

Why must the set of sets with more than 5 elements contain itself? Iam confused.

I doesn't have to, but you can define one.

Even God does not know everything. Because humans have free will they are inherent unpredictable...

0:16 hold up... if a turth cant be prrovien then its just a threory

I am ok with Cantor's proof. But what does it exactly tell us? Is there at some point a real number between 0 and 1 which cannot be mapped to a natural number?

It means that it is impossible to simultaneously map *all* real numbers between 0 an 1 to natural numbers.

Its moments like these where im glad other people did the hard thinking for me, because there's no way id think of any of this

i have determinate the formula of the tangent

do hear about fractale music

is there an undefined function in an interval but it is derivable and continuous in this same interval

If you could solve this then you could have the most balanced rpg in the world.

What´s undecidable about airline ticket systems?

The slit experiment, the work of the Japanese professor with water and how it's very structure is altered by our words/emotions, the effect of speech and love on plants, all these things point to the the concept that the world is physical, provable, and yet meta-physical, un-provable, malleable even. Understanding this, the answers to the the 3 Cs is obvious, as math is a representation of the universe which is both physical and meta-physical.

Godel Escher Bach

I have learned more on ISnets from these sience/math people then school...

This also proves why robots and AI can never really be human

Can we call the hole as consciousness?

I don't really understand the difference between "complete" and "decidable"

Maybe start by reading ancient text... : In the beggining everything was chaos : ?

Yeet

That's why i love math. Never ending Journey. Even create a new whole universe in it (ex : a computer)

stupid video .. you have no idea how powerful our computers and knowledge will be in the future..

you didn't watch the video, right?

How can you call theories true if the cannot be proven? Why try to understand why your Creator made things that he He did. All that you need to know is that's how He made it and it it works in mysterious ways. Ancient saying: Asking why, only leads to more questions.

I know you have worked hard on video and it's amazing ....... But the problem is I can't understand it

QUESTION, More real numbers then natural? Why did "we" not just index the new made up number and say. Eey look, thay are equal many again. Real number apair. You index it. Real number appear and you index it. We could index the natural numbers with real numbers. Whish should turn the table. Just add one to the natural numbers. And then use diagonalization to index it? What funny made up rule am I missing? =D If you are able to get a diagonalization number out of infinity amount of real numbers. Then you can also add one to an infinite amount of natural numbers. What am I missing? =D

@Mr_Magnus @Mr_Magnus The new number you get after using diagonalization. It feels like schrodinger's cat. Ether you have used up all of the natural numbers or you don't. As soon as you can start diagonalization you only prove that you had not used all the natural numbers to reach infinity. But maybe I am not listen good enough. The rules are set and I need to obey them better. I will have to think about some more. Thanks for the feed back =)

We can't index the new number because we've ran out of integers to index it with. You start with a list of every natural number, and map all of them to a real number, and then you point out that you've left some real numbers behind.

This video can either cure insomnia, or spread insomnia.

Mathematicians. The people with the most free time in their life.

So a computer cannot exist illogically, and yet would not exist without illogic. That quite interesting.

The intuitionists were Kantians.

Uncountable infinities (Real numbers): infinite infinities. Countable infinities (Natural numbers): finite infinities. Monadologies in monadologies, unity of unities.

I'm only half-way through this video, but just wanted to stop and say I'm sorry I ever asked anyone, "How do you know that?"

Loved this video

This is a really long MTG ad

This is poetic 😢

Thirty four thousand comments huh! Hard to get noticed on this channel. I am an Australian POSSUM! I hurt my ear playing with Stumbles at his tree. My Mumma said I stand out in a crowd! I'M HAPPY!!! 🤗🤗🤗

the diagonal proof doesnt apply to an infinite list imo. to me thats not a proof at all but trying to apply a concept that might work in the finite realm to the infinite realm

This was the best add for game of life I’ve ever seen

Absolutely best science show! Thank you for inspiring us!

One of the most interesting videos I have watched in a long time, although I have to admit I got lost in a couple of passages.

The past waiter unexplainably fool because bracket immediately twist before a decorous luttuce. noiseless, holistic ghana

This video shows me why there are only a few Turings in this world while the plentiful of mostly hairless apes on Earth have ignorance and violence instead.

0 doesnt exist in the real world. only in math. there is never nothing. only equilibrium.

This video is really going to make me switch my major

Pls explain tht how godel proved true statements can't be proven

I'm fan of conways game of life

I think that's where god enters the chat.

Pretty sure Alonzo Church published his proof prior to Turing.