Category Archives: Logique

Church : a formulation of The simple theory of types

https://www.classes.cs.uchicago.edu/archive/2007/spring/32001-1/papers/church-1940.pdf Cité par Joyal dans: https://ncatlab.org/homotopytypetheory/files/Joyal.pdf Voir aussi: https://plato.stanford.edu/entries/type-theory-church/ https://www.cs.cmu.edu/~fp/talks/andrewsfest12.pdf Advertisements

Posted in homotopy type theory, Logique, Philosophie | Tagged , | Leave a comment

Logic matters

http://www.logicmatters.net/categories/ http://www.logicmatters.net/2014/01/06/introducing-homotopy-type-theory/ Plus ceci sur Egbert Rijke, qui est assez jeune pour avoir appris la théorie des types dans HoTT: http://math.andrej.com/2012/08/23/a-hott-thesis/

Posted in ∞-catégories, category theory, homotopy type theory, Logique | Tagged ,

#BrunschvicgAgesIntelligence le préjugé de l’intelligible

C’est le chapitre 1 des “Âgés de l’intelligence”: http://classiques.uqac.ca/classiques/brunschvicg_leon/ages_de_intelligence/brunschvicg_ages_intelligence.doc#c1 La dualité de l’Ouvert, entre monde et plan internel-spirituel, semble inspirée par ce préjugé qui remonte aux peuples primitifs, d’avant la ligne de démarcation des Temps qui est le cartésianisme: “Quand … Continue reading

Posted in Cochet-Brunschvicg, Léon Brunschvicg, Logique, Ouvert : dualité plan vital-plan spirituel, Philosophie, Science-internelle

#HoTT analogie des n-types et des n-catégories

Revenant à l’article séminal de Michael Shulman: http://home.sandiego.edu/~shulman/papers/synhott.pdf il aborde page 9 section 5 (“identification and equivalences “) la notion de n-types qui forment à partir de n= -2 une échelle infinie semblable à la table périodique des n-catégories : … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, Grothendieck, Higher category theory, Higher topos theory, homotopy type theory, Logique, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des ensembles (set theory) | Tagged

“HER” (2013) de Spike Jonze en vf :un très grand film MAIS….

À voir ici: http://www.voirfilms.biz/her-8d1XIYemISI.htm Le voir en vf nous prive de la voix américaine de Scarlett Johansson… La Page sur le film: https://fr.m.wikipedia.org/wiki/Her Dans le “MAIS” du titre tient toute ma réaction, individuelle certes et provoquée par mon histoire et … Continue reading

Posted in Balzac, Bertrand Russell, category theory, Cinéma, Descartes, DIEU, Europe, Grothendieck, Hegel, Heidegger, Higher category theory, Higher topos theory, homotopy type theory, Husserl, Léon Brunschvicg, Leibniz, Littérature-Poésie, Logique, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des topoi (topos theory), Wronski-Messianisme-séhélianisme-Science-internelle | Tagged , , ,

Alain Robbe-Grillet : l’homme qui ment (1968)

À voir ici sur Youtube : Attention , il y a des femmes nues qui se font gifler et malmener , dont il me semble Catherine Robbe Grillet , l’épouse du romancier, pape du Nouveau roman, moins que dans d’autres … Continue reading

Posted in Cinéma, Logique, Philosophie, Science-internelle

De Bolzano aux “Recherches logiques” de Husserl

J’ai acheté dans la collection “Oxford Logic guides” , le livre d’Ettore Casari: “Bolzano’s logical system” Qui est accessible en lecture partielle sur Google: https://henosophiamathesis.wordpress.com/2016/11/06/bolzanos-logical-system/ Un système de logique qui est un des ancêtres de la logique formelle actuelle , … Continue reading

Posted in Cochet-Brunschvicg, DIEU, Husserl, Logique, Ouvert : dualité plan vital-plan spirituel, Philosophie, Science-internelle | Tagged , , , , , , , ,