Crisis in the Foundation of Mathematics | Infinite Series

แชร์
ฝัง
  • เผยแพร่เมื่อ 22 ก.ย. 2024

ความคิดเห็น • 2.6K

  • @eleandrocustodio
    @eleandrocustodio 3 ปีที่แล้ว +347

    this is one of the best PBS's shows. They should hire her back!!

    • @CheatOnlyDeath
      @CheatOnlyDeath 3 ปีที่แล้ว +8

      So true. When I need something explained about math, I wish Kelsey had a video.

    • @imaseeker100
      @imaseeker100 3 ปีที่แล้ว +17

      She's a treasure. Should definitely be hosting a regular online program on PBS

    • @eleandrocustodio
      @eleandrocustodio 3 ปีที่แล้ว +21

      @Persephone[Percy] she had to quit to finish her dissertation.

    • @aceichner
      @aceichner 3 ปีที่แล้ว +8

      WHAAAA! This is my first video, I just subscribed because this was awesome (a lot of which often has to do with the presenter,) and this is the first comment?!? Noooo.

    • @eliasscorsone4649
      @eliasscorsone4649 3 ปีที่แล้ว +3

      @@eleandrocustodio Great news, and I hope we see more of her. Shows like this are helping me through school. If she gets hired as a professor somewhere, I would 100% take a course. A good prof is essential to breaking down a text like those mentioned here - I'm not sure I'd have a chance on my without help for the books by Frege or Russell/Whitehead!!!

  • @shakesmctremens178
    @shakesmctremens178 7 ปีที่แล้ว +664

    I feel very comfortable not having to write out a few hundred pages of justification whenever I need to add 1 and 1.

    • @therealpbristow
      @therealpbristow 5 ปีที่แล้ว +109

      Mathematicians: "We prove the obvious, so that you don't have to!" =;o}

    • @GoodFurDay64K
      @GoodFurDay64K 5 ปีที่แล้ว +7

      I love math for the fact I avoid papers lmao. But as a child, I always loved numbers and puzzles

    • @MikeRosoftJH
      @MikeRosoftJH 5 ปีที่แล้ว +28

      And after proving that 1+1=2, he noted: "The above proposition is occasionally useful". (Of course, this means that it would be used to prove some other theorems.)

    • @TheDavidlloydjones
      @TheDavidlloydjones 5 ปีที่แล้ว +7

      I count on a mental set of ten finger-numbers. This has saved me a lifetime's worth of fence-post errors, at least two of which were valuable to have missed.
      One of Einstein's many advantages over the rest of us was apparently that his mental counting images included his toes.

    • @GeorgWilde
      @GeorgWilde 5 ปีที่แล้ว +8

      @@therealpbristow Most of theorems of mathematics are nor obvious nor intuitive...

  • @jmzorko
    @jmzorko 5 ปีที่แล้ว +98

    This is still one of my favorite episodes, dealing with one of my favorite areas of math / philosophy. Infinite Series, as well as other channels like 3blue1brown, go a long way towards making complex math a lot simpler for peeps like me to follow. This / the world completely fascinates me :-)

    • @dcqec111
      @dcqec111 4 ปีที่แล้ว +5

      Same. I literally have dreams about the set theory. They have such an aura of mystery

  • @46145max
    @46145max 4 ปีที่แล้ว +95

    Astronaut #1: Wait, it's all just turtles?
    Astronaut #2: Always has been.

    • @HHCronikO
      @HHCronikO 3 ปีที่แล้ว

      Astronaut#3: I second that.

  • @LucidStew
    @LucidStew 6 ปีที่แล้ว +290

    My crisis in math is that I've covered vectors in 4 different classes now, and I still don't know any more about them than did after the 1st class.

    • @simonmultiverse6349
      @simonmultiverse6349 3 ปีที่แล้ว +30

      If you extend your arm and point at something, THAT IS A VECTOR!

    • @mashup_editor
      @mashup_editor 3 ปีที่แล้ว +9

      A vector is a list of n numbers that define a point in n dimensional space. That is clear to me. But first you have to know what a space is.

    • @LucidStew
      @LucidStew 3 ปีที่แล้ว +17

      @@simonmultiverse6349 so the thing you point at is a vector?

    • @simonmultiverse6349
      @simonmultiverse6349 3 ปีที่แล้ว +22

      @@LucidStew NoooooooooooooooooooooooooOOOOOOOOOOOOoooooooOOOOOOOOOo!!!!

    • @balonglong100
      @balonglong100 3 ปีที่แล้ว +10

      @@LucidStew I'm sorry but this statement explains why you don't understand vectors. You don't care enough to learn and that isn't really your fault.

  • @Lloyd2112DT
    @Lloyd2112DT 7 ปีที่แล้ว +543

    8:16 Wrong Principia... The editors must be out to lunch again.

    • @tharagleb
      @tharagleb 7 ปีที่แล้ว +29

      Good catch!

    • @hellfirelordofevil
      @hellfirelordofevil 7 ปีที่แล้ว +31

      I was just about to make the same observation, glad someone else spotted it too!

    • @SlipperyTeeth
      @SlipperyTeeth 7 ปีที่แล้ว +90

      It even starts as Philosophiae naturalis and has Newton as the author. How do you mess that up?

    • @btsnake
      @btsnake 7 ปีที่แล้ว +58

      I was going to say, I don't think Bertrand Russell's philosophical tome had a title all in Latin, or "Autore I.S. Newton" anywhere on the cover. And I'm sure it wasn't printed in a hand cranked printing press. It's a silly little error though and it made me laugh so I don't mind

    • @escriticapop
      @escriticapop 7 ปีที่แล้ว +2

      Spotted this too. Busted!

  • @acuriousmind7458
    @acuriousmind7458 7 ปีที่แล้ว +268

    That's actually Newton's Principia in the graphics.

    • @Achrononmaster
      @Achrononmaster 6 ปีที่แล้ว +20

      hahaha! You are right Kushal! It's an example perhaps of the modern malaise of visuals over text. "Every webpage needs a picture" is the modern mantra. Yet it seems people have not learned how to as accurately proof read images as well as text. The result is TH-camr's and bloggers can just throw up images as eye candy without much thought.

    • @Enlightenchannel
      @Enlightenchannel 6 ปีที่แล้ว +37

      I was scrolling the comments to see if anyone else noticed that lol. It says Newton right on the page!

    • @Tadesan
      @Tadesan 6 ปีที่แล้ว +6

      Lol that's sad...

    • @myspacetimesaucegoog5632
      @myspacetimesaucegoog5632 6 ปีที่แล้ว +2

      I thought Hey but that's Newton's work, when I read the publication titles. I didn't zoom in to check. Thanks for confirmation!

    • @diabl2master
      @diabl2master 6 ปีที่แล้ว +1

      I didn't notice that but I did feel the cover was way to old looking for Russell's time

  • @SpaceLordof75
    @SpaceLordof75 7 ปีที่แล้ว +145

    Your pic of Russell's book is of Newton's Principia, which is 200 years older...

    • @David_Last_Name
      @David_Last_Name 7 ปีที่แล้ว +11

      Lol. I was wondering why they choose to publish their book in the style of an ancient manuscript. I didn't catch that, thanks! :)

    • @christopherellis2663
      @christopherellis2663 6 ปีที่แล้ว +9

      Newton is the superior product

  • @the1exnay
    @the1exnay 5 ปีที่แล้ว +108

    This is like the problem of how do you define a word when its definition must contain another word and as such eventually you must do the nonsensical thing of using a word to define a piece of what defines it. Despite this we can communicate clearly and that just seems magical to me, and similarly maths seems solid and logical and clear despite it being based on axioms themselves with limited foundation. I think this type of thinking is just a wonderful part of the human condition as weird as it is to understand something you can't define without using itself.

    • @RecursiveRuminations
      @RecursiveRuminations 5 ปีที่แล้ว +7

      The phenomena you describe with words is quite fascinating. Yet there is no first axiom of words, perhaps it is the "I" which exists and allows all else to follow.

    • @MusicGameFinatic999
      @MusicGameFinatic999 5 ปีที่แล้ว +6

      Wow you just blew my mind with that first sentence tbh lol. Super interesting comment

    • @davidk7212
      @davidk7212 5 ปีที่แล้ว +6

      What underlies our modern languages now I think, is a set of words that a person associates, or can associate, directly with thoughts. If this wasn't the case, language wouldn't work. From a more general perspective, human language evolved continuously from, and in parallel to, life itself. From direct mechanical and chemical cues between cells, to more sophisticated sensory input, to non-verbal cues and facial expressions, to miming and gestures, to grunts/whistles/clicks/calls, to a super rudimentary "language" of a few basic nouns and verbs, and so on so forth. So the machinery of language, and thus the "axioms" of language, are quite literally in our DNA.

    • @onetwothree4148
      @onetwothree4148 5 ปีที่แล้ว

      Yep, we are coded to understand language, but we don't understand it very precisely. We all have different beliefs about what every word represents, yet it is still useful. Math can be like that sometimes, but also it isn't. Every computer is coded to know that 1 and zero have some concrete, objective relationship to physical reality (they represent physical electrons).

    • @iosefka7774
      @iosefka7774 4 ปีที่แล้ว +1

      You'd enjoy Derrida's work on language.

  • @kansascityshuffle8526
    @kansascityshuffle8526 6 ปีที่แล้ว +11

    Admittedly I keep videos like this to help me fall asleep. Have to wake up early because I got a Cs and Ds in high school.

  • @senorgooba7360
    @senorgooba7360 7 ปีที่แล้ว +198

    The title scared me. I was expecting a Gödel's incompleteness theorem type discovery but more deadly.

    • @wilddogspam
      @wilddogspam 7 ปีที่แล้ว +27

      Jane Black yeah, you can prove that math is not actually false or inconsistent, so incomplete and undecidable is literally the worse it'll ever be. I don't think people appreciate how devastating that simple truth is.

    • @freediugh416
      @freediugh416 7 ปีที่แล้ว

      wolfspam- can you explain a bit more so I can appreciate it?

    • @reallyWyrd
      @reallyWyrd 7 ปีที่แล้ว +1

      Señor Gooba At least it wasn't a basilisk hack.

    • @wilddogspam
      @wilddogspam 7 ปีที่แล้ว +41

      Free Diugh the best explanation is a little technical, relying on second order logic, but I'll give it a try.
      In one sentence, the math we already know is beyond doubt, but Gödel's theorem cast literally everything else in math into doubt. In more detail...
      No system can be proven false, or more accurately, no axiom can be proven false within a system, and we know that math "works" (aligns with our intuition and experience).
      Consistency is the bare minimum measure of explanatory power of a formal system. In an inconsistent system, every single well formed sentence is true. Math neatly divides true and false statements, therefore it's consistent.
      This leaves only completeness and decidability. Completeness means that any well formed sentence in a system can be proven true or false. In math that was the assumption that any conjecture or question you could correctly express in the mathematical language could, given enough work, lead to a theorem. It's the assumption any mathematician makes when they start working on a problem: that there is a solution.
      What happened is that Gödel proved that some sentences simply could not be proven true or false, shattering the idea that we could neatly explore all of math from a finite set of axioms. Immediately after, he also proved undecidability, that is, that some problems were not only unsolvable, but it could not be known wether they were solvable.
      This caused an actual crisis in mathematics, and deservedly so, because mathematicians were faced with proof that they might be working in vain to prove something that literally cannot be proven.
      It also cooled down the formalists' efforts to eradicate "islands", or branches of mathematics that relied on their on some specific set of axioms, by expressing everything in terms of a minimal set, because we now knew that islands must exist, since no finite set of axioms could ever describe the whole of mathematics. That's what fuels the debates regarding the axiom of choice, the Continuum axiom etc.
      That was it. Mathematics was quite literally incomplete. There was proof that a chunk of unknowable size was missing. Now we knew that there were things about math that we will never know and that we couldn't even know what those things were or how much of it there was.

    • @freediugh416
      @freediugh416 7 ปีที่แล้ว +1

      wolfspam- that's very interesting and well explained. Why is "Consistency is the bare minimum measure of explanatory power of a formal system"? and what are some examples of known problems without completeness and decidability? Wouldn't discovering something that can't be proven true or false be the same as finding an axiom?

  • @musikinspace
    @musikinspace 3 ปีที่แล้ว +12

    I swear when you said "What grounds mathematics?" I thought "It's turtles all the way down" and then you said it. I must be psychic

  • @RN1441
    @RN1441 3 ปีที่แล้ว +29

    @9:00 I like how we just cruise past the implications of Gödel.

    • @blinchikjan9486
      @blinchikjan9486 3 ปีที่แล้ว

      Totally haha

    • @nHans
      @nHans 3 ปีที่แล้ว +2

      It wasn't quite the foundational crisis like Russel's Paradox was. Besides, it came 3 decades after Russel's Paradox, and nearly a decade after the ZF axioms resolved that crisis. Sure, it was disappointing that, starting with a handful of axioms, you couldn't prove or disprove every possible mathematical statement. But many mathematicians already suspected that. After all, the first axiom alone cannot prove or disprove the second axiom; the first and second together cannot prove or disprove the third, and so on. You need at least 7 axioms to prove other important results; 9 is even better. But are that many axioms sufficient to prove _everything else?_ Clearly not.

    • @nHans
      @nHans 3 ปีที่แล้ว +1

      ​@@imengaginginclown-to-clown9363 The 9 axioms of ZFC are mentioned in the video (starting at 8:30), which I hope you watched. Feel free to take it up with her if you disagree.
      I'm guessing you're talking of the _axiom schemas_ used in the _first order_ theories of Presburger and Peano arithmetic, as well as ZFC.
      The same theories can be formulated using second-order logic without using axiom schemas, that is, using a strictly finite number of axioms.
      Regardless, Gödel's limitation applies to Peano and ZFC, but not Presburger. So I'm not sure what your point is.

    • @nHans
      @nHans 3 ปีที่แล้ว +1

      ​@@imengaginginclown-to-clown9363 I feel we may be arguing semantics while basically agreeing on the underlying math. At the risk of repeating myself, and of telling you things you already know, let me explain once again:
      First-order and second-order logic are _not_ theories by themselves. They are languages used to build theories. Presburger, Peano, and ZFC can be formulated in either first-order or second-order logic.
      In first-order logic, you need axiom schemas which are, technically, an infinite number of axioms. But these are not arbitrary axioms; every axiom in a schema has exactly the same form.
      This is important because, given any arbitrary mathematical statement, you must be able to tell, within a finite number of steps, whether that statement is an axiom or not. With a finite number of axioms, that's easy: You compare the statement with every axiom one-by-one. But what if you have an infinite number of axioms? If you start comparing the statement with the axioms one-by-one, it could take you forever-particularly if the statement is _not_ an axiom. This is unacceptable. So, even if your axioms are infinite, they cannot be arbitrary. They have to be comparable in a finite number of steps. See, that's where the requirement of some form of finiteness with regards to axioms comes from. In our case, we have a finite number of axiom schemas. So, given an arbitrary statement, we can quickly tell, from its form alone, whether it's an axiom in the schema or not.
      This is completely different from having an infinite number of _arbitrary_ axioms. Some people (wrongly) suggest that you can overcome Gödel's limitation as follows: Every time you come across an undecidable statement, convert it (or it's converse) into an axiom, until all statements are either axioms, or decidable. That won't work because there are an infinite number of undecidable statements, and you cannot have an infinite number of _arbitrary_ axioms, as I explained earlier.
      So go ahead and assume that I said "finite number of axiom _schemas"_ instead "finite number of axioms." My original summary of Gödel remains unchanged: "Starting with a finite number of axiom _schemas,_ you cannot prove or disprove every one of an infinite number of statements; some must remain undecidable."
      Again: We do *not* use an infinite number of *_arbitrary_* axioms.
      In second-order logic, you do _not_ need axiom schemas. Induction can be directly defined. You have a strictly finite number of axioms. But you still get the same results, including Gödel's undecidability.
      *That's why I said that mathematical theories are based on a finite number of axioms.*
      I was referring to either axioms in second-order logic, or axiom _schemas_ in first-order logic.
      Let's not debate this any further; it's fruitless. I can't explain any better than I have.
      Presburger is important to the theory of math, particularly as a comparison to Peano. It's not used in practice because it doesn't have multiplication. 🤣
      Many people have wrong notions about Gödel. That's why Presburger is useful to clarify the concepts. For example:
      - Is the undecidability of Peano and ZFC due to the axiom schemas (infinite axioms)? No, because Presburger also has them, but it is still decidable.
      - Are _all_ mathematical theories subject to Gödel's limitations, that is, are they all undecidable, incomplete, and their consistency cannot be proved? No, Presburger is not subject to Gödel's limitations. It is proved to be decidable, consistent, and complete.

    • @nHans
      @nHans 3 ปีที่แล้ว +1

      ​@@imengaginginclown-to-clown9363 Dude, I've already explained this before. Are you sure you're not just yanking my chain? Again: _I_ did not come up with the numbers 7 or 9. Please see the video again! The presenter mentioned that ZFC has 9 axioms, ZF without C has 8, and only 7 of the 9 ZFC axioms are proper axioms (or something like that). My point was that with a finite number of axioms / schemas, you cannot prove or disprove every possible statement. I could've used any finite number as an example. *I agree with you that the actual number is not important!* I used 7 and 9 because those were the specific numbers used *by the presenter.* Reusing the same numbers made my example more concrete. It let readers infer that ZFC (which, *according to the video,* has 9 axioms, of which 7 are "pure") is incomplete according to Gödel. The presenter didn't go into how a large number of axioms can be combined into a smaller number of axioms, and so I didn't either. These axioms are always taught as separate axioms; I learnt them as separate axioms; and they are used as separate axioms in proving theorems.

  • @benji9107
    @benji9107 4 ปีที่แล้ว +56

    Frege: finally I can put a foundation to math
    Russell: think again bro
    Frege: woah you log-blocked me bro

    • @learncoding_one
      @learncoding_one 3 ปีที่แล้ว +1

      Wittgenstein has entered the chat.

  • @arnaudparan1419
    @arnaudparan1419 3 ปีที่แล้ว +1

    I'm not an expert here, but If I remember well, what Godel states is that coherence can't be implied from ZFC, meaning that you will always find a model of ZFC which is coherent and another model which is not. So if you find a possible inconsistency in your model, you always have another model which will be consistent, because if there was none, then non coherence could be implied from ZFC. So even though we might find inconsistencies in models it isn't a big deal. And when we think about it, it's kind of what we always did in math, every time we found a true paradox, we just reshaped math so that it would not be affected by that paradox, like Russel's paradox.

  • @TrevorKafka
    @TrevorKafka 7 ปีที่แล้ว +33

    I'd love if you could dig deeper into the ZF axioms and provide an example of how the axioms could be used to derive a theorem in classical mathematics.

    • @fnors2
      @fnors2 7 ปีที่แล้ว +9

      It all depends on how hard you want to make the proof. Lets say we want to probe the Pythagorean Triangle Theorem with ZF.
      The "easy" way is to first use ZF to work with sets and construct the Natural numbers. This implies proving everything you might need until then, so there is quite a lot of things to show. Then, you drop ZF and you can work with the Natural numbers like an ancient Greek.
      The hard way would be to keep working with the integers as sets instead of numbers. Or sticking to the ZF axioms.
      In general, you want to use the biggest blocks you can in proofs or problem. Once a block or theorem is proved, just use it. Otherwise things can get tedious fast. That is generally why we only see ZF used when working with sets.

    • @wilddogspam
      @wilddogspam 7 ปีที่แล้ว

      Fnors also, if you look very closely, some blocks are not actually connected but assumed to be connected. Much of the work to unify all math cooled down after the crisis described in this video. But yeah, it's generally easier to prove a working framework in an axiom set instead of each individual already proven theorem.

    • @AidenOcelot
      @AidenOcelot 7 ปีที่แล้ว

      Trevor Kafka ZF? I love Soviet Womble

    • @Schindlabua
      @Schindlabua 7 ปีที่แล้ว

      If you're into overly verbose proofs, I can only recommend the book "mathematics made difficult" by Carl Linderholm. It's hilarious!

    • @Onoesmahpie
      @Onoesmahpie ปีที่แล้ว +1

      The investigation of the ZF axioms is quite removed from naïve set theory, so no mathematician would be interested in doing this. In other words, axiomatic set theory studies the axioms of ZF almost exclusively, whereas naïve set theory studies the consequences of these axioms. Hypothetically one could write such a proof involving both these fields of math, but it would be overly cumbersome to the point of being unreadable, even to mathematicians who were well versed in both subjects. It's similar to why mathematicians don't usually cite, e.g., the ZF axioms when writing an analysis proof. Sure the underlying logical structure is there, but really you get the entire picture from studying the two components and melding them together explicitly really just makes for a monstrous, overly complicated proof.

  • @joaoenes
    @joaoenes 7 ปีที่แล้ว +74

    Just a minor and natural mistake, the Dedekind cut for the square root of two is wrong. The sets should be {x in Q | x^2 < 2 or x < 0} and {x in Q | x^2 >= 2 and x >= 0}.

    • @joaoenes
      @joaoenes 7 ปีที่แล้ว +11

      Jane Black What is used is not a Dedekind cut because it does not divide the rationals in a initial and a terminal sets, the set {x in Q | x^2 < 2} are the rationals in ]-sqrt(2), sqrt(2)[. You don't use Dedekind cuts to define the imaginary numbers, you use the already defined real numbers, the imaginary numbers are R^2 with the product (a, b) * (c, d) = (ac - bd, ad + bc)

    • @SimonClarkstone
      @SimonClarkstone 7 ปีที่แล้ว +4

      Yeah. I also came down here to point out that there are negative solutions to x^2 < 2 that are missing from the diagram.

    • @richardlinter4111
      @richardlinter4111 7 ปีที่แล้ว +1

      This is absolutely true but I'd regard it as entirely proper to not bring up the idea of x

    • @OniNoFAQ
      @OniNoFAQ 6 ปีที่แล้ว +4

      It has nothing to do with imaginary numbers, just with negative numbers, which were already introduced. If x is -3, then it would not belong to the left part of the cut (and it should).

    • @pillbox1240
      @pillbox1240 6 ปีที่แล้ว +1

      João Enes shut up egg head.

  • @MrHatoi
    @MrHatoi 7 ปีที่แล้ว +104

    "All the things you can get by dividing integers"
    *1/0*

    • @bernd8608
      @bernd8608 5 ปีที่แล้ว +6

      no u

    • @onetwothree4148
      @onetwothree4148 5 ปีที่แล้ว +3

      Ha, doesn't matter there's no rational basis for infinity or repeating decimals (if it's impossible for every digit to exist at the same time--it's not a number, in logic), so the whole system really stops at rational numbers anyway. Everything else is a totally different, and less rigorous logic.

    • @skepticmoderate5790
      @skepticmoderate5790 4 ปีที่แล้ว +1

      @@onetwothree4148 No. There is no less rigorous logic in the definition of square roots or pi. You simply don't understand how these things are defined if you think that.

    • @onetwothree4148
      @onetwothree4148 4 ปีที่แล้ว

      @@skepticmoderate5790 or you don't understand the logic of defining finite entities. You can't add infinity in the logic of arithmetic. Try programing a computer with an irrational number. No computation with irrational numbers is possible unless they cancel out.

    • @onetwothree4148
      @onetwothree4148 3 ปีที่แล้ว

      @Paul Guaguin you're confusing mathematics with logic. Many branches of mathematics have nothing to do with logic or the world we live in

  • @grigorpenev495
    @grigorpenev495 6 ปีที่แล้ว +8

    The video I've been waiting to watch my entire life.

    • @andreassumerauer5028
      @andreassumerauer5028 3 ปีที่แล้ว +4

      Wait, was that really your entire life that I've been watching right now?

  • @daca8395
    @daca8395 5 ปีที่แล้ว +3

    Since subscribing to your Chanel, I find myself picuring you explaining thing to me when I study maths for an examn or had to proove soume engineering theory mathematicly. You restored my love for maths! Thank you for that!

  • @LondonofGont
    @LondonofGont 7 ปีที่แล้ว +4

    Halfway through Russel's Introduction to Mathematical Philosophy, a pleasant serendipity! :)

  • @offtheball87
    @offtheball87 7 ปีที่แล้ว +77

    For anyone looking for the last link:
    people.ischool.berkeley.edu/~nick/aaronson-oracle/index.html
    It may be added to the description soon, but might save you typing it out.

    • @davidb5205
      @davidb5205 7 ปีที่แล้ว +4

      THANK YOU!

    • @trdi
      @trdi 7 ปีที่แล้ว +3

      If I concentrate and intentionally try to be random, I can keep it at 50-51%. If I make a relaxed run, it's around 58-60%.

    • @TheOzumat
      @TheOzumat 7 ปีที่แล้ว +3

      You can train it on a certain pattern and then break it. For me it achieved 16% accuracy. Of course, I wasn't random, but it failed to predict my moves. Glorious victory for the fleshlings!

    • @tiagotiagot
      @tiagotiagot 7 ปีที่แล้ว

      What pattern did you use?

    • @trdi
      @trdi 7 ปีที่แล้ว

      Whatever the pattern he used, when I said 51%, I assumed 250, 300 key presses. I don't think it really counts if it's fewer than that.

  • @mcol3
    @mcol3 7 ปีที่แล้ว +9

    The link to the webpage about guessing the key pressed at random is not in the description.

  • @hartosaarinen221
    @hartosaarinen221 7 ปีที่แล้ว +30

    A video on foundations without mentioning Cantor, that’s something

    • @learncoding_one
      @learncoding_one 3 ปีที่แล้ว

      we got the set theory out of this very exercise courtesy of Cantor.

  • @kage-fm
    @kage-fm ปีที่แล้ว

    combining pi and e - this sounds like a worthwhile saturday

  • @ZweiZombies
    @ZweiZombies 7 ปีที่แล้ว +11

    6:53 Did you record that one afterwards? I'm interested how you pronounced it before overplaying it xD

  • @ajwm-pw8of
    @ajwm-pw8of 5 ปีที่แล้ว +18

    4:26 One issue with the Dedekind cut for the square root of 2. It defines the lower set as “All rational numbers x such that x^2 < 2”. This would cause there to be two cuts as the lower set would have two boundaries with the upper set! It should be instead defined as “All rational numbers x such that x^2 < 2 OR x < 0”. This would create a lower set with only one cut as portrayed in the video by including all negative x values. The same logic applies to the upper set, being redefined as “All rational numbers y such that y^2 >= 2 AND y >= 0”. This creates an upper set with the same cut as portrayed in the video, by restricting it to positive x values and 0.
    Feel free to tell me if I’ve interpreted this video wrong! If this cut was meant to define both the negative and positive square root of 2, then your definitions are valid but do not agree with your video graphic and are not mentioned. This could cause some confusion.

    • @tommyrjensen
      @tommyrjensen ปีที่แล้ว

      Of course you are absolutely right. Though the explanation of a Dedekind cut, using the √2 example, is so botched that the whole concept likely isn't supposed to be of importance for the video anyway.

  • @balthazarbeutelwolf9097
    @balthazarbeutelwolf9097 5 ปีที่แล้ว +7

    Dedekind cuts are usually (e.g. in Landau's book) just defined for positive numbers, and then negative reals are defined on top of that. The problem is that the lower set in the video contained numbers like -7, and (-7)^2

    • @Achill101
      @Achill101 5 ปีที่แล้ว

      Yes, the cut for x^2

    • @NateROCKS112
      @NateROCKS112 4 หลายเดือนก่อน

      > the condition defining the sets has to give you ideals
      What exactly is meant by "ideal," here? It can't be algebraic since the only proper ideal of *Q* is trivial.

    • @balthazarbeutelwolf9097
      @balthazarbeutelwolf9097 4 หลายเดือนก่อน +1

      @@NateROCKS112 Ah. Failed to notice that the term has more than one usage in maths. I meant "ideal" as in mathematical order theory.

  • @jesusthroughmary
    @jesusthroughmary ปีที่แล้ว

    The algorithm blessed me with another viewing of this video after several years. I miss Kelsey.

  • @user-or7ji5hv8y
    @user-or7ji5hv8y 3 ปีที่แล้ว +2

    For me, math is hard. It is turtles all the way down and all the way up. :(

  • @MrDivinity22
    @MrDivinity22 7 ปีที่แล้ว +237

    "Turtles all the way down" -really? XD

    • @MisterYagibe
      @MisterYagibe 7 ปีที่แล้ว +1

      MrDivinity22 +

    • @estebanchicas6340
      @estebanchicas6340 7 ปีที่แล้ว +9

      THAT reference!

    • @peterfaber9316
      @peterfaber9316 7 ปีที่แล้ว +20

      I liked that one to be honest.

    • @timetuner
      @timetuner 7 ปีที่แล้ว +37

      The phrase has been used in philosophy to refer to this kind of infinite regress for quite a while. Wiki says it may have been coined by Bertrand Russel so it probably would have turned up in the script anyway.

    • @ferdinandkraft857
      @ferdinandkraft857 7 ปีที่แล้ว +9

      Tortoises actually.

  • @madsskipper9408
    @madsskipper9408 7 ปีที่แล้ว +37

    I was REALLY hoping for Wittgenstein to show up after Russel, tearing down his work using their own "logicism methods". Mostly because he does it in such a badass way!

  • @BeCurieUs
    @BeCurieUs 7 ปีที่แล้ว +317

    *has an Gödel's incompleteness theorem feeling, lets see if this plays out*
    Oh we breezed right by him. I love incompleteness cause deep in my heart I want to be a neo-Platonist, I want to buy into the idea that maths and logic have some kind of link and tell us something more about the world than just something in our heads...that maths and logic are part of the universe we are tapping into and not just a strange quirk of humans and our monkey brains.
    Incompleteness kind of breaks this, but also rejoins it at the same time...its weird. In a way, I think most major philosophers of science, logic and maths still don't know what to do with incompleteness exactly...hell, even Gödel remained a neo-Platonist to his dying day! The great paper "the unreasonable effectiveness of mathematics in the natural sciences" is really the crux of this seeming problem, that math seems to have this other-worldy way to understand the universe, but as of yet, seems to be a complete fabrication of our minds. Most of the fabrications of our minds are completely nuts...dare I saw 99.99 repeating. But math, for some odd reason, seems to explain the universe in greater deal and precision than anything ever...and yet, it remains completely without foundation of a set of proved axioms...See, I can just talk myself into a fit with this stuff, and it just goes round and round like some evil barber paradox!

    • @sportsracer48
      @sportsracer48 7 ปีที่แล้ว +12

      What compels you to think that mathematics is a fabrication of our minds? How does incompleteness lead to that in any way?

    • @BeCurieUs
      @BeCurieUs 7 ปีที่แล้ว +13

      Yes, let me clear that up. Well, I am actually compelled the other way, like I say, my bias is a neo-Platonist one. Incompleteness doesn't strictly lead to a death of neo-Platonism either, more that most of my life has been an ebbing away of things that exist absolutely and external to myself to that which is completely derived by subjective experience. Or to say it another way, the only objective things are things of my own mind, and not the Kantian "Noumea" as I like to have pretended.
      I would like to believe, however, that there is something special about mathematics and logic. Something that isn't strictly a human creation of minds, but some kind of "thing" about the universe which we understand. That math and logic ARE something real about the universe and not something like my experience of red. While my experience of red is the only kind of truth thing I can say exists for me, it is also trapped in that subjective solipsism I always wish wasn't the case.
      While incompleteness more accurately says 'there are truth things that can't be proved' than anything about monkey brains, Noumea, and subjective reality....it seems to poke some holes in my ability to form a coherent bridge from subjective solipsism to Noumea about the universe itself. If there are truth things that can't be proved it is hard to suppose we can be able to truly say we can make a knowledgeable claim about some kind of objective, external reality.
      That is the incompleteness part, the math part being a fabrication of our brains is a necessary understanding of math if one puts aside the idea that there is some kind of objective reality and things which exist independent of our ability to think about them. Many sciency people would suppose there IS an objective world, and we are experiencing it with our senses. I, on the other hand, with my own brand of epistemology submit it is a foolish thing to suppose anything about the world and we can only talk about the world of our senses. That subjective reality is the actual objective reality we experience and anything we suppose is outside ourselves is an unsupportable supposition. So the idea that math exists OUTSIDE human minds is a silly-nonsense thing in this way of viewing reality. Math and numbers HAS to come from our minds, because that is where ALL things about us come from. The idea that there is "math" out there in the universe has to be proven, and so far has not been so...not to my satisfaction anyway.
      This is even though I desperately would like it to be the opposite. Math SEEEMS so different from all other human creations. It does seem special. It does seem to take on this thing I could imagine is objective and external. I just don't know that it is, there is still this gulf for me to be able to doubt it with good supporting reasons that are way to long and boring for a youtube post, I have gone into some of them but I know it is insufficient cause it is like 20 years of my own personal philosophy and has nooks and crannies I haven't gotten into.
      TL DR: Because all reality is subjective reality, subjective reality is the only reality we can know, it is the objective reality so all things must come from human minds. If incompleteness tells us there are facts that are true that can't be proven, then there hope of understanding some kind of external reality absolutely is not certain to be the case. Human knowledge and understanding might come up against a wall for which is impossible to surpass.

    • @cosmos821
      @cosmos821 7 ปีที่แล้ว +15

      I think this whole subject is much clearer in terms of computability. Alan Turing showed us that any (useful) axiomatic system can be encapsulated in a Universal Turing Machine. The important part is that it can be written down in a finite number of bits. Even something like pi which has an infinite number of digits can still be expressed by a finite computer program. A statement or object in mathematics is provable iff it is computable. The reason why something is not provable is because it would require an infinite amount of information to describe it. An example of this is Chaitin’s Constant, which has a specific value but it's not computable.
      Saying math has no foundation is a bit confusing. I think it make more sense to recognize that the real issue is that we are bounded by the laws of computability i.e. we are bound to objects which only require a finite amount of information to express (a finite kolmogorov complexity).

    • @BeCurieUs
      @BeCurieUs 7 ปีที่แล้ว +6

      Computability, in my view, has no bearing on "truth". And humans aren't really bound by computability, we deal with infinities all the time, well, as long as we establish certain rules for dealing with them. And there inlays the problem. There are no set of axioms we can use math to prove are the right axioms. Just as Gödel points out to us, there is no system that is complete that is also consistent. All complete systems must be inconsistent and all consistent systems must be incomplete. This is the crux of it for me. More pragmatic things like "useful" axiomatic systems are something I use for my more daily life affairs obviously, but for my big picture stuff, pragmatic things like computability are like logical positimism and beg more questions than I care for my epistemology!
      But perhaps I misunderstood your meaning, please do go on if I miss the point, I have a habit of that on youtube for lofty conversations such as these

    • @lewiscole5193
      @lewiscole5193 7 ปีที่แล้ว

      Ummm ... okay ... so are hyperreal numbers of "finite kolmogorov complexity"? And if so, what's the program to compute the value of any the non-real hyperreal number (i.e. a hyperreal number that isn't also a real number)? Just curious.

  • @yuanzhiluo
    @yuanzhiluo ปีที่แล้ว +1

    She mentions Principia Mathematica by Russell and Whitehead 1903, but the screen shows Philosophiæ Naturalis Principia Mathematica by Newton 1686

    • @Rheinhard
      @Rheinhard ปีที่แล้ว

      I am glad I'm not the only person that noticed that! Looks to me like the video editor doesn't know the difference, and pulled in the first image that came up on a Google search for "Principia Mathematica"...

  • @jmzorko
    @jmzorko 3 ปีที่แล้ว +2

    < sigh > I enjoyed these videos _so_ much when the series was ongoing, and I still enjoy them to this day.

  • @DavidBadilloMusic
    @DavidBadilloMusic 6 ปีที่แล้ว +3

    No, please! Not another fascinating TH-cam Channel! There isn't enough time to watch them all! ... oh well... SUBSCRIBED.

  • @Gundesalf
    @Gundesalf 6 ปีที่แล้ว +6

    OMG! Your pronunciation of "Raphael" is perfect. Either you speak a romantic language fluently or your math skills make you linguistically smart.

  • @willfulliam
    @willfulliam 7 ปีที่แล้ว +68

    After advanced calculus comes tooth decay.

  • @nHans
    @nHans 3 ปีที่แล้ว +1

    It needs to be emphasized that that crisis in mathematics affected only theoretical mathematicians. Everybody else-physicists, engineers, businessmen, stockbrokers, accountants, applied mathematicians, math teachers-went about their work as usual, because they knew from experience that whatever math they were using worked in real life.
    It's the same now with the "crisis" in astrophysics, the "crisis" in particle physics, the "crisis" in artificial intelligence, the "crisis" in quantum computing, the "crisis" in cryptocurrency ... we'll survive.
    The Covid-19 crisis is real. But humankind will survive that too, even if many of us individually won't.

  • @mareksajner8567
    @mareksajner8567 5 ปีที่แล้ว +1

    WOW, I started with set theory a week ago, ever googled anything, and now this pops up on my front page, thank you, youtube

  • @musicboxer1
    @musicboxer1 7 ปีที่แล้ว +21

    I LOVE PBS INFINITE SERIES

  • @adityamishra7711
    @adityamishra7711 2 ปีที่แล้ว +2

    Dedekind was really dedicated, to establish the Foundations of mathematics

  • @rlangendam
    @rlangendam 7 ปีที่แล้ว +41

    I think many people would enjoy more fundamental expositions of category theory, topos theory or homotopic type theory at this point. Or maybe just a hint to wetten the appetite.

    • @Vulume
      @Vulume 7 ปีที่แล้ว

      Can category theory serve as a foundation for mathematics?

    • @15silverblade
      @15silverblade 7 ปีที่แล้ว

      Vincent Goossens as categories are generalizations of generalizations it's more likely to represent the top of the math pyramid

    • @rlangendam
      @rlangendam 7 ปีที่แล้ว +2

      Vincent Goossens Yes, category theory can be used as another foundation of math by using toposes... which are themselves a kind of category. math.stackexchange.com/questions/1519330/is-it-possible-to-formulate-category-theory-without-set-theory

    • @rlangendam
      @rlangendam 7 ปีที่แล้ว +1

      Leandro Suzano Also partially true. A lot of set-theoretic math can be derived from studying the category of sets as well. en.m.wikipedia.org/wiki/Category_of_sets?wprov=sfla1

    • @christophersewell6611
      @christophersewell6611 7 ปีที่แล้ว

      I would personally like to see something more along the lines of analytic number theory or complex analysis... I mean those actually involve infinite series.

  • @peternguyen5726
    @peternguyen5726 3 ปีที่แล้ว +1

    I wonder whether maths has represented the chicken and egg debate of what came first. You can't have a chicken without having an egg, and also you can't have an egg without having a chicken first.

    • @VicvicW
      @VicvicW 3 ปีที่แล้ว

      Haha intuitionism vs logicism is this debate.

  • @malevolent5496
    @malevolent5496 3 ปีที่แล้ว +35

    alt title: kid got mad about having to show his work when adding single digit numbers and took it personally

  • @JavierRuizGonzalez
    @JavierRuizGonzalez 5 ปีที่แล้ว +15

    I first heard about "turtles all the way down" in Douglas Hofstadter "Gödel, Escher, Bach: An Eternal Golden Braid" 1979 book, and now here. I guess I've completed a closed path...

    • @mz7315
      @mz7315 5 ปีที่แล้ว

      There's also a John green book called "turtles all the way down".

    • @MikeRosoftJH
      @MikeRosoftJH 5 ปีที่แล้ว +1

      The anecdote is also mentioned in Stephen Hawking's 'Brief History of Time'.

    • @GEMSofGOD_com
      @GEMSofGOD_com 3 ปีที่แล้ว

      Uve literally just said uve read one book (pretty hyped up, but dull). Read thousands.

  • @Uriel238
    @Uriel238 6 ปีที่แล้ว +5

    Thank you! I never before understood the context of why it would take so long to prove 1 + 1 = 2 (what I thought was a defining axiom).
    Also, Whitehead's and Russel's _Principia Mathematica_ is one of the few (possibly _only_ ) real-world example of a scholarly volume that broke the mind of the author (at least in Russel's case, according to his colleagues. He went a bit crazy afterwards). Unlike Lovecraft's other fictional works, I suspect it was a matter of the meticulosity and tedium necessary to follow it, not so much truths that are too terrible for mere mortals to behold. (Ia!)

    • @nothinginteresting1662
      @nothinginteresting1662 ปีที่แล้ว

      Too often, people label things they don't understand as crazy. May be he was sane, but the people around him couldn't understand his _supposedly_ weird ideas.

  • @ArcaneRez
    @ArcaneRez 5 ปีที่แล้ว +14

    It's a shame you simply glossed over Godel's incompleteness theorem- profound and incredibly important to the Hilbert program to establish foundations

    • @richarddeese1991
      @richarddeese1991 5 ปีที่แล้ว +2

      Agreed! If anything, Godel's Theorem - which is logically PROVEN - has become (quite bizarrely) the unofficial 'bottom' of the the pyramid! So it's the logically proven impossibility of EVER having completeness that is THE fundamental truth beneath it all! Who'd have thunk it?!? "You said that the Set of All Sets - which was the Set He had written in the Book..." Exactly! tavi.

  • @BelegaerTheGreat
    @BelegaerTheGreat ปีที่แล้ว +1

    Up to 5:20 there is the explanation of bulding up Integers, Rationals, and Reals. Later she says that ZFC was supposed to be based solely in Logic, but the axioms of Infinity and Choice are not so, they talk of physical stuff. So the foundation of modern mathematics is not purely logic.

  • @schievel6047
    @schievel6047 5 ปีที่แล้ว +2

    I always come back to this channel. Really love those math videos 😋

  • @adankseasonads935
    @adankseasonads935 7 ปีที่แล้ว +5

    Wasn't that Newtons Principia at 8:22!?

  • @bramgeron7267
    @bramgeron7267 7 ปีที่แล้ว +13

    Hm, your √2 example is not a Dedekind cut because {x | x² < 2} isn't really a lower set because (-5)² ≮ 2. But I don't know how to fix that part of the video easily.

    • @bramgeron7267
      @bramgeron7267 7 ปีที่แล้ว +1

      (As far as I understand Dedekind cuts. I might be wrong.)

    • @bramgeron7267
      @bramgeron7267 7 ปีที่แล้ว

      Maybe do a ³√2 example instead?

    • @patrickwienhoft7987
      @patrickwienhoft7987 7 ปีที่แล้ว +1

      Well, she defined that if there is no smallest value in the upper set (as in {x | x² < 2}), then this defines the gap between the two sets. Now with "gap" I assume she means the size of the gap between the positive and negative subset of x, or in other words the size of y.
      But then she would've actually defined 2*sqrt(2) and not sqrt(2).
      And btw we would need a proper definition for "size", which would go way beyond the point she was going to make.

    • @bramgeron7267
      @bramgeron7267 7 ปีที่แล้ว +1

      My point is that the pair of sets is a cut for both √2 and -√2. Although the latter is not shown in the video.

    • @argothiel
      @argothiel 7 ปีที่แล้ว +3

      Oh, the fix is easy, the lower set should be just:
      {x >= 0 | x^2 < 2} U {x < 0}
      (and the upper set the rest of Q)

  • @davidsirmons
    @davidsirmons 6 ปีที่แล้ว +6

    Kudos for the "turtles, all the way down" reference.

  • @JoshSideris
    @JoshSideris 7 ปีที่แล้ว

    That dedekind cut just sounds like an over-complicated way of just saying "pick an irrational number that doesn't exist on this list, and we'll make it real using an equality."

    • @drewduncan5774
      @drewduncan5774 3 ปีที่แล้ว

      How else would you pick an irrational number?

  • @alexanderborg7190
    @alexanderborg7190 6 ปีที่แล้ว

    Nicolas Bourbaki is the collective pseudonym under which a group of (mainly French) 20th-century mathematicians, with the aim of reformulating mathematics on an extremely abstract and formal but self-contained basis, wrote a series of books beginning in 1935. With the goal of grounding all of mathematics on set theory, the group strove for rigour and generality. Their work led to the discovery of several concepts and terminologies still used, and influenced modern branches of mathematics. (Wikipedia)
    In the first book, 'Theorie des Ensembles', of 1934, at the very beginning, it is stated that a mathematical theory is based on signs and links, as follows:
    (1) Four logical signs: □, τ, ˅ and ¬
    (2) Letters with or without accents
    (3) Specific signs, according to the theory to be constructed, like = and ϵ
    (4) Links, normally between τ and □, are indicated by a line from τ to □ above the string of signs.
    The theory is then constructed from bottom up.
    For instance, the definition of a 'proof' involves the newly introduced symbol → (meaning: 'follows') defined as ˅¬.
    As an example, the empty set can then be reduced to the basic building blocks of the theory as: Ø = τ¬¬¬ϵτ¬¬ϵ□□□ (links not shown: the first τ links to the two ending □'s, the second τ to the first □. Denoting the number 0 (zero) by means of the basic building blocks would result in a string of much more signs, probably a hundred or more.
    I know this is abstract and I recommend reading the 'Theory of Sets' by the Bourbaki group for anyone interested.

  • @gonzalocornejo2532
    @gonzalocornejo2532 5 ปีที่แล้ว +10

    That's Principia Mathematica by Issac Newton, not Russell and Whitehead

  • @NuclearCraftMod
    @NuclearCraftMod 7 ปีที่แล้ว +4

    Pretty sure that's a picture of Newton's Principia at 8:13 ...

  • @matgggg55
    @matgggg55 3 ปีที่แล้ว +8

    I think logic should be the first thing kids learn in school before numbers.... I think it would do wonders for our society lol

    • @rantan1618
      @rantan1618 3 ปีที่แล้ว +2

      They will never give people the education they need to overthrow those who rule society.

    • @matgggg55
      @matgggg55 3 ปีที่แล้ว +2

      @@rantan1618 and the ability to think critically I believe is number one on that list.

    • @koenlefever
      @koenlefever 3 ปีที่แล้ว +2

      In fact that is how I was taught during the 1970s: in pre-school, we had a board game with Venn diagrams and little cards with faces: I had to put the laughing round face with curly hair in the intersection of the laughing AND curly AND round sets. At age six, I learned using parallel switches (OR) and serial switches (AND) to light a lamp. We also had classes of "logical thinking" throughout primary school, where we had to solve all kinds of puzzles.
      It was called "moderne wiskunde" (modern maths), and was heavily influenced by the Bourbaki Programme. However, by the time I went to high school in the 1980s that approach had been mostly abandoned and was considered a failure, and it has a very bad reputation today - which I find rather unfortunate since it worked out great for me, but seemingly I was in the minority in that respect.

    • @matgggg55
      @matgggg55 3 ปีที่แล้ว

      @@koenlefever it’s funny because I was just thinking of how to make logic into a kids game my gf is an Elementary school teacher and if I can come up with something she will probly implement it as game for the students after normal curriculum, she understands the importance of critical thinking skills and I think we can all agree logic and math is really the best tool to teach that, in my opinion that is why it is taught because most people will never need to actually do the computations in real life but the theory behind the computations is the real value.

  • @barnaclebill1581
    @barnaclebill1581 6 ปีที่แล้ว +1

    This is why I'm an engineer and not a mathematician. I'm fine with the "foundation", as long as it does a good job of predicting what I'm about to build will actually work!

  • @erictko85
    @erictko85 6 ปีที่แล้ว +1

    POWERFUL STUFF! THANKS FOR THIS AND ALL PBS DIGITAL STUDIOS SERIES!

  • @lehmacdj
    @lehmacdj 7 ปีที่แล้ว +9

    I am quite disturbed by the choice of the law of excluded middle as an example of an obviously true statement since it isn’t even true in some contexts, such as constructive type theory.

  • @thishadowithin
    @thishadowithin 6 ปีที่แล้ว +57

    Judging from the title, I actually thought she was going to talk about issues with Common Core Math...

    • @shrirammaiya4381
      @shrirammaiya4381 6 ปีที่แล้ว +1

      thishadowithin even I thought so

    • @Achill101
      @Achill101 5 ปีที่แล้ว +2

      Yes, they should have clarified that the video was about the history of math not some recent crisis.

    • @iii-ei5cv
      @iii-ei5cv 5 ปีที่แล้ว +4

      Apparently there's a crisis in reading comprehension

    • @Achill101
      @Achill101 5 ปีที่แล้ว +1

      @@iii-ei5cv - who do you think lacked in reading comprehension and why do you think so?

    • @bonniejunk
      @bonniejunk 5 ปีที่แล้ว

      @@iii-ei5cv
      Oh, screw off. The clickbait title obviously claims that some error was *recently* found in the foundations of math. That's what a crisis is.

  • @damiandassen7763
    @damiandassen7763 5 ปีที่แล้ว +25

    8:15 oops, that's Newton's Principea Mathematica not Russell's.

    • @javaguy418
      @javaguy418 5 ปีที่แล้ว

      Russel and Newton both used the same title for their works.

    • @damiandassen7763
      @damiandassen7763 5 ปีที่แล้ว +4

      @@javaguy418 I know but on that page it clearly states that it was written by Newton.

    • @michaelsommers2356
      @michaelsommers2356 5 ปีที่แล้ว +2

      You are only about the 500th person to make this comment. Is it really too hard to check the comments before posting something so obvious?

  • @DylanMatthewTurner
    @DylanMatthewTurner 3 ปีที่แล้ว

    To take the numbers stuff down further, we define natural numbers with 0 and an increment function.
    Start with zero and say that 1 is simply an increment function applied to zero. 2 is inc applied to inc applied to zero. 3 is inc applied to inc applied to inc applied to zero, and so on.
    This is the idea of "Church Numerals," part of lambda calculus.

  • @Luper1billion
    @Luper1billion 6 ปีที่แล้ว

    The bottom is simply that mathematics is a "game of measurements", a theoretical game. It says, "any sentient intelligence that would attempt to measure, in any quantitative way (any object or event) would have to count 1+1 (necessarily). If this is the case, then [insert all of mathematics]."

  • @vedantagarwala
    @vedantagarwala 5 ปีที่แล้ว +4

    The set of natural numbers doesn't include 0. Natural numbers start from 1. Whole numbers include 0 and natural numbers

    • @MikeRosoftJH
      @MikeRosoftJH 5 ปีที่แล้ว

      In set theory the convention is to consider 0 to be a natural number. This allows us to define natural numbers like this: 0 is the empty set; 1 is {0}, or the set whose only element is the empty set; 2 is {0,1}, 3 is {0,1,2}, and so on; given any natural number n, n is the set of all numbers less than n, and n+1 is the union of sets n and {n}.

  • @mdb1239
    @mdb1239 3 ปีที่แล้ว +5

    In college I always wondered why "if-and only if" was adequate to be the proof of a mathematical theorem. I never fully resolved it in my own mind: Guess no one could come up with a better logical system.

    • @dalisabe62
      @dalisabe62 3 ปีที่แล้ว +2

      If and only if means no other possibility of the implication being true. When we say that P implies Q, we also mean that another event such as X could also imply Q. So when we say that P if and only if Q, we are saying that only P could imply Q. That is, it is one-to-one relationship or map. Hope that helps explain the meaning, but I don’t mean to say that the logic is totally robust. For example, what if we could have a relationship which could behave both ways simultaneously? This may seem bizarre from logic point of view, but in a bizarre world like that of quantum mechanics, an object could physically be at two different places at the same time. Two objects the sum of which mathematically could exceed the speed of light could never in reality exceed the speed of light. The problem with logic is that we believe in it as result of our daily experiences. If our world changes, our logic might as well change too. The other problem is that: is our reality complete? Do we see the world in its all possibilities? If not, how could logic, which is based on our real encounters, could safely be used as the measuring stick of the rest of our reality, let alone being a foundation for mathematics? All we could say is that mathematical foundations makes sense; otherwise, sense is undefined!

    • @mdb1239
      @mdb1239 3 ปีที่แล้ว

      @@dalisabe62 Thanks. I still have not resolved it in my mind. But cannot think of a better way to prove theorems. So I guess I'm stuck using it.

    • @VicvicW
      @VicvicW 3 ปีที่แล้ว

      If you take logic it makes perfect sense. Think of it this way, if X is True, then Y is true and X is true only if Y is true. This means that X cannot be true when Y is false and vice versa.
      X iff Y means that Y is a consequence of X, and X is a consequence of Y.

    • @mdb1239
      @mdb1239 3 ปีที่แล้ว

      @@VicvicW But why is that adequate.? Do we just assume it is adequate?

  • @Crystan
    @Crystan 7 ปีที่แล้ว +5

    I always thought of the 'foundation' of maths being numbers themselves.

  • @mencken8
    @mencken8 3 ปีที่แล้ว +1

    I’ve never regarded math as portrayed here -playing games with quantities in a vacuum- as anything but a pestilence.

    • @VicvicW
      @VicvicW 3 ปีที่แล้ว

      Yeah logicism is fine and all but it's worth bearing in mind that a lot of mathematical intuitionists just don't think it's worth it.
      If one was able to fully axiomatise all mathematics, you would be able to transpose results very easily across areas of study. It would be huge. But we can't. Gödel proved that one.

  • @Calilasseia
    @Calilasseia ปีที่แล้ว

    Willard Van Ormand Quine's "Methods of Logic" provides an interesting construction of the natural numbers from quantificational logic in Section 4, "Glimpses Beyond". See page 229 oonwards (where Quine gives credit to Frege and Dedekind for the initial construction, by the way), and details of the construction from page 231 onwards. From page 242 onwards, we see in effect an introduction of Russell's type theory (itself constructed to avoid his famous paradox), and leads at breakneck speed to Gödel's Incompleteness Theorem on pages 245 & 246. Quine also mentions a surprising result by Tarksi, that the algebra of the real numbers admits of a decision procedure.
    The text is heavy going, but worth persevering with.

  • @oskarweinberger78
    @oskarweinberger78 7 ปีที่แล้ว +8

    "Logic... is true in virtue of its form rather than its content. For example, the law of excluded middle". Outraged intuitionists incoming.

  • @aliasgar2646
    @aliasgar2646 7 ปีที่แล้ว +6

    why the pyramid of mathematics is upside down?

    • @Theraot
      @Theraot 7 ปีที่แล้ว +1

      Ikr! it should have been a tree, and they are looking for the root from where it emerges

    • @simonruszczak5563
      @simonruszczak5563 6 ปีที่แล้ว +1

      It's a Ponzi scheme.

    • @1pcfred
      @1pcfred 6 ปีที่แล้ว

      Math is an upside down pyramid because it was built by academics.

  • @futurestoryteller
    @futurestoryteller 7 ปีที่แล้ว +6

    Oh my god... it's amazing how quick you lost me.

  • @elaxiomadelinfinito
    @elaxiomadelinfinito 2 ปีที่แล้ว

    Fantastic video But I found a silly mistake: In 08:13 the picture is wrong. She has confused Russell and Whitehead's "Principia Mathematica" with Newton's "Philosophiae Naturalis Principia Mathematica". Nobody noticed it?

  • @SisyphusRedeemed
    @SisyphusRedeemed 6 ปีที่แล้ว

    At 8:15 you mention Russell and Whitehead's "Principia Mathematica", but you show a picture of Isaac Newton's "Philosophiae Naturalis Principia Mathematica", a totally different book written 200 years before Russell and Whitehead's.

  • @einthoven2043
    @einthoven2043 7 ปีที่แล้ว +4

    FOundation of mathematics is *abstraction* . IN that way, math not only has a foundation but shares the foundation with every school of thought. Its a lived experience( from deleuze :))

  • @confusedwhale
    @confusedwhale 6 ปีที่แล้ว +21

    To pee or not to pee, that is the question.

    • @zdcyclops1lickley190
      @zdcyclops1lickley190 5 ปีที่แล้ว +2

      Wait until you get older. You will find that the answer is always to pee.

  • @tesseracta4728
    @tesseracta4728 7 ปีที่แล้ว +12

    Why should there be a bottom? What logic dictates that there is a bottom?

    • @christopherbelanger6612
      @christopherbelanger6612 7 ปีที่แล้ว +6

      Also, just because we haven't figured it out, doesn't mean it's not there.

    • @Mernom
      @Mernom 6 ปีที่แล้ว +2

      Because someone started figuring out math from something. We didn't study math for an infinite amout of time, so there should be a finite amount of progress if you backtrack far enough.

    • @ManishKumar-ff6oh
      @ManishKumar-ff6oh 6 ปีที่แล้ว

      news bihar

    • @1pcfred
      @1pcfred 6 ปีที่แล้ว

      Christopher Belanger just because you're looking doesn't mean it is there either.

  • @calcal5135
    @calcal5135 3 ปีที่แล้ว

    Where can I read more about the problems with developing a logical underpinning of mathematics?

  • @charliepearce8767
    @charliepearce8767 3 ปีที่แล้ว +1

    When I went to school in the 60s and 70s we had horrible math teachers.
    For example....2 or 3 kids outta 30 could repeat any numbers in the Time Tables in an instant.
    But the rest of the class struggled with this while our teachers skipped multiplication and went straight to Algebra, Logarithms etc that 99.9 % of us never used in our lives.
    If we we're caught with a calculator in class we would be sent to the office and flogged with a 3 foot cane causing physical and mental damage to the kids.
    I was a mathematical dumby and only learned after I left school and worked in a service station serving fuel....

  • @rithikkumars1676
    @rithikkumars1676 6 ปีที่แล้ว +3

    I can break maths and prove that 69 = 420.
    69 = 420
    Multiplying both sides with 0,
    69(0) = 420(0)
    0 = 0
    LHS = RHS, thus 69 must equal 420.
    Now, what's keeping me from writing this in a test?

  • @qwrty6348
    @qwrty6348 5 ปีที่แล้ว +3

    I learned that the natural numbers don’t include 0, rather that the whole numbers do

  • @aramfingal5180
    @aramfingal5180 5 ปีที่แล้ว +3

    The axiom of choice is obviously true, the well-ordering theorem is obviously false, and as for Zorn's lemma, who the hell knows.

    • @MikeRosoftJH
      @MikeRosoftJH 5 ปีที่แล้ว

      Of course, the three propositions are equivalent in set theory. :-)

  • @sock_dgram8594
    @sock_dgram8594 5 ปีที่แล้ว +2

    I was terrified when I first read about this years ago, and in a way I still am.

  • @eltimbalino
    @eltimbalino 6 ปีที่แล้ว

    Is this a mistake, or am I missing something?
    At 1:37 integers are defined by writing a natural number, and then subtracting from it another natural number, making a pair where the number to the right is subtracted from the number on the left.
    Then at 1:56 it is stated that the integer associated with (x,y)≤(z,w) if (x+y)≤(z+w).
    Could this be written as (x-y)≤(z-w) if (x+y)≤(z+w)?
    For example: (123-122)≤(24-22) if (123+122)≤(24+22)
    Reduced to:(1)≤(2) if (245)≤(46)
    Restated as, 1 is less than 2 if 245 is less than 46? Because this seems wrong to me, but I don't know where.

  • @AvanaVana
    @AvanaVana 6 ปีที่แล้ว +4

    Two things:
    1. A pyramid is the wrong analogy - as a structure a pyramid rests on its base, the widest dimension, from which it derives its stability and supports the top. A better analogy for math would be a tree (well, one without roots anyway)
    2. Regarding human attempts at creating random sequences - the thing is, there is a difference between randomness as defined by mathematics and the word "random" which culturally has the connotation of "variable" or "unexpectedly changing", hence people's fear of repeating events. Even though mathematically speaking coin tosses may be heads 100/100 times, this would not "seem" random in the sense that random is used culturally.

  • @RichTheEngineer
    @RichTheEngineer 3 ปีที่แล้ว +3

    Only mathematicians care, rest of us are willing to settle for being able to count using our fingers and toes.

    • @devd_rx
      @devd_rx 3 ปีที่แล้ว

      no u

  • @HarshRajAlwaysfree
    @HarshRajAlwaysfree 5 ปีที่แล้ว +4

    Lol now I don't even understand integers

  • @dasraiser
    @dasraiser 5 ปีที่แล้ว +2

    Is it correct to say if I had a number system not in base 10, but in base Pi that Pi would be rational?

    • @YoutubeAskedMeToChangeThis
      @YoutubeAskedMeToChangeThis 5 ปีที่แล้ว

      Well, first you would have to define what you mean by a non real number base, then you'd have to define what a rational and irrational number is inside of that set of base pi, then you'd have to explain what pi you really mean, the quantity itself or the highest number you can write with the minimum amount of digits.

    • @dasraiser
      @dasraiser 5 ปีที่แล้ว

      @@TH-camAskedMeToChangeThisI will need to rethink my own point hehe. In the case of Pi the mistake I made was taking Pi as being the base unit, but that in itself requires a number based system to describe it!! I've always had an issue with number systems and the human factor for finding patterns in them, if it works for one base, will the pattern hold for another? Take the Fibonacci sequence, in a different number base, is the pattern still the same? I will have to think on this :)

    • @dasraiser
      @dasraiser 5 ปีที่แล้ว +1

      I guess It would hold true, showing the logic in the system itself :)

  • @TheDavidlloydjones
    @TheDavidlloydjones 5 ปีที่แล้ว +1

    "There are two ways of doing anything, the smart way and the dumb way. When you do it the smart way, that's mathematics." ~ Lovely definition by the famous and brilliant "some kid," this time in Lawrence, Massachusetts.
    Notice that there are no numbers in this excellent definition.

  • @thzzzt
    @thzzzt 5 ปีที่แล้ว +4

    Bill Clinton solved this problem long ago. It depends on what the definition of "is" is.

    • @Achill101
      @Achill101 5 ปีที่แล้ว

      Clinton solved it for the law.
      Math could still use some solutions.

  • @benwilms3942
    @benwilms3942 5 ปีที่แล้ว +7

    Thanks for explaining nothing as fast as you can.

  • @Ghou1Lord
    @Ghou1Lord 6 ปีที่แล้ว +5

    I don't want to sound impolite. But this is math porn. Very impressive topics explained by an attractive women. Thx.

  • @gahlvers-ramm
    @gahlvers-ramm 7 ปีที่แล้ว

    Some years ago, I think, it was in 1992, I wrote a letter to Prof. Sauer (Inst. of Theor. Physics at Hanover University (Now: LUH). I wrote him, that when discussing Data Compression in Medicine (in
    German: Biosignalverarbeitung) you can discover a deep connection between Physics-Mathematics-Informationtheory.
    for example: if you reduce the arithmetics of REAL Numbers to a Base-16-Representation, then you get, using the simplest Feigenbaum - Iteration, not 3.000000000000 but 2.9979...
    for the first splitting. !?!?! -
    That's the mantissae of the speed of LIGHT ---
    By the way: Your Lesson is real good!

  • @trucid2
    @trucid2 7 ปีที่แล้ว +1

    How do you get transcendental numbers with Dedekind cut? I only see it working for creating irrational numbers.

  • @vanrozay8871
    @vanrozay8871 6 ปีที่แล้ว +29

    poorly explained; why couldn't she point out that integers are whole numbers (without fractions)? she's perpetuating the notion of math as obscure and "tricky" instead of making it familiar and comfortable. rule: don't learn math from a mathematician.

    • @hermosapie7854
      @hermosapie7854 6 ปีที่แล้ว +4

      Totally
      She is one of the many reasons so many humans resist mathematics. I sensed no cognitive intuition as she blandly spat forth her non curvealinear grasp. All mathematical models do is help us perceive tbe various dimensions in this current version of reality. Poor girl

    • @inveritategloria
      @inveritategloria 6 ปีที่แล้ว

      How do we know she is a mathematician? I highly doubt it.

    • @danta7777
      @danta7777 6 ปีที่แล้ว +28

      You people completely missed the point of this whole video. To say that integers are whole numbers or to say they are numbers that do not have a fraction part fails to describe them using a more fundamental mathematical object.
      To show that integer-talk can be reduced to natural-number-talk is to show that natural numbers are a more basic mathematical object.
      This question this video tries to answer is "what's the most basic mathematical object".
      If she used the intuitive school teacher definition of integers it would be completely missing the point.

    • @xandercorp6175
      @xandercorp6175 6 ปีที่แล้ว +7

      +Danta Don't blame them. It's not really their fault that they didn't understand a very simple video, is it?

    • @IssaMorphic
      @IssaMorphic 6 ปีที่แล้ว +2

      How are the integers whole numbers? She's trying to explain one way of how mathematicians try to define the integers so they work the way they're supposed to. If this is confusing or annoying to people trying to understand math, good. That means it's introducing a more rigorous standard for analyzing structures which I think the world would do better with people having.

  • @nHans
    @nHans 3 ปีที่แล้ว +1

    I've been hearing that *Category Theory* is even more fundamental than axiomatic set theory. Is that true? Is it worth studying?

  • @sacielo
    @sacielo 3 ปีที่แล้ว

    This video gets better with time. Rewatching now, years later than the first time, I find deeper meaning to all the statements and facts presented here; really, it works on many levels and has something for everyone

  • @rer9287
    @rer9287 5 ปีที่แล้ว

    There is only one rule in Mathematics: contradiction is forbidden. That is necessarily then the foundation as well - "the bottom", "the point", "the founding idea." It is no coincidence that the laws of logic are designed specifically to exclude contradiction. Math and logic share the same inviolate rule - "no contradictions are permitted", which is why it is parsimonious to simply say: "Math is a language of logic."

  • @Uriel238
    @Uriel238 6 ปีที่แล้ว

    In gaming, we discuss random sets, pseudo-random sets and then random-feeling sets. As you point out, true random does crazy things occasionally showing extreme repetition, which can be a problem in games in which (for instance) drops are random and really bad runs of luck can lead to social consequences. Hence some games will use algorithms to normalize luck, to make sure no player is _too_ lucky or _too_ unlucky.
    Tabletop games can't rely on such fine tuning, but common six-sided dice are typically weighted to throw more sixes. If you want true(r) random dice you have to get the fancy balanced dice they make for Las Vegas.