Daily Archives: December 22, 2017

#HoTT what is homotopy type theory ?

https://www.quora.com/What-is-homotopy-type-theory

Posted in homotopy type theory

Inductive-recursive types

https://ncatlab.org/homotopytypetheory/show/inductive-recursive+type

Posted in homotopy type theory

Higher inductive-recursive univalence and type-directed definitions

Originally posted on Homotopy Type Theory:
In chapter 2 of the HoTT book, we prove theorems (or, in a couple of cases, assert axioms) characterizing the equality types of all the standard type formers. For instance, we have and (that’s…

Posted in Computer science, homotopy type theory, Philosophie

#HoTT The real Numbers in homotopy type theory

http://math.andrej.com/wp-content/uploads/2016/06/hott-reals-cca2016.pdf

Posted in homotopy type theory

Léon Brunschvicg : l’actualité des problèmes platoniciens

http://gallica.bnf.fr/ark:/12148/bpt6k38550f/f1.image

Posted in Europe, Léon Brunschvicg, Philosophie, Platon, Science-internelle

Immortalité ou In-finitude ?

Dénis Moreau dans « Mort où est ta victoire ? » accomplit un plaidoyer pour la croyance chrétienne en une « après vie » consistant en une éternité de joie venant récompenser une vie bonne, ou de châtiments venant punir une vie « mauvaise ». Les … Continue reading

Posted in Cinéma, Littérature-Poésie, Ouvert : dualité plan vital-plan spirituel, Philosophie, Science-internelle | Tagged ,