Category Archives: Logique

#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

Mieville : l’ontologie de Lesniwski

https://core.ac.uk/download/pdf/20662251.pdf https://doc.rero.ch/record/29208/files/00002255t.pdf https://plato.stanford.edu/entries/lesniewski/ https://dspace.ucalgary.ca/bitstream/handle/1880/46697/Urbaniak_2008.pdf;jsessionid=7997796B8284FE062A6CF7A121FCD721?sequence=1

Posted in Logique, Philosophie

Le nouveau schème Idées (divines, Intelligibles)/idées (humaines)

Avant le récent changement de paradigme, les Idées étaient vues comme étant d’origine humaine, y compris la plus importante d’entre elles, l’Idée de Dieu. Le caractère intelligible des Idées était identique à leur nature mathématique. Mais qu’était la mathématique dans … Continue reading

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

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