He show himself to be a person who has very thoroughly thought about these matters, and knows his stuff inside out. I have listened to this (on a cd) a number of times. Every time I get a little more out. I love his simplicity and straightforwardness.

A brilliant lecture, given by one of the giants of set theory.

@tamasvarhegyi8813

5 жыл бұрын

By the way I managed to prove the Continuum Hypothesis in spite of everything said in this video by showing that the floats and integers can be put into 1:1 correspondence with each other. See the recently published YTube video : "Proving the Continuum Hypothesis" Tamas Varhegyi

@spacefertilizer

5 жыл бұрын

Tamas Varhegyi Tamas Varhegyi isn’t this just what Cantor did in order to show that the set of natural numbers and the set of rational numbers have the same cardinality? What does this have to do with CH?

@whatno5090

4 жыл бұрын

@@spacefertilizer He posted that comment as a reply to every other comment here.

@MikeRosoftJH

4 жыл бұрын

@@whatno5090 He believes that he has mapped "floats" one-to-one with natural numbers, thus settling the question - because natural numbers and "floats" have the same cardinality, there is no cardinality strictly between the two. And he refuses to understand that he has only mapped one-to-one with natural numbers such real numbers which have a finite decimal expansion. (That this can be done is not a new result - all such numbers are rational, and that there are countably many rationals was proven by Cantor himself.) He also doesn't know, and refuses to learn, how are real numbers actually defined in mathematics. (But that doesn't prevent him from believing that he knows better than anybody else and spamming this nonsense all over KZread.)

@whatno5090

4 жыл бұрын

@@MikeRosoftJH Sounds about right but I hope he eventually lets somebody talk to him one-on-one and sort this whole thing out

"Maybe in the end the ultimate skeptic is correct that the entire conception of the universe of sets is a complete fiction, it's just intuition gone wild, it's a human creation, that there's no truth there." Most important sentence of this entire lecture bar none.

Absolutely beautiful summary!!

@tamasvarhegyi8813

5 жыл бұрын

It might be beautiful but unfortunately wrong about CH. By the way I managed to prove the Continuum Hypothesis in spite of everything said in this video by showing that the floats and integers can be put into 1:1 correspondence with each other. See the recently published YTube video : "Proving the Continuum Hypothesis" Tamas Varhegyi

A Master Piece !!!!!!!!!!!!!!!!!!!!!!!!!

Very interesting!

He lost me at Multiverses :)

I don't understand this at all yet. Might need to re-watch it multiple times. Don't mind me documenting my progress here '-'.

Love it!!!!!!!!!!!!!!!

This helps more than school

@tamasvarhegyi8813

5 жыл бұрын

It helped me a lot too. By the way I managed to prove the Continuum Hypothesis in spite of everything said in this video by showing that the floats and integers can be put into 1:1 correspondence with each other. See the recently published YTube video : "Proving the Continuum Hypothesis" Tamas Varhegyi

@erikfauser2418

Жыл бұрын

@@tamasvarhegyi8813 bro what

"If you assume V = L as your axiom, there are no measurable cardinals.... In fact, the modern view is there are no genuine large cardinals." But then: "The axiom V = L is false -- because the whole point of set theory is to understand infinity; you can't deny large cardinals." Why not accept that there is an interpretation such that there are no large cardinals? Must large cardinals exist because they're the target of scrutiny by set theory?

@declup

7 жыл бұрын

"Their existence has falsifiable consequences on finite sets.... There's no way, that we know of, to explain why measurable cardinals are consistent that doesn't trace back to 'measurable cardinals exist' in some sense. The large cardinal hierarchy, which has emerged as a robust conception, is an increasingly stronger sequence of predictions about the universe. and the only way to account for this is to conceive of [them in] set theory... If we give up [the notion of large cardinals], we can't explain something that seems meaningful not only in number theory but in this universe." -- So far, up till 27:50 at least, the only support (as put forth by Woodin in this lecture to a non-professional audience) for the existence of large/measurable cardinals comprises (1) lack of proof of their nonexistence, (2) their falsifiability, and (3) the *attractiveness* of the idea of large cardinals.

@whatno5090

4 жыл бұрын

We actually do accept that there's an interpretation where there are no large cardinals. What we reject is that we HAVE to stray from large cardinals just because we can't show there's a consistent interpretation where there are large cardinals. Woodin never claims that there is support for the EXISTENCE of them, rather that there is support for the inability to show they don't exist.

@ZeroG

2 ай бұрын

@@whatno5090The same can be said of God.

@whatno5090

2 ай бұрын

@@ZeroG I suppose so

@MDNQ-ud1ty

Ай бұрын

It's really because they just don't want to let the idea of infinity go. It's too useful in mathematics(it seems) and to deny it's existence would create a rip between science and mathematics since all the mathematics based on infinity would have to be thrown away as just non-sense that just magically works because we really don't know what we are doing. In some sense the reward is to great. If there is nothing more(no infinity or no large cardinals or whatever) then the fantasy is over and it's all back to just basically mathematics. It's sorta like string theory turned out to be a complete flop. Essentially if there are large cardinals then it is as if "space and time warp back on themselves"(in the sense that the point of infinity can be understood by transforming by 1/z). After all, they are the "small cardinalities at the cardinal singularity".

Perhaps this CH-Infinity conundrum could be more fruitfully examined by looking at the shadow of ZFC's _syntactical_ axioms as casted, silhouetted on FOL _without_ equality where: a) The FOL= logical symbol = is replaced by a non-logical counterpart, say, =' (which introspectively, subjectively could be interpreted as being equivalent/equal in probability of existence) b) any function expression would be casted as a corresponding relation. Just saying.

I really am enjoying this presentation by Hugh, but what in the world did he say at 8:45???? It sounds like "so...hau won mon wan".

@hilldaniel

8 жыл бұрын

+WriteRightMathNation I asked Prof. Woodin, and he told me that it was just a misspeak.

@WriteRightMathNation

8 жыл бұрын

+Daniel Hill thank you.

@tamasvarhegyi8813

5 жыл бұрын

By the way I managed to prove the Continuum Hypothesis in spite of everything said in this video by showing that the floats and integers can be put into 1:1 correspondence with each other. See the recently published YTube video : "Proving the Continuum Hypothesis" Tamas Varhegyi

@whatno5090

4 жыл бұрын

@@hilldaniel lul

@alb2935

3 жыл бұрын

@@tamasvarhegyi8813 no you didn’t. The continuum hypothesis hypothesises that the cardinality of the set of all subsets of the natural numbers is equal to the cardinality of the set of all countable ordinal numbers, omega one. All you have shown by doing this is that the number of rational numbers is equal to the number of natural numbers, which cantor already did. If you came up with it yourself good on you on though!

6:40 why is CH a statement about V_{\omega + 2}?

@vopenka_cardinal

9 ай бұрын

All subsets of the real numbers are contained within V_{\omega + 2}, and so are any bijections between these. Therefore, it could be settled by looking at the theory of V_{\omega+2}.

Perfect presentation! Only I am missing the definition of the "Good Set" ?

@tamasvarhegyi8813

5 жыл бұрын

There is no such a thing as an infinite set. By the way I managed to prove the Continuum Hypothesis in spite of everything said in this video by showing that the floats and integers can be put into 1:1 correspondence with each other. See the recently published YTube video : "Proving the Continuum Hypothesis" Tamas Varhegyi

@whatno5090

4 жыл бұрын

@@tamasvarhegyi8813 This does not disprove the Continuum Hypothesis, since the floats are the rationals with terminating binary expansion, which are known to be countable. Also interesting take on "there is no such thing as an infinite set" when you claim that there is the set of all integers, which is clearly infinite.

@countingfloats

4 жыл бұрын

You are simply regurgitating ideas without any proof. I actually have the algorithms which ends all arguments.

@whatno5090

4 жыл бұрын

@@countingfloats No you don't. You have algorithms which merely show that countable sets are countable. You're incorrectly deducing from them that CH is false (and moreover that Cantor's diagonal argument is invalid),

@countingfloats

4 жыл бұрын

Well, you absolutely have no idea about what the algorithms I published do, even though they are elementary. But let's change the subject. My guess is that you also believe that 0.9999...999 eventually turns into 1.0 if we go to infinity, am I right ? That is the prevailing view if I am correct. If so, tell me after how many 9's will this happen ? No, you cannot say infinity, because that is not a number. If it was a number, we could add another 9 to pass it and keep going. So we have to stop before it, right ? Where would you like to stop ? Give it a shot.

How does Cohen's work show that GCH is consistent with ZFC ?

@charleshoskinsoncrypto

7 жыл бұрын

It doesn't Cohen showed the GCH is independent of ZFC and it's truth value has no impact on the system.

@TheMaxtimax

7 жыл бұрын

+Charles Hoskinson Right, I thought so. I've read the proof of "if ZFC is consistent then so is ZFC+ not CH (and at fortiori not GCH)" using forcing, but I think you can't prove it the other way around through forcing, right ?

@ujjalmajumdar618

5 жыл бұрын

CH or negation of CH has no effect on ZFC except as far as I understand the Axiom of choice only exists in a universe governed by GCH. If there are certain statements that do not require for proof GCH or CH as a matter of fact to hold or not to hold then the reader would mostly prefer a proof without either of the assumptions.

@MikeRosoftJH

4 жыл бұрын

@@ujjalmajumdar618 That's not true. ZFC already includes the axiom of choice (C stands for "choice"). What is true is that ZF (set theory without axiom of choice) + generalized continuum hypothesis implies axiom of choice. (The reverse implication doesn't hold; neither ZF nor ZFC can prove continuum hypothesis, or the generalized continuum hypothesis, true or false - at least assuming that set theory itself is consistent.)

@ujjalmajumdar618

4 жыл бұрын

@MikeRosoftJH you are right sierpinski showed that Axiom of Choice follows from a universe governed by ZF and GCH

So Elegant Exposed and Beautiful!! ...Very very very... very .... very very .... very very Very ... Nice!! .... ✾ .... ☻

@tamasvarhegyi8813

5 жыл бұрын

By the way I managed to prove the Continuum Hypothesis in spite of everything said in this video by showing that the floats and integers can be put into 1:1 correspondence with each other. If you want elegance, see the recently published YTube video : "Proving the Continuum Hypothesis" Tamas Varhegyi

@tamasvarhegyi8813

5 жыл бұрын

Hello, I completed the proof of the Continuum Hypothesis by simply establishing 1-to-1 correspondence between positive decimal floats and positive decimal integers. For the last 125 years such a proof eluded the top set-theory experts of the planet. It was eventually abandoned and classified either as impossible or undecidable. Well, no more. Sit back and enjoy one of the most trivial and elegant proofs in set theory. It is published on KZread with the title : “Proving the Continuum Hypothesis”. For further information you may contact me by email me at : secondcause@gmail.com

@MikeRosoftJH

4 жыл бұрын

@@tamasvarhegyi8813 Spam, spam, spam, baked beans, spam, ...

@loneranger4282

3 жыл бұрын

@@tamasvarhegyi8813 go away troll

pure genius, some needs to let susskind know about this

@tamasvarhegyi8813

5 жыл бұрын

He might be a genius but he is wrong about CH. By the way I managed to prove the Continuum Hypothesis in spite of everything said in this video by showing that the floats and integers can be put into 1:1 correspondence with each other. See the recently published YTube video : "Proving the Continuum Hypothesis" Tamas Varhegyi

@victormd1100

2 жыл бұрын

@@tamasvarhegyi8813 sure you did

@countingfloats

2 жыл бұрын

@@victormd1100 Sure, I did. Do I detect a condescending superior tint in your brief and empty response ? Try me, name any integer and I will produce its floating point equivalent or pick any floating point number (e.g. 374.117 or 0.000000004374 and I will send you its integer pair. Amazing, no ?

@victormd1100

2 жыл бұрын

@@countingfloats okay, you are aware pi is a real number, right? Well, which integer corresponds to it?

@countingfloats

2 жыл бұрын

@@victormd1100 Yes, I can even match Roman numeral integers with floating point numbers. floating_point_number_of_MMMCMXCIX := "2.443" floating_point_number_of_MMMM := "2.444" floating_point_number_of_MCCXXXIV := "37.1" floating_point_number_of_DCCCLXXXVIII := "8.86"

He sounds like one of the teachers in Ferris Bueller's Day Off..

Show us the blueprints.

@vopenka_cardinal

9 ай бұрын

The "blueprints" are a simplified description of Cohen's method known as forcing, in which one starts with a model M of set theory and a partially ordered set P in M (which he calls a blueprint, although it's more commonly called a forcing notion), P "codes" information about some object G outside of M. By adjoining what is called a generic filter over P to M, you get an extension of the model in which the continuum hypothesis is now false or true, etc. en.wikipedia.org/wiki/Forcing_(mathematics) en.wikipedia.org/wiki/List_of_forcing_notions

@drewduncan5774

Күн бұрын

timothychow.net/forcing.pdf

i just proved the Continuum Hypothesis but this margin of comment section is too small to fit in the proof

@tamasvarhegyi8813

5 жыл бұрын

Fermat's last theorem. Luckily we have KZread so I had no excuse not to come up with the proof. I actually managed to prove the Continuum Hypothesis in spite of everything said in this video by showing that the floats and integers can be put into 1:1 correspondence with each other. See the recently published YTube video : "Proving the Continuum Hypothesis" Tamas Varhegyi

@whatno5090

4 жыл бұрын

@@tamasvarhegyi8813 Stop spreading misinformation.

@whatno5090

4 жыл бұрын

@@countingfloats I have quite a bit of idea on this subject considering I wrote half of the entire wikipedia dedicated to this subject (cantor's attic).

@MikeRosoftJH

4 жыл бұрын

@@countingfloats As I have repeatedly told you: you haven't proven anything that you claim. What you have proven is that natural numbers can be mapped one-to-one with real numbers with a finite decimal expansion. That's not a new result. All such numbers are rational, and that rational numbers are countably infinite has been known for about 100 years. And this has nothing to do with the continuum hypothesis. Continuum hypothesis is the proposition that there is no cardinality strictly between natural numbers and real numbers. (That natural numbers and real numbers can't be mapped one-to-one also has been known for about 100 years.) The problem is that you don't know how real numbers are defined (they *aren't* defined as decimal expansions), and refuse to learn. (To make things worse, you also use non-standard terminology; "floats" is short for "floating point numbers", which is not a term in calculus, but a specific representation of numbers in computer science. Likewise, "algorithm" means something else than how you use the word.) A saying goes: Who knows, and knows that he knows, is wise; follow him. Who does not know, and knows that he does not know, is simple; teach him. Who knows, and does not know that he knows, is asleep; awaken him. Who does not know, and does not know that he does not know, is a fool; avoid him. As I have said, you are completely ignorant about what real numbers and the continuum hypothesis are really about, refuse to learn, but believe yourself to know better than anybody else. By the way, continuum hypothesis has already been solved - the solution is that it can't be solved. The set theory axioms are insufficient to answer the question one way or other. It is true in some models of set theory, and false in others. In other words - assuming set theory itself is consistent - it is possible to add either the continuum hypothesis or its negation to the set theory axioms, and neither will make the theory inconsistent.

@MikeRosoftJH

4 жыл бұрын

@@countingfloats As I have repeatedly said, your function only covers numbers with a finite decimal expansion. So here's a couple of numbers that your function does not cover: 1/3, square root of 2, pi. Yes, your function covers every truncation of these numbers to a finite number of decimal places. That's not a matter of dispute. But it does not cover the numbers themselves. (And don't tell me that 1/3, square root of 2, or pi are not numbers. That would have shown even more ignorance about what real numbers are.) Continuum hypothesis is a statement about real numbers as conventionally defined in mathematics. It is not a statement about "floats" under your definition. So in order to say anything about the continuum hypothesis, you first need to know and understand how real numbers are defined. Another equivalent way to state the continuum hypothesis is: there is no set whose cardinality is strictly between natural numbers and the set of all sets of natural numbers. (Note: there are countably many finite sets of natural numbers, but uncountably many sets of natural numbers overall - just like there are countably many real numbers with a finite decimal expansion, but uncountably many real numbers overall.)

"Assuming that the axioms are true then we can prove that ... is false" and "assuming the axioms are true then we can prove that ... is true". Well, scrutinize the axioms! The axiom of infinite and the axiom of choice are not self evident and if they turn out to be false or indeterminate then every proof built on them will either crumble or be suspect at best.

@entoris476

7 жыл бұрын

Yes but those axioms are so fundamental to the rest of mathematics - mathematics which has been successful across the years - that it would be extremely counterproductive to assume they are false when they really help give ground to the rest of mathematics (not like that would matter much). Axiom of choice is a little more contested...but many people see the fruits in what it proposes, and I generally tend to agree, even though you have to swallow some uncomfortable decisions later on with regards to measure theory etc.

@declup

7 жыл бұрын

Would a more restricted mathematics (e.g., one without choice or ramified infinity) have any effect on claims by other fields like physics or engineering? To what extent do practical disciplines even rely on the subset of assertions in classical mathematics + choice + infinity + ... that aren't found in more conservatively defined paradigms?

@entoris476

7 жыл бұрын

The short answer is, I don't think so no. But this is coming from someone who believes that Mathematics is invented, rather than discovered, which I can assume is your stance based on your question. This is the long answer: The Mathematical discipline aims to answer questions within its own framework and seeks to probe deeper within that framework to answer even deeper questions. Mathematics never is able to answer questions outside what it is capable of. Tools such as Calculus are only useful in the real world because they have been set up in the Mathematical framework and studied to give what answers appear to be correct within that framework. What goes on in the real world does not affect Mathematics in the slightest, it is independent. Mathematics though is influenced by the real world because we are creatures of the real world. We want results about the real world and we want tools to be able to make predictions about the real world. This does not inhibit Mathematics though, as it may probe within that artificial framework as much as it pleases to gain even deeper results which would have been previously invisible to us.

@gideona.dunkleyiii699

6 жыл бұрын

People still arguing over the axiom of choice smh

@pbf6969

6 жыл бұрын

@declup "Would a more restricted mathematics (e.g., one without choice or ramified infinity) have any effect on claims by other fields like physics or engineering?" You realize that without the axiom of infinity, you can't do calculus right? You realize that ZFC - the axiom of infinity is equivalent as a theory to just PA and PA can't prove anything about analysis. Would physics and engineering be weaker disciplines if they weren't allowed to use real numbers, let alone complex numbers, and calculus? Yes, of course they would. I feel like you might not have been exposed to the history of these ideas but you're not the first person to object to choice or the axiom of infinity, all of these objections appeared during the foundational crisis when these formal systems were being made and the fact that we use the axioms now is a testament to the philosophical and mathematical arguments that have been made for them, as well as the fruit of their labor. There are people who reject choice, obviously there are people who reject infinity (finitists), and there are people who reject the law of the excluded middle. The fact remains that if you choose to reject those axioms you're stuck with a very weak form of mathematics that is not able to prove a lot of things that you, honestly, believe to be true. A perfect example is the work that Harvey Friedman has done on independence. arxiv.org/abs/math/9811187 He proved that there are statements in number theory, statements about finite things, that cannot be proven in PA or even in ZFC. To prove them, you need to assume a large cardinal exists, so you need a strengthened form of the axiom of infinity. Again, you probably believe these statements, they're just regular combinatorial statements about finite objects, but in order to prove them formally you need to assume a large cardinal axiom. So, do you actually not believe in the axiom of infinity? It seems like you don't believe in it, but you believe in statements that it's required to prove. In your other comment above you misinterpreted what Woodin said about the falsification of the large cardinals. He's talking about what I just linked to above. "Their existence has falsifiable consequences on finite sets," and "If we give up [the notion of large cardinals], we can't explain something that seems meaningful not only in number theory but in this universe." He's saying that if we give up the idea of large cardinals, we will give up the finite combinatorial statements that Friedman showed require an axiom of strong infinity. It's not just that "the axioms are falsifiable," it's that they're falsifiable by things that even the strongest skeptic of infinity believes to be true, because the statements are about finite things.

Now prove that feeding the output into the input of a function that maps a cardinal of order n to one of order 3n+1 when n is odd and n/2 when n is even, produces eventually a cardinal of order one when the function iterates indefinitely on any cardinal of order n.

vSauce

@ballisticly2035

8 жыл бұрын

lol same

Vw is infinite, it is the set of all finite sets. The continuum hypothesis remains undefined, therefore 'unknown'.

@whatno5090

4 жыл бұрын

Vw is not the set of all finite sets. It's the set of all hereditarily finite sets. There's a difference. Also, CH is not undefined, CH is well-defined and its a quite common exercise to write its definition in purely FOST, the base language of all of set theory, so its essentially as defined as you possibly can get.

Proving continuum hypothesis , proving inconsistency in ZFC , constructing ZFC from naive set specification , resolving Russell's paradox , constructing infinite number system , construct and ensure overall consistent mathematical universe and developing arithmetic system - edition 8 May 2024 DOI: 10.13140/RG.2.2.21713.75361 LicenseCC BY-NC-ND 4.0

I began to create Non-Cantorian set theory without tertium exclusi in 1960 + infinite sentences & transfinite fractions. I substituted Grandi's series [= Fourier-Bolzano series] for natural number isomorphs & attended 3 universities, winning a scholarship in the Foundations of Mathematics along the way. Professor Geoffrey Kneebone sent my work to 12 Oxbridge etc maths academics & I was outed age 17 as a super-genius by UK Mil Intel & equated with WJ Sidis. On experiencing Theosis I destroyed my book The Theory of Intermediate Transfinite Cardinals, but wrote out 2 notebooks summing up my results for Geoffrey. I followed Sidis' example of going to ground but my writings on maths, logic, philosophy, theology, psychology, art ETC now comprise probably the largest illustrated volume[s] since Leonardo & I continue writing and doing artworks. I painted a large triptych called The Madness of Mathematics, featuring mathematicians who went insane or whom I consider as such. There is a short film, made only a couple of days ago, called Why theosis is genius, which gives a short explanation of my ideas on Infinity [go to Minds.com at JimiTheos aka Jim Overbeck] + there is a film by a BBC editor-director on KZread The Lost Genius.

Brilliant but am I the only one who think- is not qualified enough to understand this video completely?

Let's consider the set of the consecutive prime numbers : 2 , 3 , 5 , 7 , 11 , 13 , ... , p , ... Their cardinal is N . Consider now the set of the consecutive powers of 2 & call it s(2) : 2^0 , 2^1 , 2^2 , 2^3 , ... , 2^n , .... Their cardinal is N . Same way we consider all the sets of the consecutive powers of each prime numbers p , s(p) : p^0 , p^1 , p^2 , p^3 , ... , p^n , ... These sets have no common elements apart the number 1 . Let's combine these sets together , N sets of N elements : s(2) x s(3) x s(5) x s(7) x ... s(p) .... We get a set of cardinal N^N , but doing this we have rebuild N , therefore : N^N = N .

@tamasvarhegyi8813

5 жыл бұрын

You are absolutely right, that is one gets when trying to do arithmetic with infinity. By the way I managed to prove the Continuum Hypothesis in spite of everything said in this video by showing that the floats and integers can be put into 1:1 correspondence with each other. See the recently published YTube video : "Proving the Continuum Hypothesis" Tamas Varhegyi

@Thyldor

5 жыл бұрын

Are you taking the union or the Cartesian product? Since you claimed you'd get back N, I'm assuming you actually meant union. You wouldn't actually get back the entirety of N anyways, you're missing elements made up of more than the powers of just 1 prime, like 6 for example. Also, in that case, the cardinality of your set would be NxN = N^2 which is easily proved with the diagonalization method. Should you actually have meant Cartesian product, you'd have gotten a subset of N^N, not N, so you proved a subset of N^N = N^N, whoopdy-doo :).

@MikeRosoftJH

4 жыл бұрын

The answer is that you haven't proven that N^N has the same cardinality as N. The reason is: every natural number is finite. So when you separate any natural number into a product of primes, the result will also have finitely many elements. If you take a sequence with infinitely many non-zero elements, such a sequence does not represent a natural number (any natural number is divisible by finitely many primes). What is true is: the set of all finite sequences of natural numbers has the same cardinality as natural numbers themselves. (On the other hand, N^N - set of all functions from natural numbers to natural numbers - is uncountable; it has the same cardinality as the continuum.)

@ZeroG

2 ай бұрын

Now take the surreal numbers. You have more surreal numbers than you do real numbers. What is the cardinal of surreals? What about of the powerset of surreals?

Infinity is not a number. It is a concept. It is the idea of ongoing iteration/evolution through time.

@Unidentifying

8 жыл бұрын

+LogicalBelief Numbers are not concepts?

@estring123

8 жыл бұрын

+LogicalBelief infinity means infinite cardinal numbers. they are "numbers" not simply a concept, they just dont behave like finite cardinals

@NomenNominandum

8 жыл бұрын

+carelessbear What else should they be ?

@Unidentifying

8 жыл бұрын

Nomen Nominandum Uhm, exactly my point, you tell me? lol I know what he means though. You cant assign a number to infinity because its simply a contradiction, also infinities are vry very problematic and unrealistic to work with if not simply false.

@NomenNominandum

8 жыл бұрын

+carelessbear Sure. I have to read the comments a bit slower next time. Sorry !

"Gördl"

@TheMaxtimax

8 жыл бұрын

Yeah I noticed it as well

@alicewyan

6 жыл бұрын

Gurdle?

@drewduncan5774

Күн бұрын

When you're on Woodin's level, you can pronounce it however you want

@PaulVinonaama

Күн бұрын

@@drewduncan5774 Haha! High level in mathematics; less so in linguistics.

The set of Real Numbers is not larger than the set of Natural Numbers. The two sets are equal in size, being both infinite. Simply put, because the number of ordinals is the same in both sets, the number of cardinals is the same also. A cardinal at base is simply an alias for an ordinal.

@vuongbinhan

6 ай бұрын

Set theory says that everything you just said is wrong. Infinity came in different sizes. And the cardinality of N is smaller than R. In fact it is infinitely smaller, i.e, if you randomly pick any number on the real like, the probability that you hit an integer is zero. These things are not new, and they have been proven long time ago.

@lawrence1318

6 ай бұрын

@@vuongbinhan Your reply is precluded by what I have pointed out. Again, a cardinal is just an alias for an ordinal. All infinities are equal.

@elizabethharper9081

5 ай бұрын

@@vuongbinhan forgive him, he probably has never heard about diagonal argument

Am I the only person that feels this has heavily theological implications? I know I'm not the only one

@theflamingsword

3 жыл бұрын

You're not!

@davidp.anderson4847

Жыл бұрын

When people don't understand something they ascribe theological implications to it.

@drewduncan5774

Күн бұрын

Cantor also ascribed theological importance to set theory.

A conference about the continuum hypothesis that never tells you what the continuum hypothesis is .

@ViceroyoftheDiptera

5 жыл бұрын

You either did not watch the video or watched the video and understood nothing of it.

@tamasvarhegyi8813

5 жыл бұрын

You are right, I say a lot more .I managed to prove the Continuum Hypothesis in spite of everything said in this video by showing that the floats and integers can be put into 1:1 correspondence with each other. See the recently published YTube video : "Proving the Continuum Hypothesis" Tamas Varhegyi

@a.hardin620

2 жыл бұрын

Wrong. Tells you at the very beginning.

@drewduncan5774

Күн бұрын

4:22

Why make it simple when we can make it complicated ?

@tamasvarhegyi8813

5 жыл бұрын

I made it simple for everyone and proved the CH.By managing to prove the Continuum Hypothesis in spite of everything said in this video by showing that the floats and integers can be put into 1:1 correspondence with each other. See the recently published YTube video : "Proving the Continuum Hypothesis" Tamas Varhegyi

In my humble opinion the whole lecture is a pile of gibberish. None of the formulas have ever been demonstrated by actual numerical values. What is a "universe of the generic multiverse", "weak extender" , Baire set, the supercompact cardinal, "universal Baire" set and so on ? Who is Baire ? This is an unmitigated corruption of actual mathematics.

@AlaiMacErc

Жыл бұрын

"Humble" opinion.

@vopenka_cardinal

9 ай бұрын

Sorry but I don't think you're qualified to criticize professional mathematicians? There is no possibility for a numerical example, because this is abstract, but it doesn't make it any less correct - it's like criticizing philosophy because there's no proof of the ideas involved. But at least here, we know the theories we're working in are logically sound. And excuse me, do you see any numerical examples in "actual mathematics" either - when does a journal published article in, say topology or algebraic geometry, going to include numerical examples either?

@elizabethharper9081

5 ай бұрын

You know, in math we also use quantifiers to talk about things. Not only numerical values.