Motivation for large cardinals

  • I
  • Thread starter tzimie
  • Start date
  • Tags
    Motivation
In summary: ZFC) and what it could mean for the theory.In summary, while I found the motivation for the inaccessible cardinal to be sound, I am not sure what was driving the specific properties chosen in the "formula." The "weird properties" tend not to be so weird when you get into them. The existence of a Mahlo cardinal proves that there are non-constructible real numbers.
  • #1
tzimie
259
28
Reading this: https://en.wikipedia.org/wiki/List_of_large_cardinal_properties

I perfectly understand the motivation for the inaccessible cardinal, it looks very natural from the theory of ordinals, but everything beyond makes no sense to me. Why Mahlo? Why superstrong? It looks like a game "What if there is so large cardinal that it has the following weird property: <you name it>"

While "what-if" game is good for math, I fail to understand what was driving the choice of the specific weird properties in the "formula" (I stressed in italic) above. Especially reading this: https://en.wikipedia.org/wiki/Vopěnka's_principle

Vopěnka's principle was originally intended as a joke: Vopěnka was apparently unenthusiastic about large cardinals and introduced his principle as a bogus large cardinal property, planning to show later that it was not consistent
 
  • #3
Hey tzimie

Current mathematics is based on an understanding of one-dimensional quantities and they have order (i.e. can be used with equality, greater or less than and combinations thereof).

The point of cardinality is to make some sense of spaces (with sets) so that they can be compared.

I do agree it is often ridiculous to just come up with classifications that serve not much of a use bit it's important in current mathematics so as to know how much information is in a space and how the different spaces relate to each other in terms of subsets and the cardinalities they have.

Because they are fundamental components/measures of sets and because sets are fundamental to mathematics they become fundamental in and of itself.
 
  • #4
tzimie said:
Reading this: https://en.wikipedia.org/wiki/List_of_large_cardinal_properties

I perfectly understand the motivation for the inaccessible cardinal, it looks very natural from the theory of ordinals, but everything beyond makes no sense to me. Why Mahlo? Why superstrong? It looks like a game "What if there is so large cardinal that it has the following weird property: <you name it>"

While "what-if" game is good for math, I fail to understand what was driving the choice of the specific weird properties in the "formula" (I stressed in italic) above. Especially reading this: https://en.wikipedia.org/wiki/Vopěnka's_principle
This can happen in other fields as well. People get attached to a field and want to publish and this is what often happens.
 
  • #5
There is a lot of lack of respect for the field of Model Theory, specifically Large Cardinals. :frown: The "weird properties" tend not to be so weird when you get into them. Yes, you can do mathematics without knowing what is justifying the steps you are doing, but I think any mathematician would rebel at that. Why Mahlo? If you are dealing with a class of continuous increasing functions, and you want to make sure that you get them to converge, then you might needwant to assume that this is (relatively) consistent, which you can do by proving that the existence of a Mahlo cardinal is equiconsistent with the standard model of arithmetic. Or if you want to prove properties of Boolean Algebras using filters, the existence of Mahlo cardinals will give you the green light. For Superstrong and other cardinals that deal with Reflection Principles, you will find a good discussion here: logic.harvard.edu/koellner/ORP_final.pdf (He discusses Vopenski as well.) Perhaps the nicest example is measurable cardinals. If you want to deal with a physical universe where there are principles which are true except at insignificant points (or, to put it another way, if you want to be able to integrate over discontinuous spaces), then you might want to adopt the ultraproduct construction... but how do you know that this construction is valid? You prove that the existence of a measurable cardinal is equiconsistent etc. Some of the results melt into recursion theory, such as the one that the existence of a Ramsey cardinal proves that there are non-constructible real numbers. And so forth. True, the large cardinals did not come up with a model that would be as acceptable as ZFC and allow one to either accept or reject the Continuum Hypothesis, let alone the Generalized Continuum Hypothesis, but that doesn't make it worthless. I think you could look at any field of advanced mathematics and point to concepts that appear weird at first glance.
 
  • #6
nomadreid said:
There is a lot of lack of respect for the field of Model Theory, specifically Large Cardinals.

Sorry for breaking your heart )))
But I am not mathematician at all - but the subject is just so interesting so I can't stop reading about it. So it is not so bad after all.

nomadreid said:
you will find a good discussion here: logic.harvard.edu/koellner/ORP_final.pdf (He discusses Vopenski as well.)

Thank you for the link and for the highlighting of some points.

After reading more about that stuff, I had also found that there is some parallelism with large countable ordinals, so if ZFC proves the existence of Mahlo ordinal, it makes sense to think about the Mahlo cardinal (even it is not decidable in ZFC).
 
  • Like
Likes nomadreid
  • #7
nomadreid said:
If you want to deal with a physical universe...

But what is the "strength" of physics as mathematical theory? (giving the word "strength" a precise meaning, like epsilon-naught is an ordinal which measures the strength of PA). I am afraid physics is very weak because it is finite. It comes from the finite Hubble volume and finite amount of information which can be stored in a given volume (Bekenstein bound). So looks like physics is not only countable but is also finite, and in that sense it is much weaker, than, say, Conway's "Game of Life" universe - where, as you know, a REAL infinite turing machine can be constructed. In our real universe it is not possible.

... unless there is infinite informational complexity hidden in real/complex variables everywhere. However, as in physics functions tend to be continuous, they can be defined specifying their values in rational points only, which makes our universe countable (even infinite in this case).
 
  • #8
tzimie said:
... physics is very weak because it is finite. It comes from the finite Hubble volume and finite amount of information which can be stored in a given volume (Bekenstein bound). So looks like physics is not only countable but is also finite, ...
Hm, here we verge on the old debate as to whether the wave function is "real". So, although the precision of each eigenvalue may be restricted to the rationals, the number of possible eigenvalues may be uncountable. In any case, Hilbert space is definitely infinite, and I would say that Hilbert space belongs to physics.

tzimie said:
However, as in physics functions tend to be continuous, they can be defined specifying their values in rational points only, which makes our universe countable (even infinite in this case).
If I understand this last point correctly, you are saying that since every real number can be defined as the limit of a sequence of rational numbers, we don't need the reals. But if you throw out the reals, and only keep the sequences without assuming closure, you have a universe (or a theory thereof) which is not closed. This tends to be unsatisfactory. Also, yes every real can be so defined (although one has to be careful with the word "defined", because in the set-theoretical sense, there are reals which are not definable in the standard model), but there are still an uncountable number of such sequences. Oh, and non-standard analysis is so much nicer than the messy limits anyway.
 
  • #9
nomadreid said:
Hm, here we verge on the old debate as to whether the wave function is "real".

Well, I have found an answer here: https://arxiv.org/abs/0704.0646

nomadreid said:
Also, yes every real can be so defined (although one has to be careful with the word "defined", because in the set-theoretical sense, there are reals which are not definable in the standard model), but there are still an uncountable number of such sequences. Oh, and non-standard analysis is so much nicer than the messy limits anyway.

You are right, but is it possible that there are physically measurable observables which values depend on (i) undecidable statements in TOE or (ii) of (non constructive) existence of objects like Vitali sets usually given by AC? I doubt it (it is a conjecture). Anyway, it leads to very interesting consequences:
1. TOE is too weak (or finite) so there are neither undecidable statements nor effect of assuming/denying AC/CH//Large cardinals
2. TOE has such statements ALWAYS in a controllable manner so they never affect the observables. This is actually a very strong statement
Finally, if this conjecture is false:
3. You can actually measure if, say, CH is true in our Universe (which is a big WOW)
 
  • Like
Likes nomadreid
  • #10
tzimie said:
Well, I have found an answer here: https://arxiv.org/abs/0704.0646
Max Tegmark is always a joy to read. (He presents his "Physics is a subset of mathematics" thesis as a bold if reasonable one: but it is tame compared to Gödel's notebooks outlining his Platonism. Off-the-wall, so not usually referred to.) Of course you can find huge numbers of articles arguing both sides, but here is a less philosophical one: https://[B]arxiv[/B].org/pdf/1412.6213 [Broken]

tzimie said:
is it possible that there are physically measurable observables which values depend on (i) undecidable statements in TOE or (ii) of (non constructive) existence of objects like Vitali sets usually given by AC? I doubt it (it is a conjecture). Anyway, it leads to very interesting consequences:
1. TOE is too weak (or finite) so there are neither undecidable statements nor effect of assuming/denying AC/CH//Large cardinals
2. TOE has such statements ALWAYS in a controllable manner so they never affect the observables. This is actually a very strong statement
Finally, if this conjecture is false:
3. You can actually measure if, say, CH is true in our Universe (which is a big WOW)
Although it is a truism that, given that we do not know what the TOE will look like and therefore it is not possible to answer such questions as to whether undecidable statements will play a role, I think it is safe to assume that the Vitali sets will only play the indirect role that they were meant to, to wit, to show what sort of assumptions are needed to get Lebesgue integrals where you want them. In a way, without mixing too strongly uncertainty and undecidability, it is likely that in TOE the probabilistic aspect of quantum physics will be retained, so that the theory will be considered complete only if one restricts the theory to referring only to probabilities; once you allow it to talk about specific measurements, you get an incomplete theory -- which is not bad, but it does indicate the presence of undecidable statements. But more to the point: referring to the existence of large cardinal axioms as "undecidable" axioms is assuming ZFC (all of whose axioms are undecidable with respect to the trivial theory), and once you have ZF, you have undecidable statement lurking around, such as its consistency, which you implicitly assume in order to apply standard mathematics. In a word, you aren't going to get away from undecidable statements, even if you stick to arithmetic. And I don't know of many physicists who would willingly dispense with arithmetic.
As far as CH, I would be interested to see how one could directly measure anything that could tell whether it is true or not. Not that anyone would want to: it has proven to be pretty useless beyond the original points it was invented for.
 
Last edited by a moderator:
  • Like
Likes tzimie
  • #11
Just found something related to physics and undecidable statements:
https://en.wikipedia.org/wiki/Hypercomputation

A real computer (a sort of idealized analog computer) can perform hypercomputation[4] if physics admits general real variables (not just computable reals), and these are in some way "harnessable" for useful (rather than random) computation. This might require quite bizarre laws of physics (for example, a measurable physical constant with an oracular value, such as Chaitin's constant), and would require the ability to measure the real-valued physical value to arbitrary precision.
  • Similarly, an neural net that somehow had Chaitin's constant exactly embedded in its weight function would be able to solve the halting problem,[5] though constructing such an infinitely precise neural net, even if you somehow know Chaitin's constant beforehand, is impossible under the laws of quantum mechanics
 
  • Like
Likes nomadreid

What are large cardinals and why are they important in motivation for mathematical research?

Large cardinals are types of infinite mathematical objects that have properties beyond those of the familiar countable and uncountable infinities. They are important because they allow mathematicians to prove the consistency of certain mathematical theories, as well as provide insight into the structure and behavior of sets and numbers.

What is the "continuum hypothesis" and how does it relate to large cardinals?

The continuum hypothesis is a statement about the cardinality (size) of the set of real numbers. It states that there is no set with a cardinality between that of the natural numbers and the real numbers. Large cardinals play a role in the study of the continuum hypothesis, as they can be used to prove its consistency with other mathematical theories.

How do large cardinals help to resolve mathematical problems and paradoxes?

Large cardinals can be used to prove the consistency of certain mathematical theories, which can help to resolve paradoxes and problems that arise within those theories. For example, the existence of large cardinals can be used to show that the Zermelo-Fraenkel set theory (one of the most commonly used foundations for mathematics) is consistent and free from contradictions.

What are some examples of large cardinals and their properties?

Some examples of large cardinals include measurable cardinals, weakly compact cardinals, and superstrong cardinals. Measurable cardinals are able to measure the size of certain sets, while weakly compact cardinals possess a strong form of compactness. Superstrong cardinals have even stronger properties, such as being able to measure the size of sets of sets.

What implications do large cardinals have for the foundations of mathematics?

The study of large cardinals can have significant implications for the foundations of mathematics, as they provide insight into the structure and behavior of sets and numbers. They also play a key role in proving the consistency of various mathematical theories, which can have a profound impact on the development of new mathematical ideas and techniques.

Similar threads

  • Set Theory, Logic, Probability, Statistics
Replies
5
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
1
Views
2K
  • Set Theory, Logic, Probability, Statistics
2
Replies
69
Views
8K
  • Topology and Analysis
Replies
2
Views
3K
  • Special and General Relativity
2
Replies
57
Views
3K
  • Classical Physics
Replies
18
Views
1K
  • Computing and Technology
Replies
10
Views
2K
Replies
20
Views
963
Replies
33
Views
5K
  • Special and General Relativity
Replies
5
Views
767
Back
Top