Це відео не доступне.
Перепрошуємо.
How to Construct Infinite Sets
- Додати в
- Мій плейлист
- Переглянути пізніше
- Поділитися
Поділитися
Вставка
Розмір відео:
- Опубліковано 4 вер 2024
КОМЕНТАРІ • 27
Наступне
Автоматичне відтворення
Cardinality of the ContinuumjHan
Переглядів 55 тис.
Genius Mathematicians Lost Too SoonjHan
Переглядів 3,2 тис.
How to Find the Biggest PrimesjHan
Переглядів 9 тис.
ГЕНЕРАЛ «ПЕКІНЕС»: листування з дружиною, коханками, фсб і відомим воєнним блогером +ENG SUBТелебачення Торонто
Переглядів 839 тис.
«Я думаю, що це сон»: у День Незалежності України із російського полону повернули 115 захисниківРадіо Свобода Україна
Переглядів 1,1 млн
❌Разве такое возможно? #storyКэри Найс
Переглядів 6 млн
Отправилась в КИТАЙ покупать и перегонять ФУРУ - ТЯГАЧНастя ЧПЕК Туман
Переглядів 7 млн
Sherlock Holmes NEVER 'Deduced' AnythingAnother Roof
Переглядів 187 тис.
Why do trig functions appear in Euler's formula?jHan
Переглядів 138 тис.
Why we take the axiom of choiceSackVideo
Переглядів 21 тис.
Zorn's Lemma Demystifiedsudgylacmoe
Переглядів 10 тис.
Why Logarithms Appear in This IntegraljHan
Переглядів 2,5 тис.
Addition, multiplication, ... what comes next? (It's not exponents)UnaryPlus
Переглядів 123 тис.
What P vs NP is actually aboutPolylog
Переглядів 78 тис.
But what is a Vector Space?jHan
Переглядів 3,5 тис.
The Fascinating perspective of Geometric Algebra #SoMEpiMath 101
Переглядів 27 тис.
Испугал Военных ЖЕЛЕЗНОЙ ИГРУШКОЙTimonqi
Переглядів 1,8 млн
🛑 Удар по ПОЛТАВІ 3 ВЕРЕСНЯ! Подробиці ТРАГЕДІЇ та якою буде ВІДПОВІДЬ - Ягун | OBOZ.TALKOBOZ UA
Переглядів 147 тис.
Прием в первый класс (1969) #ссср #школаСоветские фильмы, спектакли и телепередачи
Переглядів 1,9 млн
Новий концерт Єдиного Кварталу від 1 вересня 2024. Повний випускСтудия Квартал 95 Online
Переглядів 298 тис.
A$AP Rocky - Tailor Swif (Official Video)LIVELOVEASAPVEVO
Переглядів 11 млн
У чоловіка загинула уся сімʼяСуспільне Новини
Переглядів 272 тис.
Фаст Сергей и Фаст Полина 7 лет назад🫶🏼😉🥰 #fastsergey #familyFast Sergey
Переглядів 1,9 млн
⚡️путін у Монголії: що ЗАГРОЖУЄ країні за ігнорування ордера на арештПодробиці
Переглядів 172 тис.
Mate I love your channel, it's criminally underrated. It's clear you have a real passion for mathematics. I graduated with a bachelors in Mathematics 4 years ago and I missed topics like these, we did a bit of set theory but never into the nitty-gritty like this. Would you ever consider doing a video of other constructions of the natural numbers like Peano axioms? Either way, love your content!
7:31 the (k+1) should entirely be the power of 2. But the result is still correct. Nice work.
Thankfully he used 2 as the base lol
I was literally searching for this yesterday and I found almost nothing. Thx mate.
As someone who is familiar with programming and have mild experience with Agda, this was delightful to watch! It seems like everything up to your definition of the integers is fairly standard in Agda, but the way you defined the integers isn’t. (It seems more directly related to how they are defined in cubical Agda, or at least 1Lab.)
Excellent video !!!! Perfect explanations. Nice !!
I subscribed literally today and you uploaded a new vid already awesome
Love the video! I do have one small criticism wholly unrelated to the mathematics: the background music is too loud to the point that it gets a bit overwhelming when wearing headphones. Everything else was pretty much perfect.
Babe wake up new jHan video just released
24:48 I think at the end of the first row it should say [(ad+bc, bd)]E. Great video!
Really nice overview of the motivation for being rigorous! Can you recommend a book or article to read up details? Especially about the step to the real numbers.
The construction from this video takes a lot from Elements of Set Theory by Herbet B. Enderton and Set Theory: An Open Introduction by Tim Button. The latter book is free to download here st.openlogicproject.org/.
@19:45 wouldn’t showing this is a transitive relation use subtraction?
But that’s not an operation we have yet.
We would have that (a,b)~(c,d)~(e,f)
Then
a+d=b+c
c+f=d+e
We want to show a+f=b+e
So we can add the two equations to get
a+d+c+f=b+c+d+e
Then by canceling the d+c on both sides we get that a+f=b+e, hence (a,b)~(e,f).
But the step of canceling the d+c term uses subtraction which we don’t have yet, so I’m unsure about that.
Similar question on showing transitive property for rationals. It’s obviously transitive using division, but again we are trying to define rationals, so the division operation is not yet defined to use it show this transitive property. That would be circular.
The two sides are (d+c)th succesor, and we have that if m+ = n+, that is if successors are equal, then m=n; so we just ise induction
@@raptor9514 Thanks
What about for multiplication
It turns out that this "cancellation" property of the naturals can be directly proven just by our natural number construction. The ability to subtract is really just the existence of additive inverses for all elements of a set. So while additive inverses imply cancellation, cancellation does not necessarily imply additive inverses (and thus subtraction). For the sake of time, I unfortunately had to skip these minor steps but the general idea is that we can prove the cancellation property in N by induction, and using the fact that the natural numbers are what's called "transitive sets".
@@jHan thanks, I appreciate this clarification.
I think I’ve seen this proof before, but I thought the video was saying that the transitive step is trivial, but I think there’s something to show there using the induction. Quite nice that transitive property of the naturals gives us the cancellation rule which shows the transitive relation here.
at 32:52 , when presenting the dedekind cut for a rational, it's defined as `q < r`; does that imply that r itself isn't in the set defining Q? I feel it should be
We want a consistent definition to define all real numbers, and since a Dedekind cut must not have a greatest element, q
11:51 That should be A(m,1) = A(m,0)^+ = m^+
The questions are giving me Vsauce vibes I love it
I liked this presentation, but I feel like the last 30 seconds suddenly brought up some controversial claims with no backing.
"Set theory isn't a painstaking formalization for the sake of formalization" I feel like that was why Set Theory was created, though that's certainly not what modern Set theorists do.
"The axioms, theorems, and tools of Set theory have applications in every branch of mathematics" I feel like, with the possible exception of the Axiom of Choice, the axioms intentionally don't have applications. They're just a foundation from which we can get things the rest of math needs, like the fundamental property of the ordered pair. And the theorems and tools of Set theory, like forcing and the results that come from it, have essentially no bearing on other fields of mathematics.
To be clear, I enjoyed my graduate Set theory classes and I like formalization! I just don't see things the same way.
Babe wake up new jHan video just released!
jHan is awesome. And handsome. But "is zero a natural number?"? Man ... the answer to that is very simple: each person decides ... it is a matter of convention. If you want to consider zero a natural number, ok. If you don't consider zero a natural, that's also ok. THAT'S the answer. There is nothing more to it. I don't understand why people still ask such question ...
great, to say there's nothing is to be god. in the beginning there is nothing, and then god create 0, there there is nothing and 0. and from that all math and universe created. hahaha