13 May
2021
13 May
'21
4:45 p.m.
Am 13.05.2021 um 14:22 schrieb K. Janssen via Philweb
<philweb(a)lists.philo.at>at>:
Irritierend in diesem Zusammenhang fand ich die im benannten faz-Artikel gewählte
Formulierung:
„ Die geometrischen Ressourcen der HoTT sind vor allem für Menschen von Interesse, die
statt Metaphysik lieber Physik treiben...“.
Hi Karl,
hat Dath etwa keine Quellen genannt? Viellicht hilft Dir ein Blick in: "The modality
of physical law in modal homotopy type theory“ von David Corfield:
https://ncatlab.org/davidcorfield/files/Bristol.pdf
<https://ncatlab.org/davidcorfield/files/Bristol.pdf>
Dort kommt David von der Typentheorie hierarchisch bis zur 11d Supergravitation (speziell
siehe S. 21). Rückblickend ist es stets einfach im Vergleich mit den Mühen tatsächlicher
Forschung. Aber interessant sind übergeordnete Gesamtschauen allemal.
IT