Asaf Karagila
I don't have much choice...

## Five Star Theorems

Talks. Giving talks. We usually don't give talks about past research. Talks are meant to present recent research, things you've just finished, that you're finishing right now, that you've found out!

So often times, it seems, it is very tempting to talk about theorems that you haven't finished writing their proofs in full. Usaully, we put "work in progress" to indicate that this is something not fully verified, not fully vetted (at the very least by ourselves). Continue reading...

## Constructive proof that large cardinals are consistent

I am not a Platonist, as I keep pointing out. Existence, even not in mathematics, is relative and confusing to begin with, so I don't pretend to try and understand it in a meaningful way.

However, we have a proof, a constructive proof that large cardinals are consistent. And they exist in an inner model of our universe. Continue reading...

## Syntactic T-Rex: Irregularized

One of my huge pet peeves is with people who think that writing $1+2+3+\ldots=-\frac1{12}$ is a reasonable thing without context. Convention dictates that when no context is set, we interpret infinite summation as the usual convergence of a series, namely the limit of the partial sums, if it exists (and of course that $1+2+3+\ldots$ does not converge to any real number). However, a lot of people who are [probably] not mathematicians per se, insist that just because you can set up a context in which the above equality holds, e.g., Ramanujan summation or zeta regularization, then it is automatically perfectly fine to write this out of nowhere without context and being treated as wrong.

But those people forget that $0=1$ is also very true in the ring with a single element; or you know, just in any structure for a language including the two constant symbols $0$ and $1$, where both constants are interpreted to be the same object. And hey, who even said that $0$ and $1$ have to denote constants? Why not ternary relations, or some other thing? Continue reading...

## Banach-Tarski Banach-T-Rex

I had already written about anti-anti-Banach-Tarski arguments. But now the Mathematical T-Rex has something to say too.

## Mathematical T-Rex

Ever explained to a "working mathematician" about the undecidability of the continuum hypothesis? I bet you too had felt like this T-Rex.