”They want to reformulate mathematics in the looser language of equivalence.” Made me remember our 2014 paper om semantic equivalence openphactsfoundation.org/a-justificatio… twitter.com/WIRED/status/1…