StevenXClontz’s Twitter Archive—№ 3,338

@katemath I should mention that I'm a set theoretic topologist. So when I use computers as an analogy, I'm really trying to talk about formalization of mathematics, since every correct proof is computable.