muhtemelen şu anda bilindiği gibi, Scott Aaronson'ın Hesaplamalı Karmaşıklık Teorisi Neden Her Filozof Önemsemeli adlı kitabını çok sevdim Eğer sihirli değneğim olsaydı, bu ikisi de var olurdu: - Her Filozofun Homotopi Tip Teorisi ile İlgilenmesi Nedeni - Her Filozofun Sheaves ve Kategorik Optiklerle İlgilenmesi Nedeni

Scott'unkiyle benzer şekilde yazılırsa mükemmel olurdu - geniş bir çekiciliğe sahip, makinelerle çok fazla takılmamış ve daha çok kavramlarla ve diğer alanların mevcut sorular veya ilgi alanları hakkında düşünmekte faydalı oldukları

"bağlam"ın / bilginin bağlamsal dağıtık doğasının bir resmileştirilmesi olarak sheaves, ve merces'i (kategorik optik anlamda) "ajanlar ve onların kabloları" olarak görmek, muhtemelen genç makine öğrenimi araştırmacılarının ilginç araştırmalara yol açan büyük bir eureka anları yaşamasına neden olurdu ama ne yazık ki o başyapıtı yazacak kadar geniş omuza sahip bir popülist yok bence

Mevcut girişimler çok resmi ve makine tarafından çok fazla boğulmuş