Category Archives: Philosophie

Premier contact (2016) : les humains, comme les toxicomanes chez Ernst Junger portent La Croix du temps!

Originally posted on Henosophia Léon BRUNSCHVICG et la philosophie Μαθεσις Universalis:
le film peut être vu ici en vf : https://m.ok.ru/video/216015440503 Cet article de l’an dernier à son sujet: https://anthroposophiephilosophieetscience.wordpress.com/2016/12/16/premier-contact-arrival-2016-excellent-et-important/ ? En fait ce que les extraterrestres apportent à l’humanité…

Posted in Cinéma, Cochet-Brunschvicg, Léon Brunschvicg, Ouvert : dualité plan vital-plan spirituel, Philosophie, Physique, Science, mathesis, Science-internelle | Leave a comment

Impredicative Encodings of Inductive Types in HoTT

Originally posted on Homotopy Type Theory:
I recently completed my master’s thesis under the supervision of Steve Awodey and Jonas Frey. A copy can be found here. Known impredicative encodings of various inductive types in System F, such as the…

Posted in Philosophie | Leave a comment

The Morita model structure on Cat

Originally posted on Dreaming of mathematics:
There is a well-known model structure on Cat where the weak equivalences are the categorical equivalences, i.e. the functors that are fully faithful and essentially surjective on objects, the cofibrations are the functors that…

Posted in Philosophie | Leave a comment

Quentin Meillassoux : l’inexistence divine

« L’inexistence divine » est la thèse de Quentin Meillassoux, soutenue en 1997: http://www.theses.fr/1997PA010510 Elle peut être lue sur Scribd et commence par : « De l’inexistence de Dieu s’infère un monde suffisamment insensé pour que Dieu même puisse s’y produire » cette pensée … Continue reading

Posted in ∞-catégories, DIEU, Philosophie, Science-internelle | Tagged | Leave a comment

Quentin Meillassoux

Originally posted on Hypokeimenon:
Quentin Meillassoux, né en 1967 est un philosophe français. Normalien, agrégé de philosophie, il est actuellement agrégé-répétiteur à l’École normale supérieure de la rue d’Ulm. Fils de l’anthropologue Claude Meillassoux, Quentin Meillassoux naît à Paris en…

Posted in Philosophie | Leave a comment

#HoTT : Heller homotopy theories

https://pdfs.semanticscholar.org/1b1c/8539a6f77b6b942bb4e64515526e39109f90.pdf Fait partie des documents indiqués par Joyal: http://www.crm.cat/en/Activities/Documents/joyal-crm-2013.pdf

Posted in Philosophie | Tagged , | Leave a comment

New Foundations: Towards Tribal Unity

Originally posted on Fewer Lacunae:
Part Of: Principles of Machine Learning sequence Followup To: Five Tribes of Machine Learning Content Summary: 1700 words, 17 min read Overview In Five Tribes of Machine Learning, I reviewed Pedro Domingos’ account of tribes…

Posted in Philosophie | Leave a comment