zoals waarschijnlijk op dit moment bekend is, hield ik van Scott Aaronson's Waarom elke filosoof zich zou moeten bekommeren om Computationele Complexiteitstheorie Als ik een toverstok had, zou ik willen dat deze twee ook bestonden: - Waarom elke filosoof zich zou moeten bekommeren om Homotopietheorie - Waarom elke filosoof zich zou moeten bekommeren om Sheaves en Categorische Optiek

ze zouden perfect zijn als ze vergelijkbaar met Scott's geschreven waren - iets met brede aantrekkingskracht, niet super verzwaard met de machine en meer met de concepten, en hoe ze nuttig zijn om na te denken over bestaande vragen of interesses die andere velden zouden kunnen hebben

sheaves als een formalisering van "context" / de contextuele gedistribueerde aard van informatie, en lenzen (in de categorische optiek zin) als "agenten en hun bedrading" zouden waarschijnlijk enkele jonge ML-onderzoekers enorme eureka-momenten bezorgen die leiden tot interessant onderzoek, maar helaas is er niemand in de volksmond die brede schouders heeft om dat meesterwerk te schrijven, denk ik

de huidige pogingen zijn te formeel en te verzwaard door de machine.