Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!border-1.nntp.ord.giganews.com!local-4.nntp.ord.giganews.com!local-3.nntp.ord.giganews.com!border-3.nntp.ord.giganews.com!nntp.giganews.com!Xl.tags.giganews.com!local-1.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Sun, 29 Jun 2025 03:38:37 +0000
Newsgroups: sci.math
X-Mozilla-News-Host: snews://giganews.com:443
From: Ross Finlayson <ross.a.finlayson@gmail.com>
Subject: The Circles
Date: Sat, 28 Jun 2025 20:38:16 -0700
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
 Thunderbird/38.6.0
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <1hWdnX25WJyjKP31nZ2dnZfqn_ednZ2d@giganews.com>
Lines: 30
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-5gLWDMSzENynTNPnJl41pHO6kHDmdEjBS6p4aSBWTksV/l0biQuWmNW674lJ0bydy/qMXwVnR/qUwq/!NzicjaGJqbnBVNxqU++rFEWYoISeE1iBQ4u4Xg/q47XskNNPDJMXp2dfPZwF5RpCrIFzxQ8Tl7kh
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40

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".