Tag Archives: Per Martin-Löf

Bolzano : une théorie des idées

J’avais acheté la récente édition à « Oxford logic guides «  de « bolzano’s Logical system « : https://anthroposophiephilosophieetscience.wordpress.com/2016/11/06/de-bolzano-aux-recherches-logiques-de-husserl/ https://themasters6.wordpress.com/2016/11/06/bolzanos-logical-system/ Or il s’avère que Bolzano décrit un système formel et une théorie d’idées , qui sont les objets de base de ses travaux, … Continue reading

Posted in homotopy type theory, Logique, Philosophie | Tagged , , ,

Gershom Bazerman : from scheme to dependent type theory in 100 lines

https://www.meetup.com/fr-FR/LispNYC/events/217730802/?eventId=217730802&chapter_analytics_code=UA-20563213-1 Les vidéos de l’exposé: Les “slides” de l’exposé en pdf: https://raw.githubusercontent.com/gbaz/mess/master/scheme-to-type-theory.pdf Un papier de Per Martin Lof: http://www.cs.tufts.edu/~nr/cs257/archive/per-martin-lof/constructive-math.pdf

Posted in homotopy type theory | Tagged

Axiomatic cohesion in HOTT

J’ai déjà parlé de cet article de blog, qui fait le lien entre les travaux de Lawvere sur “axiomatic cohesion “et l’homotopy type theory, à laquelle est associée de manière solidela théorie des ∞-catégories et ∞-topoi: Axiomatic cohesion in HoTT La … Continue reading

Posted in ∞-catégories, ∞-topoi, category theory, Higher category theory, Higher topos theory, homotopy type theory, Science, mathesis, Théorie des ensembles (set theory), Théorie des topoi (topos theory), Wronski, Wronski-Messianisme-séhélianisme-Science-internelle | Tagged , , , , , , , ,

De #HigherToposTheory à #HomotopyTypeTheory

J’ai commencé à étudier sur ce blog, dans le Hashtag #HigherToposTheory l’extraordinaire livre de Jacob Lurie ” Higher Topos theory” que l’on peut lire gratuitement sur plusieurs sites, comme Arxiv, ou bien ici: http://www.math.harvard.edu/~lurie/papers/highertopoi.pdf Le dernier article publié dans le … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, Bertrand Russell, category theory, Higher category theory, Higher topos theory, homotopy type theory, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des topoi (topos theory), Wronski-Messianisme-séhélianisme-Science-internelle | Tagged , , , , , , , , , , , , , ,