Daily Archives: November 6, 2017

Critique hégélienne de la logique formelle et logiques formelles contemporaines

http://www.implications-philosophiques.org/semaines-thematiques/actualite-de-hegel/critique-hegelienne-de-la-logique-formelle-et-logiques-formelles-contemporaines/ Advertisements

Posted in category theory, Hegel, homotopy type theory, Logique, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle

Logique et mathématiques chez Hegel

https://revuemosaique.files.wordpress.com/2013/06/mosaique-8-05_pagc3a8s.pdf

Posted in category theory, Hegel, homotopy type theory, Logique, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle

Henri Verneuil : mille milliards de dollars (1982)

Et près de 40 ans après c’est beaucoup plus que mille milliards de dollars ou d’euros..tout augmenté, ou dégringole, c’est selon. L’humanité , nouveau Golem , n’est pas à la hauteur des formidables pouvoirs que lui donne la techno-science

Posted in Cinéma

#HoTT n-types

https://ncatlab.org/nlab/show/homotopy%20n-type Le dernier chapitre de The Book est consacré aux n-types: The HoTT Book Type theoretic replacement & the n-truncation https://golem.ph.utexas.edu/category/2011/03/homotopy_type_theory_i.html Comme je l’ai déjà dit, j’ai dans l’idée que l’on pourrait atténuer un peu la radicalité de la coupure entre … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, Bible, category theory, Higher category theory, Higher topos theory, homotopy type theory, Littérature-Poésie, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle