Silicon Reckoner is an opinionated newsletter about the implications of mechanization of mathematics. New texts are added every two weeks.
Silicon Reckoner
Investigaciones parcialmente subvencionadas por las becas NSF DMS-1404769, DMS-1701651, DMS-1952667, DMS-2001369, y DMS-2302208; por el ERC Advanced Grant nr. 290766 - AAMOT – Arithmetic of Automorphic MOTives; y por una beca de la Fondación Simons.