#### Опубліковано 2 місяці тому

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

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

Neil deGrasse Tyson: We Might Be Living In Higher Dimensions…But Our Senses Can’t Tell Yet.

Переглядів 6 млн

КАБАЧКИ МАРИНОВАННЫЕ. Лучший рецепт кабачков . Заготовка на зиму, цыганка готовит.

Переглядів 140 тис.

## КОМЕНТАРІ

## 성문규

How do you even have perfect ads that make me want to learn more math

43 хвилини тому## Humanica

Hence why i still believes in the existence of God

Годину тому## José Santos

😱😱😱😱😱😱😱 Self simulation was mind blowing

Годину тому## Drew Sirry

Love this video, and your butterfly collection

Годину тому## ZenRhizer

I felt like i was keeping up pretty well until the Godel numbers. Then my brain went smooth.

2 години тому## cifusito

Dereck is transitioning to magic

2 години тому## Joshua Pattee

Ok so, i know this is a VERY late response but i have a genuine question about the h machine, what exactly says that it cant print out both outcomes in the event of a paradox, or even just staggered outcomes, and it did do that, then its first outcome would be true

3 години тому## Joshua Pattee

Therefore making it so that the machine is still correct

3 години тому## Coyee Jegejik

cant the barber hire another barber and that barber shave the barber that hired him and the barber that was just hired could get shave by the barber that hired him

3 години тому## Matt Gillard

That statement at the end was fantastic!

3 години тому## Alb.0

This video really is mathematicians find problems with math and try solve them with math

3 години тому## Scopes -

i forgor 💀

4 години тому## Carly Goodrich

Though it is simply a footnote in the video, it disgusts me that even such a brilliant mind as Allen Turing was not enough for the homophobic UK. In the end, all that mattered to that society was who he felt love for in his own privacy and was driven to suicide. Today, the internet, accessed via machines, provides many safe spaces to people who identify as LGBT. Spaces where people feel safe to come out and explore themselves. And the world becomes progressively more and more welcoming to us. Turing's legacy is the incredible technology we use every single day, so normalized that it doesn't even register. But among that, his legacy is also creating the tools so people like him can be themselves with hopes they will not suffer the same fate as him.

4 години тому## Satan

Solve: 3x+1=? 0÷0=? If johnny has 3 melons but the train didn't arrive until 7AM what is the key answer to finding the meaning of life?

4 години тому## ZenRhizer

The last question depends entirely on the ripeness of the melons.

2 години тому## Jeremiah Peter

Well the only way I see it all is that we will not know what we're not supposed to... And that the human mind can only handle certain rigid sets of comprehensions and not everything... Einstein endeavoured to find the equation to well... Everything... And died in vain... Newton suffered a term of mental breakdown... But Hilbert's was worser for I think the drive to want to know it all and knowing it all is a must that disintegrated him at the end🤷... And for some weird reason the card findings ended with the letter G ... Well it's a good time to reflect... On what and who we really are... Take a look at the zygote... You'd see that Hilbert was wrong in we will know and we must know... It's a kind of tech beyond the human mind... As I say human thoughts can't go beyond the egg... Just the egg apart from the infinite amount of creations out there that are incomprehensible thus we humans do not have the answers to in the first place... And in closure I say that the letter G could also spell God 🙏✌️🇲🇾

5 годин тому## Niels Niels

That was a great video

5 годин тому## luke murphy

If you think in the 4th dimension paradox don’t really exist because it’s true and untrue all at the same time and since math is a universal representation of reality it has to work in all dimensions even if it means we won’t get a “correct” explanation in our 3 dimensions, the thing is if we spend all day taking into account a 4th dimension most people can’t even comprehend let alone experience we’ll spend our life thinking about we won’t get anywhere

5 годин тому## MrLeeson660

I wish I was smart enough to understand this stuff

6 годин тому## Aracoixo

👍🏻 💯

6 годин тому## Dominik Schmidt

Best video I have seen on YouTube!

6 годин тому## SavBeeing

F

6 годин тому## Nokta

I've just been nodding through this for the past 30 mins without really understanding a thing. All I got is that we got computers out of it, so I'm cool.

6 годин тому## Fredrick Mervin

I can tell where my life is leading right now. I watched the whole video not understanding one thing he was trying to make me understand smh fml ....

6 годин тому## Ike Darien Nweke

12:55 :O

6 годин тому## Ryan Mitchum

The supposition that you can complete those infinite lists in the first place is impossible. You can't go on to step 2 without completing step 1. Therefore, claiming to be able to generate a unique number outside the scope of infinity is a logical fallacy. Cantor's "diagonalization proof" is proof of nothing. And, self-referencing breaks reality. With or without math. It's poetic nonsense and shouldn't be used to prove or disprove anything.

6 годин тому## pondrthis1

17:00 ish Prime factorization for developing permutation indices is so obvious and yet so weird to me, for some reason.

7 годин тому## Oliver Von arx

Fascinating. The micro-makro repetition the machine showed at the end - great. And it’s really well explained although this was hard at the border of my grasp tbh.👌

7 годин тому## Geof Budhu

The gaping hallway arthroscopically scatter because trouble embryologically train including a boiling mind. supreme, dear ptarmigan

7 годин тому## Matt Mike

“There is no proof for the statement with the Gödel number ℊ” is just an arbitrary statement, having nothing to do with mathematics. You take α sentence that does not have α mathematical solution, assign it α number, then throw it into α mathematical system, of course it doesn’t make sense. That doesn’t create α hole in the system, just α piece that isn’t supposed to fit. Like α pretzel in α bag of Cheez-Its. Am 𐊦 missing something?

8 годин тому## The Old Blood

It.would be pretty hard to prove considering the largest number continuously getting bigger and bigger. So would the twin primes keep going infinitely? Or would they stop at some number we don't even know yet? Maybe. Maybe not. Maybe you could prove something like that and I'm just wrong. But thats why I would say it's impossible to prove. But again I really don't know

8 годин тому## Iftikhar Khan

10 years back i code this problem in C.. input were very small. max was 10X10 but rule were same.

8 годин тому## Michael Klas

Fatally brilliant! 👍👍😎

8 годин тому## Truerellik

The flaw of Mathematics is aligned with the flaws of Language and Communication itself, which is: It is not singularly originated, but an attempt to understand and be understood by what is Infinite and Eternal.

8 годин тому## Bryan Andrews

This is actually a kind of silly problem, just make an exception set the rule. Kinda like how 2 is the only even prime number.

8 годин тому## Boatie McBoatface

Lol plane tickets

9 годин тому## Pratham Lokhande

Infinities are weirdest !!

10 годин тому## Pratham Lokhande

@veritasium I would like to meet you personally ,please !!!

10 годин тому## Pratham Lokhande

It's sad to here that greatest humans ever lived ended up suiciding 😕

10 годин тому## Paul M

Math has a fatal flaw - correct there's meant to be an s at the end!

10 годин тому## Mame bousso Thiam

I wish I understood this

10 годин тому## David Heier

joke's on you. I just watched this video again reflected through a mirror, which means I was not watching it on a device that stems from Hilbert's and Turing's contributions, but rather on a device that predates them both

10 годин тому## MaxPhallus

I'm not sure I understand the godel card which causes a problem. Because in order for the card to exist, it's godel number must exists, which encodes the cards which prove it. So the proof can't exist, which means the card itself can't exist because it is referencing the non existing proof. So surely all it proves is that the question isn't valid.

10 годин тому## Drink some milk

existing

11 годин тому## Aaron Michael

Lol that guy died of being obese not of covid.

12 годин тому## Emi Kikuno

But what if the barber is a woman?

12 годин тому## mike

I fail to see why the numerical proof system was needed to show the paradox in "This statement can't be proven by this system."

12 годин тому## Calming Chaos

Goosebumps when you revealed the Game of life simulating itself 🤯🤯🤯

12 годин тому## roddycake16

2:32 what is the background music here? Does anyone know?

13 годин тому## lasa nyan

As a computer science student who has gained some acquaintance with these concepts, I absolutely love this video! It's a great way to invoke interest in theoretical computer science!

13 годин тому## Davester523

Was tired so at first I thought it said “meth has a fatal flaw”

13 годин тому## Corvo Shield

Yeah, its too expensive.

13 годин тому## Serberian

I can understand EVERYTHING here except ONE thing. Did the damn barber shave himself or not? pt2 required.

14 годин тому## Bart Venken

It's not a flaw. Nor is it fatal.

14 годин тому## Balan Cristian

phfffff...XDD......you really want the answer? MATH IS FINITE, IT STARTS FORM 0 AND IT ENDS TO 9, EVERYTHING ELSE IT'S A LOOP ( think about when you draw a circle you start from point 0 and when the circle it's complete, it ends to point 9, after that it's repeated point 10 to point 19, etc.)

15 годин тому## Balan Cristian

@Релёкс84 actually you should loop it around for 1001 times. brilliant isn't it?

10 годин тому## Релёкс84

Next time I owe you $1001 I'll give you $1 and tell you to loop it around.

14 годин тому## Andrii Volkov

So... is math what it is or is it what we found it to be?

16 годин тому## Ida Oluoch

if there are true statements that cannot be proven then the fact that God exists must be a true statement that cannot be proven.

16 годин тому## Carl Chester Ragudo

I've watched your videos for quite a while now and this is by far the best work you've done so far! Great job!

17 годин тому## Tina Melaku

“There will always be true statements that cannot be proven” for all my skeptic friends who say they don’t believe in God without prove.

17 годин тому## Abdulrahman Abdo

he speaks fondly of those German and European "Scientists" and about their "extraordinary discoveries", But when a scientist with an Asian name comes up, he just calls him a "mathematician". It is disgusting to see such things, trying to make people believe that Europe's position of power and wealth was all because of their intelligence, hardwork and education, when we all know that it was by means of force, war and slavery. If you weren't aware of this, then please check for the scientists who actually were the first to make these discoveries, and if you already knew about all this, then I hope you burn in hell.

17 годин тому## vorsv kings

then no math pls deleted it from syllabas

17 годин тому## scott s

Turing did not "invent the computer". Turing did not "lead the team".

18 годин тому## Form Melon

I don't think math will ever reach any pure truth like physics or chemistry. All notation, theories and symbols will never be able to truly describe the intricacies of the world accurately.

18 годин тому## Eden Spijker

6:00 maybe I'm stupid but if 9 goes back to 8 and goes back to 9 because you add 1 then eventually the real number wil just oscillate between 8 and 9 right? Sry for bad English

19 годин тому## joseph keller

The sulky lunge gully skip because tights regionally tap below a big ocean. cooing, possible rabbit

19 годин тому## loretta mackey

The blue pound psychophysically occur because step connolly mug besides a ethereal employee. poor, aware pastry

20 годин тому## Zeff Malchazeen

I did not know math is philosophical, and I'm an engineer

20 годин тому## Amit Rana

The loving division ophthalmoscopically decide because celsius beautifully intend underneath a plucky acoustic. entertaining, weak india

20 годин тому## ChillerHR

this was fantastic

21 годину тому## Intlock

ALAN TURING WAS GAY?

21 годину тому## salt tectonics

Mathematicians 🤝 philosophers Giving peeps existential crisis

21 годину тому## Super Pokemon

David Hilbert: "We must know, we will know" Derek Muller: "The truth is, we don't know, and sometimes, we can't know"

22 години тому## Treadingwater85

I understood about 40% of this video, still loved it.

День тому## spartalives

I donno I see a glaring issue with referring the self and then not being able to solve the problem because the system is stuck in a loop that is inevitable because a loop was the start of the system querying.

День тому## spartalives

So… the pot thinking about its self and can’t decide if it is or not because it thinking about it self

День тому## Nominis Imperium

everything you say depends upon how you define the words you use to say it. These definitions are by definition unstable, and therefore you can never fully know the exact meaning of what was said, unless you deny all instability of definition or interpretation or usage, which all change according to need, subject, experience, and intention, so you ultimately cannot fully know what journey meanings will take. I wish anyone good luck trying to know answers in advance of their calculation and expression. They are by nature out our control, as is the entire concept of stable, complete, pure and truthful Mathematics. But without mystery, there is surely only death, no colour and no sound.

День тому## lord_ne

17:50 Wouldn't it be easier to just have the Gödel number of a sentence be the concatenation of the symbols that make it up as digits in base + 1?

День тому## lord_ne

@Paul Mahoney That is blatantly false

8 годин тому## Paul Mahoney

@lord_ne Maybe, but the usage of prime numbers is the only thing in any system that can absolutely guarantee a unique set of numbers.

9 годин тому## lord_ne

@Paul Mahoney But that's the point, we express them in base + 1. So there are no single-symbol cards in the double digits.

9 годин тому## Paul Mahoney

@lord_ne Because there are base cards in the double digits. If the last two digits of a number are 14, does that refer to cards one and three, or card 13?

10 годин тому## lord_ne

@Paul Mahoney But how could they possibly concatenate to the same number if each card is a single digit in base + 1 ?

10 годин тому## Daniil Dimitrov

So 1 is equal to 2?

День тому## Cedrick Honeycutt

The neat refund analogously stare because giraffe phenomenologically flower worth a judicious meeting. hushed, cultured bill

День тому## Derek A

Yeah, it's made up.

День тому## alggazteca

Bravo! What a nice presentation! Thank you, from the bottom of my heart, before someone discovers that there is a hole there!. You really know how to make understandable the unintelligible. Congrats!

День тому## BostonBlues

21:00 this had me in a mental pretzel lmao 🤣

День тому## sivalley

This video is Turing Complete; it halted at the end.

День тому## Valics

Is this why there are always gonna be bugs in the programs ?

День тому## Justin D'Antonio

Can you please do an episode on whether quantum computers have capabilities beyond a Turing machine? Perhaps it's an easy answer...

День тому## Conscious Freshness

Countable infinites.....lol nah

День тому## Snorlox

it seems like the godel number g is only a paradox of "if it's true it's false, if it's false it's true" because it was given the godel number of g. but i guess eventually, if godel numbers are infnite, there would be a godel number just like it eventually. idk my brain is trying to understand lol

День тому## Conscious Freshness

There is no such thing as something true you can't prove....

День тому## Andre

There is.

19 годин тому## Snorlox

when i look up godel numbers, i unfortunately get some charts that show the same godel number meaning 2 different things.

День тому## Jiří Guth Jarkovský

Oh wow, nice to see the article by Tony Cubitt, David Perez Garcia and Michael Wolf here!

День тому## Griffin Barnes

Im, sorry, I know this sounds a bit arrogent. But for the diagnalization proof. If you made your list in actual order. So 1 is 0.1, 2 0.2, 3 0.3, 10 0.0 then at 11 you get 0.01. Then you do that infinitly. Could you not just make this new number, follow the new index you would get, and then find that exact number having been made. Especially if 9 rolls back to 8. If you had a number of 0.999 then you could go to get 0.888 from the diagnal which from the previous organization you know 0.888 comes far before 0.999 comes, so it is already drawn. We know if the number has 9 anywhere in a number, then if the index is organized propperly, then we can know with 100% certinty that the number made has apeared.

День тому## Релёкс84

The diagonal number you get from your list will be 0.211111... forever. The problem is that you're only listing numbers with finitely many digits, and so you're missing all real numbers with infinite digits, such as 1/3, pi/10 etc. and of course, 0.2111... as well. So everything's the same as in the video: the diagonal number is not on your list, nor are infinitely many numbers that are left out.

18 годин тому## aakla

So "Because" doesn't count as an answer?

День тому## Joshua Rennig

that would mean there is a stand alone loop in the number line that says "there is no proof that this is on the number line"

День тому## Theodor Hansen

Regarding the diagonalization proof isn't there an infinite amount of real numbers? So the number you created with the diagonal has to occur anyways. Also it's still a number meaning that it still occurs between 0 and 1 so why could it not be identified as a natural number?

День тому## Релёкс84

The diagonal number absolutely is à real number, nobody is debating that : but it's here to show that the list you made cannot contain all real numbers, since it will always miss at least this diagonal number no matter what (and in actuality it will miss infinitely many others as well, the diagonal one is just easy to find)

19 годин тому## Theodor Hansen

I read that meth has a fatal problem

День тому## Puppy Nutta

A flaw lies in [his] introducing an index, he quantifies real numbers with a sequential relativity of intergers, they're distinct sets treated with the same dynamics questioning why they were originally distinguished

День тому## Klaus Bolvig

I wonder when Bertrand Russell’s paradox would be mentioned. He was so much more it’s nearly impossible to believe such a person existed. Great show

День тому## Adil

i wish youube did split the comments of ppl who disliked and ppl who liked, so we can read what both parties say about this, especially the dislikes

День тому