What is a Formal System? The Idea of Geometrical Calculus from Leibniz to Voevodsky

Andrei Rodin

Аннотация


What is a Formal System? The Idea of Geometrical Calculus from Leibniz to Voevodsky


Полный текст:

PDF

Литература


Univalent Foundations Program. Homotopy Type Theory: Univalent Foundations of Mathematics. Institute for Advanced Study (Princeton), 2013. URL: http://homotopytypetheory.org/

book/

Leibniz G. W. Characteristica Geometrica // C. I. Gerhardt (ed.), Leibnizens mathematische Schriften, Halle: von H. W. Schmidt, vol. 5, 1858, pp. 141–168

Peano G. Calcolo Geometrico secondo l’Ausdehnungslehre di H. Grassmann, preceduto dalle operazioni della logica deduttiva. Torino: Fratelli Bocca Editori, 1888

Grassmann H. Geometrische Analyse, geknupft an die von Leibniz erfundene Geometrische Charakteristik. Leipzig: Weidmann, 1847


Ссылки

  • На текущий момент ссылки отсутствуют.


Bookmark and Share


(c) 2016 Andrei Rodin

Лицензия Creative Commons
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.