Re: [FRIAM] MM implies (*)

2021-07-26 Thread David Eric Smith
That’s interesting, Jon, I completely failed to put 2 and 2 together to realize that Starbird is a name I know from UT days, though I had never met him. I guess because I was not a math major during the time I was there, I had only very few contacts in the math department, and never happened t

Re: [FRIAM] MM implies (*)

2021-07-26 Thread Jon Zingale
In another thread, EricS mentions the book "Topology through inquiry" by Michael Starbird. I had Dr. Starbird for honors discrete mathematics, which was one of those Moore-method styled classes and my first decent introduction to writing proofs. What was funny is that it was my favorite class at UT

Re: [FRIAM] MM implies (*)

2021-07-26 Thread uǝlƃ ☤ $
Ha! I did so bad in my undergrad Topology course, the prof took me (and a handful of others) aside and said: "I want to fail all of you. But I don't want to disrupt your degree plans. What grade do you need in order to maintain your path?" Everyone else answered with "A" or "B". Me, being the i

Re: [FRIAM] MM implies (*)

2021-07-26 Thread Frank Wimberly
I took a course at Berkeley that covered most of this set theory as it was understood as of 1965, including independence of the continuum hypothesis and ZFC. I decided to just take CH on faith. I believe that course influenced me more than any other even though I got a C--the only one I got in an

Re: [FRIAM] MM implies (*)

2021-07-26 Thread Russ Abbott
Nice Quanta article. -- Russ Abbott Professor, Computer Science California State University, Los Angeles On Mon, Jul 26, 2021 at 7:24 AM uǝlƃ ☤>$ wrote: > Why am I just now hearing about this? Jeez. I rely on y'all to keep me up > to date. What am I paying you for anyway? 8^D > > Martin’s Maxi

Re: [FRIAM] (no subject)

2021-07-26 Thread uǝlƃ ☤ $
No, thanks very much for the transcript. Time as updating is an old concept. So, it's not clear to me that they're talking about anything new *there*. But they sound a bit wrong to me in decoupling the updating from the *subgraph* that gets updated as well as any kind of causal cascade of updati

[FRIAM] MM implies (*)

2021-07-26 Thread uǝlƃ ☤ $
Why am I just now hearing about this? Jeez. I rely on y'all to keep me up to date. What am I paying you for anyway? 8^D Martin’s Maximum++ implies Woodin’s axiom (∗) https://annals.math.princeton.edu/2021/193-3/p03 via: How Many Numbers Exist? Infinity Proof Moves Math Closer to an Answer. https