Enjoying relaxed NYC summer evenings, dinner on the terrace, before the big trip.
In Beijing. Lectures on the modal logic of forcing and set-theoretic potentialism begin tomorrow.
I just realized that Fermat's last theorem holds in the natural ring of ordinals.
My substack post about it is here. Comments are totally open so please join the discussion. www.infinitelymore.xyz/p/set-theory... #InfinitelyMore
Starting next week, I'll be giving graduate lectures at Peking University on the modal logic of forcing and potentialism. Reading list is now available.
jdh.hamkins.org/modal-logic-...
Fermat's last theorem in the natural ring of ordinals
www.infinitelymore.xyz/p/fermats-la... #InfinitelyMore
Please enjoy the my recent podcast appearance on About Logic with Deniz and Thorsten. We got into so many different philosophical issues in the foundations of mathematics, with a few pointed disagreements. youtu.be/060p4gKCCbg
Distance time graphs.
mathshko.com/2021/01/30/g...
