Andrei Rodin : Logic and geometry in topos theory and #HoTT 1

Autrement qu'être Mathesis uni∜ersalis Problema Universale Heidegger/Husserl être/conscience : plan vital-ontologique vs plan spirituel d'immanence CLAVIS UNIVERSALIS HENOSOPHIA PANSOPHIA ενοσοφια μαθεσις

Ce travail d’Andrei Rodin:

http://philomatica.org/wp-content/uploads/2013/01/am2.pdf

fait suite, ou accompagne, cet autre que nous avons étudié ici:

http://ffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/RODIN_Andrei.pdf

Le domaine de prédilection de ce philosophe est la méthode axiomatique:

https://arxiv.org/abs/1210.1478

Page 3:
La « received axiomatic method » (RAM) qui d’origine des recherches de Hilbert est jugée par Rodin non adéquate pour expliquer les récents succès de l’axiomatisation dans la théorie des Topoi et surtout dans HoTT (homotopy type theory).

Page 4 : Andrei Rodin oppose à RAM une axiomatisation qu’il nomme constructive ( constructive axiomatique method = CAM) débutant avec…. les Éléments d’Euclide.

Page 5 : CAM, cette notion plus large de l’axiomatisation, fournit un instrument meilleur que RAM pour servir de cadre formel pour les sciences.

Il y a deux fondements dans RAM : la « statement view » (SV) des théories axiomatiques, qui laisse une large place aux théories comme ensembles de propositions déduites logiquement des axiomes.

Ainsi que la fixité de…

View original post 272 mots de plus

Publicités