.The large Cardinal project
. The Large Cardinal Project

CREATIVE COMMONS
If you’ve never heard of Large Cardinals, get ready to learn. In the late 19th century, a German mathematician named Georg Cantor figured out that infinity comes in different sizes. Some infinite sets truly have more elements than others in a deep mathematical way, and Cantor proved it.
There is the first infinite size, the smallest infinity, which gets denoted ℵ₀. That’s a Hebrew letter aleph; it reads as “aleph-zero.” It's the size of the set of natural numbers, so that gets written |ℕ|=ℵ₀.
Next, some common sets are larger than size ℵ₀. The major example Cantor proved is that the set of real numbers is bigger, written |ℝ|>ℵ₀. But the reals aren’t that big; we’re just getting started on the infinite sizes.
For the really big stuff, mathematicians keep discovering larger and larger sizes, or what we call Large Cardinals. It’s a process of pure math that goes like this: Someone says, “I thought of a definition for a cardinal, and I can prove this cardinal is bigger than all the known cardinals.” Then, if their proof is good, that’s the new largest known cardinal. Until someone else comes up with a larger one.
Throughout the 20th century, the frontier of known large cardinals was steadily pushed forward. There’s now even a beautiful wiki of known large cardinals, named in honor of Cantor. So, will this ever end? The answer is broadly yes, although it gets very complicated.
In some senses, the top of the large cardinal hierarchy is in sight. Some theorems have been proven which impose a sort of ceiling on the possibilities for large cardinals. But many open questions remain, and new cardinals have been nailed down as recently as 2019. It’s very possible we will be discovering more for decades to come. Hopefully we’ll eventually have a comprehensive list of all large cardinals.
MOST DIFFICULT!!
Answers
Answered by
0
Answer:
I literally can't understand your question
Similar questions