Re: The Circles

On 06/28/2025 09:24 PM, Ross Finlayson wrote:

On 06/28/2025 08:38 PM, Ross Finlayson wrote:

Oh, been a while, figure I'll post.
>
Watching a speech of Dr. Woodin the other day, sort of like,
"well Scott keeps generalizing his theorem and our closed
bounded universes if you don't mind me calling the cumulative
hierarchy that, sort of make that large cardinals sort of reiterate
and I'm not sure whether a large supercompact cardinal is going
to read right when the ordinary inductive set has neither compactness
nor is it extra-ordinarily super, while we're calling Cohen's method
blueprints now and really that's Skolem when in model relativization
we're pretty sure we can't add any axioms without them confounding
each other".
>
And it's like, try less axioms, arrive at the extra-ordinary immediately
and resolve the paradoxes up front, since there are at least three
different rulial regularities the foundness, ordering, and dispersion,
otherwise you're not going to have a good time, and yes that's provable.
>
Watching some Dr. Tao, "me and my mental collaborators are really
pretty happy about being able to divide-and-conquer proofs, though
one may aver that the implicits in the derivation aren't included in
the usual sort of dimensionless analysis, as that with regards to the
general awe of Breen-Deligne, we've sort of neglected quadratic
reciprocity".
>
So, "foundations", on the one hand, and "number theorems", on the other,
both sort of seem needing some ways to look at them, a little different,
to help that otherwise there's "the circles" and "the going around in
the circles".
>

>
>
Pretty good from Mark van Atten on Brouwer and models of continua.
>
When it comes to foundations it's me who I trust.  It's gratifying
that sufficient mental reasoners find it quite thorough.
>
>

Been enjoying some of this Yufei Zhou,
at least he knows there's a difference
between the ergodic and combinatoric,
sort of like "Borel vs. Combinatorics",
and when he mentions Ramsey theory
he knows there's a difference between 2 and 3,
and mentions Bergelson and Liebman or Oprocha,
about the quasi-invariant measure theory,
and differences between finitary and infinitary, and
when discussing Roth and Rusza, at least
entertains the various conjectures, and mentions
when things aren't done yet, then though as with
regards to various recently "decided" conjectures,
there's yet for various "independent" features of
number theory, in the infinitary, about things like
quadratic reciprocity and higher geometry.
So, my foundations is pretty much great for all that,
descriptive set theory and all.