Mathematics and the Undead, Part 2: A philological adventure| siliconreckoner.substack.com
First reactions from several participants in the October meeting in Toronto| siliconreckoner.substack.com
I am very happy to say that I have recently received a generous grant from the Astera Institute to set up a small group to work on automatic theorem proving, in the first instance for about three y…| Gowers's Weblog