Math Has a Fatal Flaw

ਨੂੰ ਪ੍ਰਕਾਸ਼ਿਤ ਕੀਤਾ ਗਿਆ 22 ਮਈ 2021
ਦ੍ਰਿਸ਼ 8 648 739
6 400

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

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

Veritasium
ਟਿੱਪਣੀਆਂ  
  • why bread

    why bread

    ਘੰਟੇ ਪਹਿਲਾਂ

    This video and his “how a infinite hotel ran out of rooms” video match up I just thought about it

  • Peter Shmain

    Peter Shmain

    ਘੰਟੇ ਪਹਿਲਾਂ

    Cantor's diagnolization proof is incorrect because when you use that method to think of a new number, it must then also be assigned to a new index which is just 1 more than the previous number therefore disproving infinite inequality. However, that's not to say that his ideas are incorrect. It's just that this proof doesn't completely work in this way

  • Michael Borisow

    Michael Borisow

    2 ਘੰਟੇ ਪਹਿਲਾਂ

    I don't know how many of all 8 million of yall are understanding this, but I'm gonna have to pause and look up stuff from this vid another ∞times before I understand anything

  • Aymane Sghiar

    Aymane Sghiar

    2 ਘੰਟੇ ਪਹਿਲਾਂ

    Best video I watched in a looooooooong time.

  • Anaya Barata

    Anaya Barata

    2 ਘੰਟੇ ਪਹਿਲਾਂ

    So is the fact that not all true things can be proven also unprovable?

  • Robin Hodson

    Robin Hodson

    3 ਘੰਟੇ ਪਹਿਲਾਂ

    But this depends upon the assumption that recursion and logic contradictions disprove systems. That's not necessarily universal, otherwise we wouldn't be capable of comprehending them. Saying "This is incomprehensible," an apparent paradox, is actually comprehensible, and thus not not invalid.

  • costaran

    costaran

    3 ਘੰਟੇ ਪਹਿਲਾਂ

    MEGALIKE 👍

  • James Corey

    James Corey

    3 ਘੰਟੇ ਪਹਿਲਾਂ

    Thank you for this waste of time.

  • Michael MAnville

    Michael MAnville

    4 ਘੰਟੇ ਪਹਿਲਾਂ

    More like insufficient computational ability to prove true, but can never be prove false.

    • Релёкс84

      Релёкс84

      4 ਘੰਟੇ ਪਹਿਲਾਂ

      Absolutely nothing to do with "computational ability"

  • Boysfifa010

    Boysfifa010

    4 ਘੰਟੇ ਪਹਿਲਾਂ

    What does it say about me that i read the title as "Meth has a fatal flaw" ??

  • Furqan Siddiqui

    Furqan Siddiqui

    5 ਘੰਟੇ ਪਹਿਲਾਂ

    That's the reason I love watching this channel. It forces me to "THINK"

  • James White

    James White

    5 ਘੰਟੇ ਪਹਿਲਾਂ

    I don't know if there is truth to be found studying mathematics, but there is much beauty to behold.

  • Jacob Alexander

    Jacob Alexander

    5 ਘੰਟੇ ਪਹਿਲਾਂ

    Godel hurts my damn head. How would you come up with that.

  • Prototype 81

    Prototype 81

    6 ਘੰਟੇ ਪਹਿਲਾਂ

    To say things like "always" or "we will never know" is a fallacy. This is similar to clickbait.
    Nobody can day for certain what can be or cant be possible in the future. That is a simple fundamental of life.
    So... why is this guy using terms that are incorrect?...
    What else is he invorrect about. Why trust this guy on anything when hes obviuosly romancing the structure..
    Lame.

  • Mr Blue

    Mr Blue

    7 ਘੰਟੇ ਪਹਿਲਾਂ

    1 + 2 = 4

  • János TÓTH

    János TÓTH

    9 ਘੰਟੇ ਪਹਿਲਾਂ

    Lobachevsky and Bolyai, Gauss is at most the third.

  • kamahll goodarz

    kamahll goodarz

    9 ਘੰਟੇ ਪਹਿਲਾਂ

    Perhaps maths really is the language of reality in so much as they are both paradoxical

  • Solar Plexus

    Solar Plexus

    10 ਘੰਟੇ ਪਹਿਲਾਂ

    I knew it.. Remember "Computer Code Discovered In Superstring Equations" ?

  • Galina Zwerlein

    Galina Zwerlein

    10 ਘੰਟੇ ਪਹਿਲਾਂ

    We don't know what we don't know.

  • Reilly 25

    Reilly 25

    11 ਘੰਟੇ ਪਹਿਲਾਂ

    Can you not? Math is hard already stop giving them ideas on making it harder I'm still studying just do it after I graduate ty

  • infinite define

    infinite define

    12 ਘੰਟੇ ਪਹਿਲਾਂ

    I don't have to know any of this.
    I'm richer than yall could ever be.
    But I only know arithmetic.
    Chile imma count my money now.
    Also I don't actually have physical money anymore

  • Adam Keeley

    Adam Keeley

    14 ਘੰਟੇ ਪਹਿਲਾਂ

    There is no preferable side of the equal sign.

  • Gleichtritt

    Gleichtritt

    15 ਘੰਟੇ ਪਹਿਲਾਂ

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

  • Fat Al

    Fat Al

    15 ਘੰਟੇ ਪਹਿਲਾਂ

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

  • Pieter

    Pieter

    16 ਘੰਟੇ ਪਹਿਲਾਂ

    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?

  • Spider-Jonah- Man

    Spider-Jonah- Man

    17 ਘੰਟੇ ਪਹਿਲਾਂ

    It’s boring

  • Noriaki Kakyoin

    Noriaki Kakyoin

    18 ਘੰਟੇ ਪਹਿਲਾਂ

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

  • Jesse Thomas

    Jesse Thomas

    18 ਘੰਟੇ ਪਹਿਲਾਂ

    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.

  • Sam Re

    Sam Re

    18 ਘੰਟੇ ਪਹਿਲਾਂ

    Godel, Escher, Bach

  • Frank Harcourt

    Frank Harcourt

    19 ਘੰਟੇ ਪਹਿਲਾਂ

    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.

  • James Sonke

    James Sonke

    19 ਘੰਟੇ ਪਹਿਲਾਂ

    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

  • Zora Marslink

    Zora Marslink

    20 ਘੰਟੇ ਪਹਿਲਾਂ

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

  • Grilled Flatbread

    Grilled Flatbread

    21 ਘੰਟੇ ਪਹਿਲਾਂ

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

  • John Woodall

    John Woodall

    21 ਘੰਟੇ ਪਹਿਲਾਂ

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

  • Hedgehog3342

    Hedgehog3342

    21 ਘੰਟੇ ਪਹਿਲਾਂ

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

  • Adobe Reviews

    Adobe Reviews

    21 ਘੰਟੇ ਪਹਿਲਾਂ

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

  • Philip Berthiaume

    Philip Berthiaume

    22 ਘੰਟੇ ਪਹਿਲਾਂ

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

  • Jesus Shuttlesworth

    Jesus Shuttlesworth

    23 ਘੰਟੇ ਪਹਿਲਾਂ

    Godel grief

  • Teflon  musk

    Teflon musk

    ਦਿਨ ਪਹਿਲਾਂ

    What a good ole number

  • KZisNBKosplay

    KZisNBKosplay

    ਦਿਨ ਪਹਿਲਾਂ

    Math is just a Riddle.

  • Seth Solomon [Student]

    Seth Solomon [Student]

    ਦਿਨ ਪਹਿਲਾਂ

    My life is a lie

  • Tea Drinker

    Tea Drinker

    ਦਿਨ ਪਹਿਲਾਂ

    The set that contains everything can't contain nothing

  • Alaa Ashraf

    Alaa Ashraf

    ਦਿਨ ਪਹਿਲਾਂ

    Wow

  • Colby Black

    Colby Black

    ਦਿਨ ਪਹਿਲਾਂ

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

  • San Ien Jao

    San Ien Jao

    ਦਿਨ ਪਹਿਲਾਂ

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

  • Daniel Methner

    Daniel Methner

    ਦਿਨ ਪਹਿਲਾਂ

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

  • Michael Fitzgerald

    Michael Fitzgerald

    ਦਿਨ ਪਹਿਲਾਂ

    Sounds like you need a second barber lol.

  • Fractalator _

    Fractalator _

    ਦਿਨ ਪਹਿਲਾਂ

    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.

  • Llama Vicky

    Llama Vicky

    ਦਿਨ ਪਹਿਲਾਂ

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

  • an 17121981

    an 17121981

    ਦਿਨ ਪਹਿਲਾਂ

    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

  • Rakshath G. Poojary

    Rakshath G. Poojary

    ਦਿਨ ਪਹਿਲਾਂ

    30:05 goosebumps 🤯

  • BOB A

    BOB A

    ਦਿਨ ਪਹਿਲਾਂ

    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).

  • Abderrahim Benmoussa

    Abderrahim Benmoussa

    ਦਿਨ ਪਹਿਲਾਂ

    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

  • Nigel Siya-d

    Nigel Siya-d

    ਦਿਨ ਪਹਿਲਾਂ

    Bravo

  • Azizur Rahman siyam

    Azizur Rahman siyam

    ਦਿਨ ਪਹਿਲਾਂ

    the cards literally went above my head.

  • Kenichi Sasaki

    Kenichi Sasaki

    ਦਿਨ ਪਹਿਲਾਂ

    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. :-)

    • Андрей Иванов

      Андрей Иванов

      ਘੰਟੇ ਪਹਿਲਾਂ

      ​@Дмитрий Косолобов According to definition empty set is an element of every set without exception. So empty net contains itself by definition. I don't see reason to argue about definition. :-)

    • Дмитрий Косолобов

      Дмитрий Косолобов

      12 ਘੰਟੇ ਪਹਿਲਾਂ

      @Андрей Иванов The empty set cannot be the set of all sets because the empty set does not contain at least one existing set, the empty set. This means that the axiom "the set of all sets is empty" leads to a contradiction and, thus, cannot be accepted. What might confuse you is that the notion "a set A contains B" is not equivalent to "A is a superset of B": in the former case A contains an object B (be it a set or anything else), and the latter case means that all elements of B are elements of A. The set of all sets _contains_ all sets, it is not a superset of all sets.

    • Андрей Иванов

      Андрей Иванов

      14 ਘੰਟੇ ਪਹਿਲਾਂ

      @Дмитрий Косолобов >> 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.

  • Guillaume Ohz

    Guillaume Ohz

    ਦਿਨ ਪਹਿਲਾਂ

    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.

  • TheDeadPoet

    TheDeadPoet

    ਦਿਨ ਪਹਿਲਾਂ

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

  • John Cantu

    John Cantu

    ਦਿਨ ਪਹਿਲਾਂ

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

  • can_of_woopwoop

    can_of_woopwoop

    ਦਿਨ ਪਹਿਲਾਂ

    Rephrase... 'science has a fatal flaw'

  • Asma Angel

    Asma Angel

    ਦਿਨ ਪਹਿਲਾਂ

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

  • Sure, Indubitably!

    Sure, Indubitably!

    ਦਿਨ ਪਹਿਲਾਂ

    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

  • zmunk

    zmunk

    ਦਿਨ ਪਹਿਲਾਂ

    Love the MTG shoutout!

  • El Mino

    El Mino

    ਦਿਨ ਪਹਿਲਾਂ

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

  • Felipe El Guapo

    Felipe El Guapo

    ਦਿਨ ਪਹਿਲਾਂ

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

  • Araceli Perez

    Araceli Perez

    ਦਿਨ ਪਹਿਲਾਂ

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

  • Peace22

    Peace22

    ਦਿਨ ਪਹਿਲਾਂ

    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.

  • dodiswatchbobobo

    dodiswatchbobobo

    ਦਿਨ ਪਹਿਲਾਂ

    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.

  • Megananium

    Megananium

    ਦਿਨ ਪਹਿਲਾਂ

    Surprisingly i actually understood most of this

  • Daniel DaSilva

    Daniel DaSilva

    ਦਿਨ ਪਹਿਲਾਂ

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

  • Mordechai Vanunu

    Mordechai Vanunu

    ਦਿਨ ਪਹਿਲਾਂ

    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.

  • LiT TV

    LiT TV

    ਦਿਨ ਪਹਿਲਾਂ

    My brain hurts

  • Iuri MC

    Iuri MC

    ਦਿਨ ਪਹਿਲਾਂ

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

  • Diggensagg

    Diggensagg

    2 ਦਿਨ ਪਹਿਲਾਂ

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

    • Moyprod

      Moyprod

      ਦਿਨ ਪਹਿਲਾਂ

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

  • Jacobus Terhorst

    Jacobus Terhorst

    2 ਦਿਨ ਪਹਿਲਾਂ

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

  • Steve

    Steve

    2 ਦਿਨ ਪਹਿਲਾਂ

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

  • Murat İlsever

    Murat İlsever

    2 ਦਿਨ ਪਹਿਲਾਂ

    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?

    • Релёкс84

      Релёкс84

      4 ਘੰਟੇ ਪਹਿਲਾਂ

      @Murat İlsever The flaw with your mapping is that it doesn't cover every real number. For example, 1/3 = 0.333... doesn't appear anywhere on it. In fact, you're only accounting for numbers with a finite decimal expansion, aka decimal numbers, which are countably many unlike real numbers. Now, what if you apply Cantor's diagonal argument to this list of numbers you created? After all there's nothing preventing you from trying out. Do you get a contradiction? I'll let you find out on your own.

    • Murat İlsever

      Murat İlsever

      6 ਘੰਟੇ ਪਹਿਲਾਂ

      @Релёкс84 Hi, thanks. I can't see any flaw in the following mapping. Remove "0." from the real number, then write remaining digits in reverse order. (reversing to make significiant zeros) 0.1 1 0.234 432 0.000345 543000 What am I missing here ???

    • Релёкс84

      Релёкс84

      2 ਦਿਨ ਪਹਿਲਾਂ

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

  • Nethender

    Nethender

    2 ਦਿਨ ਪਹਿਲਾਂ

    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

  • Lamamri Aissa

    Lamamri Aissa

    2 ਦਿਨ ਪਹਿਲਾਂ

    i have determinate the formula of the tangent

  • Lamamri Aissa

    Lamamri Aissa

    2 ਦਿਨ ਪਹਿਲਾਂ

    do hear about fractale music

  • Lamamri Aissa

    Lamamri Aissa

    2 ਦਿਨ ਪਹਿਲਾਂ

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

  • Jeremy Lanier

    Jeremy Lanier

    2 ਦਿਨ ਪਹਿਲਾਂ

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

  • Ovid Bambusa

    Ovid Bambusa

    2 ਦਿਨ ਪਹਿਲਾਂ

    What´s undecidable about airline ticket systems?

  • Jim Frost

    Jim Frost

    2 ਦਿਨ ਪਹਿਲਾਂ

    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.

  • Bruce Wayne

    Bruce Wayne

    2 ਦਿਨ ਪਹਿਲਾਂ

    Godel Escher Bach

  • TJand08 DOES GAMING

    TJand08 DOES GAMING

    2 ਦਿਨ ਪਹਿਲਾਂ

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

  • Nial Red

    Nial Red

    2 ਦਿਨ ਪਹਿਲਾਂ

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

  • Nial Red

    Nial Red

    2 ਦਿਨ ਪਹਿਲਾਂ

    Can we call the hole as consciousness?

  • slkjvlkfsvnls dfhgdght

    slkjvlkfsvnls dfhgdght

    2 ਦਿਨ ਪਹਿਲਾਂ

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

  • Diego Savic

    Diego Savic

    2 ਦਿਨ ਪਹਿਲਾਂ

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

  • timthegameryeet

    timthegameryeet

    2 ਦਿਨ ਪਹਿਲਾਂ

    Yeet

  • Dila Afdhol Santosa

    Dila Afdhol Santosa

    2 ਦਿਨ ਪਹਿਲਾਂ

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

  • Dim Willow

    Dim Willow

    2 ਦਿਨ ਪਹਿਲਾਂ

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

    • dsBlocks

      dsBlocks

      2 ਦਿਨ ਪਹਿਲਾਂ

      you didn't watch the video, right?

  • Spoiler Alert

    Spoiler Alert

    2 ਦਿਨ ਪਹਿਲਾਂ

    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.

  • Random stuff

    Random stuff

    2 ਦਿਨ ਪਹਿਲਾਂ

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

  • T-tus

    T-tus

    2 ਦਿਨ ਪਹਿਲਾਂ

    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

    • T-tus

      T-tus

      2 ਦਿਨ ਪਹਿਲਾਂ

      @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 =)

    • Mr_Magnus

      Mr_Magnus

      2 ਦਿਨ ਪਹਿਲਾਂ

      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.