Send the following on WhatsApp
Continue to ChatThe modal logic of arithmetic potentialism and the universal algorithm https://jdh.hamkins.org/arithmetic-potentialism-and-the-universal-algorithm/
The modal logic of arithmetic potentialism and the universal algorithm https://jdh.hamkins.org/arithmetic-potentialism-and-the-universal-algorithm/