With many thanks to @lastpositivist for writing a really cool post that I wanted to riff on.https://twitter.com/pencelab/status/949861668733022208 …
-
-
I think there’s room for a back and forth between constructivism and Platonism, indeed, I think it’s necessary. Cf. Homotopy Type Theory.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.