3,815 followers
@FellowHominid @3blue1brown I think so. If the demise of visual reasoning was due to a "crisis in intuition" (https://t.co/nuiiGA76um), then the computer-checking movement is perhaps a response to a "crisis of formal mathematics", suggesting that the pendu