Daily Archives: November 26, 2017

Le platonisme phénoménologique d’Albert Lautman

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types:
https://hal.archives-ouvertes.fr/halshs-01122319/document « Les mathématiques constituent la matière la plus proche des Idées « C’ est ce qui cloche dans l’autre…

Posted in Philosophie

Les grands théorèmes démontrés à l’aide de l’ordinateur

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types:
Il n’y a pas que le célèbre « théorème des quatre couleurs » qui ne puisse être démontré qu’avec l’aide…

Posted in Philosophie

André Joyal : notes on tribes and clans

Ces notes, qui sont la version la plus récente, (2017) seront améliorées : https://arxiv.org/pdf/1710.10238.pdf Voir aussi, pour comprendre toute l’importance des travaux de Joyal: https://anthroposophiephilosophieetscience.wordpress.com/2017/10/17/hott-andre-joyal-tribes-and-fibrations/ https://anthroposophiephilosophieetscience.wordpress.com/2017/10/20/hott-le-cours-dandre-joyal-en-cinq-parties-sur-les-tribus/

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