mshmmath wordpress com

A place for reactions to and questions about siliconreckoner.substack.com. …beyond my interest in how current trends in mechanization of mathematics force me to sharpen my own understanding of what makes mathematics valuable as a human practice...