[FOM] set theory
Kanovei
kanovei at wmwap1.math.uni-wuppertal.de
Wed Mar 26 01:25:56 EST 2003
On Tue, 25 Mar 2003, Vladimir Sazonov wrote:
> After appearing and formalising, set theory became a part=20
> of mathematics, but its role for the rest of mathematics=20
> was always foundational, conceptual. Now, even if it is=20
> also considered as a branch of mathematics, trying to do=20
> something on large cardinals is still rather internal=20
> business of set theory.=20
As usual, connections between marginal branches are much
more transparent.
For instance, ergodic theory and descriptive set theory
are pretty interconnected areas.
As for the large cardinals, this domain always meant to
taylor an integral foundational picture of the set universe,
which remains, of course, an internal business of set theory
in the same sense as, eg, P=NP remains an internal business of
computer science.
Vladimir Kanovei
More information about the FOM
mailing list