Yanıtlar:
Homotopi teorisinin teorik bilgisayar biliminde iki büyük uygulaması:
Homotopy Type Theory , yazılan lambda hesabı teorisi ile homotopi teorisi arasında tamamen beklenmedik bir bağlantı olduğunu ortaya koydu. Hızlı bir sezgi olarak, bunu ya sezgisel mantık ve topolojik uzaylar arasındaki bağlantının (geniş) genelleştirilmesi ya da “sentetik homotopi teorisi” yapmak için bir dil olarak düşünün.
Cebirsel topoloji ve homotopi teorisinin yönlendirilmiş versiyonu (yollar geri dönüşümlü olmayan yani) akılda bilgisayar bilimine uygulamaları ile tam geliştirilmiştir. Sezgi, eşzamanlı bir programın olası değerlendirmelerinin bir boşluğa karşılık gelmesi, program yürütmelerinin o boşluktaki yollara karşılık gelmesi ve senkronizasyon ilkellerinin engellere karşılık gelmesidir. Bu alanların / programların geometrik özelliklerini göz önünde bulundurarak davranışları hakkında muhakeme için araçlar geliştirmek mümkün hale gelir.
İlgili bir mesaja cevabım : Bilgisayar biliminde küme teorisi, ordinal teori, sonsuz kombinatorik ve genel topoloji uygulamaları? :
2004 Gödel Ödülü aşağıdaki iki bildiriyle paylaşıldı:
2004 Gödel Ödülü'nden alıntılar :
İki makale dağıtılmış bilgi işlem teorisindeki en önemli buluşlardan birini sunmaktadır.
Dağıtılmış bilişimin topolojik doğasının keşfi , alana yeni bir bakış açısı sağlar ve muhtemelen tüm uygulamalı matematikte, doğal hesaplama fenomenlerini ölçmek için topolojik yapıların kullanımının en çarpıcı örneklerinden birini temsil eder.
Katma:
Bu konuyla ilgili bir kitap:
Kombinatoryal Topoloji ile Dağıtık Hesaplama, 1. Baskı, 2013