Category Archives: Logique

On a model invariance problem in #HoTT

Le site groundai.com où j’ai trouvé cette excellente introduction aux mathématiques fondamentales que nous pratiquons ici : https://anthroposophiephilosophieetscience.wordpress.com/2018/03/05/hott-sets-types-categories/ contient tout un tas de liens intéressants, il suffit de cliquer en bas de page sur « Category theory », « Algebraic topology », etc…voici par … Continue reading

Posted in category theory, Higher category theory, homotopy type theory, Logique, Science, mathesis, Science-internelle

L’Ecclésiaste ch1 : « affliction de l’Esprit » et non « poursuite du vent »

https://www.mechon-mamre.org/f/ft/ft3101.htm Au verset 14 : רוּחַ = Esprit וּרְעוּת = affliction Traduction du verset hébraïque : « J’ai observé tout ce qui s’accomplit sous le Soleil : tout est vanité et affliction de l’ Esprit «  « soleil » fait référence à la … Continue reading

Posted in Alain Badiou, Bible, Christianisme, judaisme, Logique, Ouvert : dualité plan vital-plan spirituel, Philosophie, Science-internelle | Tagged ,

Vladimir Voevodsky : what if current foundations of mathematics are inconsistent

https://www.ias.edu/ideas/2012/voevodsky-foundations-of-mathematics

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

Computational trinitarianism

https://ncatlab.org/nlab/show/computational+trinitarianism

Posted in ∞-catégories, category theory, Computer science, Higher category theory, homotopy type theory, Logique

les résultats des Malliaris et Shelah sur l’hypothèse du continu

http://www.slate.fr/story/151703/mathematiciens-demonstrations-infinis-egaux

Posted in Logique, Philosophie, Philosophie mathématique, Science-internelle, Théorie des ensembles (set theory)

Paul Cohen, 1 to 6

Les cinq autres sont dans la colonne de droite

Posted in Alain Badiou, Logique, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory)

Philosophical Logic of #HoTT

https://www.sussex.ac.uk/webteam/gateway/file.php?name=talk.pdf&site=552

Posted in homotopy type theory, Logique, Philosophie mathématique