Category Archives: Logique

Maurice Blanchot : l’instant de ma mort ( encyclopédie sur la mort)

http://agora.qc.ca/thematiques/mort/documents/linstant_de_ma_mort voici le texte : http://www.deligne.eu/traverses/maurice-blanchot.html Advertisements

Posted in Littérature-Poésie, Logique, Merde in France, Philosophie, Science-internelle

Isham et Doering :a topos approach to the formulation of physical theories

C’est un travail joint d’Isham et Doering qui a révolutionné la physique il y a dix ans, mais il en existe deux exposés, par chacun des deux auteurs : http://www-lmpa.univ-littoral.fr/CT08/slides/Doering.pdf Et, par Isham : http://www.cs.ox.ac.uk/people/bob.coecke/Isham.pdf Je suivrai, dans cet article … Continue reading

Posted in category theory, Logique, Philosophie, Physique, Quantum mechanics, Science, mathesis, Science-internelle, string theory, Théorie des ensembles (set theory), Théorie des topoi (topos theory), topos physics

Olivia Caramello : the theory of topos-theoretical bridges- a conceptual introduction

The Theory of Topos-Theoretic ‘Bridges’—A Conceptual Introduction   Les topos vus comme « ponts », comme élément d’unification, c’est un cadre qui a été inventé par Olivia Caramello : https://sites.google.com/site/logiquecategorique/autres-seminaires/ihes/ihestopos/cours/20151124-caramello https://www.oliviacaramello.com/Talks/TheoryToposTheoreticBridgesFiveYearsLaterCaramello.pdf https://www.oliviacaramello.com/Unification/ToposTheoreticPreliminariesOliviaCaramello.pdf http://www.math.unipa.it/~ngambino/Workshop/Caramello.pdf   J’avais commencé à étudier ces travaux … Continue reading

Posted in category theory, Grothendieck, Logique, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des topoi (topos theory), topos physics

La revue « Contrelittérature » : Hérésiarques et Cie

http://www.contrelitterature.com/archive/2019/05/09/revue-contrelitterature-le-retournement-6149667.html   avec un article de José Dupré : « Dualité radicale de cet univers », et un article de Basarab Nicolescu sur Stéphane Lupasco qui était pour Brunschvicg un penseur de la stature de Hegel http://mireille.chabal.free.fr/lupasco. http://dominique.temple.free.fr/reciprocite.php?page=reciprocite_2&id_article=192 La logique … Continue reading

Posted in Littérature-Poésie, Logique, Philosophie, Physique, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory), topos physics

La théorie des topoi et la physique (topos physics)

Le Saint Graal cherché ici sous le nom (qui n’est pour le moment qu’un pur nom) de « monde véritable » sera donc une unification de la physique microcosmique de l’infiniment petit ( la physique quantique ) et de l’infiniment … Continue reading

Posted in Categorical quantum mechanics, category theory, Logique, Physique, Quantum mechanics, Science, mathesis, Science-internelle, Théorie des topoi (topos theory), topos physics

#HoTT Homotopy type theory la nouvelle fondation des mathématiques du 21eme siècle

Cet article trace le parallèle entre le livre « Homotopy type theory Univalent foundations »: https://aperiodical.com/2013/06/homotopy-type-theory-a-new-foundation-for-21st-century-mathematics/ The HoTT Book Et les « Principia mathematica » de Whitehead et Russell, qui fonde les mathématiques du siècle dernier, et qui est ici : https://quod.lib.umich.edu/u/umhistmath/aat3201.0001.001/23?view=image&size=100 (En forme … Continue reading

Posted in Bertrand Russell, Computer science, EHTT, homotopy type theory, Logique, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle

Adding epsilon to intuitionnistic logic

https://www.researchgate.net/profile/Corey_Mulvihill/publication/317952409_Buying_Logical_Principles_with_Ontological_Coin_The_Metaphysical_Lessons_of_Adding_Epsilon_to_Intuitionistic_Logic/links/5952b843458515a207f7e84a/Buying-Logical-Principles-with-Ontological-Coin-The-Metaphysical-Lessons-of-Adding-Epsilon-to-Intuitionistic-Logic.pdf?origin=publication_detail https://philarchive.org/archive/DEVBLP http://virthost.vub.ac.be/lnaweb/ojs/index.php/LogiqueEtAnalyse/article/view/1237/1026 https://philarchive.org/archive/MULEAA http://www.collegepublications.co.uk/downloads/ifcolog00011.pdf https://ncatlab.org/nlab/show/choice+operator https://www.iep.utm.edu/ep-calc/

Posted in Logique, Philosophie, Science-internelle