Daily Archives: November 9, 2017

André Lebel : Introduction à la pensée d’Albert Lautman

http://theses.ulaval.ca/archimede/fichiers/26798/26798.pdf Advertisements

Posted in Léon Brunschvicg, Philosophie, Philosophie mathématique, Science-internelle | Tagged

Eugenia Cheng : category theory in life

C’est une mathématicienne, un des piliers de la « higher category theory », pas une spécialiste du « functional programming ». Elle est entièrement tournée vers le ciel, pas vers la terre (contrairement au thème de sa conférence). On dira ce qu’on voudra mais … Continue reading

Posted in ∞-catégories, category theory, Higher category theory, Science, mathesis

Philip Wadler : category theory for the WORKING HACKER

Comme je l’ai déjà dit, il y a deux versants à la théorie des catégories, qui est une sorte de Janus bifrons : un visage tourné vers la terre, et l’autre vers le ciel.. ce doit être la fameuse dualité…

Posted in category theory, Computer science, Higher category theory, homotopy type theory

« Propositions as types » : Philip Wadler

Posted in homotopy type theory

#HoTT deux paradigmes : « propositions as types » et « propositions as some types »

« Propositions as types » affirme que types et propositions sont la même chose : https://ncatlab.org/nlab/show/propositions+as+types#PropositionsAsSomeTypes Dans le paradigme « Propositions as some types » (voir le paragraphe sur la mêm page) les propositions sont identifiées à des types particuliers , ceux qui ont … Continue reading

Posted in homotopy type theory

Jean- Michel Salanskis : l’herméneutique formelle

Ce livre défend l’idée que la mathématique pense au sens de Heidegger et de Gadamer : qu’en elle opère une herméneutique, différente de l’herméneutique usuelle seulement en ce qu’elle est formelle. http://www.klincksieck.com/livre/?GCOI=22520100387900 http://www.philosciences.org/notices/document.php?id_document=256 https://www.cairn.info/revue-le-philosophoire-2003-2-page-21.htm Alain Badiou défend lui aussi cette … Continue reading

Posted in Christianisme, judaisme, Philosophie, Philosophie mathématique, Religions, Science, mathesis, Science-internelle

#HoTT Théorie homotopique des types et programmation

La théorie homotopique des types a deux versants : l’un théorique, tourné vers le haut, celui de la théorie des types , celui que l’on trouve dans le Livre que nous étudions ici : The HoTT Book et l’autre tourné … Continue reading

Posted in Computer science, homotopy type theory