som det förmodligen är känt vid det här laget älskade jag Scott Aaronsons Why Every Philosopher should care about Computational Complexity Theory Om jag hade en magisk stav skulle jag också låta dessa två finnas: - Varför varje filosof bör bry sig om homotopitypteori - Varför varje filosof borde bry sig om knippen och kategoriska optiker

de skulle vara perfekta om de skrevs likt Scotts – något med bred dragningskraft, inte alltför fastlåst i maskineriet utan mer i koncepten, och hur de är användbara för att fundera över befintliga frågor eller intressen som andra områden kan ha

Sheaves som en formalisering av "kontext" / den kontextuella distribuerade naturen av information, och linser (i kategorisk optik) som "agenter och deras kopplingar" skulle troligen få några unga ML-forskare att få massiva eureka-ögonblick som leder till intressant forskning, men tyvärr finns det ingen populist som har tillräckligt breda axlar för att skriva det mästerverket, tror jag.

De nuvarande försöken är för formella och för fasttyngda i maskineriet