Daily Archives: September 30, 2017

Un article de Francis Warrain sur la loi de création de Wronski dans Hermès numéro 3 1937

On peut le lire dans Scribd ou le télécharger ici: https://documents.tips/documents/hermes-ii-no-3-mars-1937.html Advertisements

Posted in Philosophie, Wronski-Messianisme-séhélianisme-Science-internelle | Tagged ,

Help with #HoTT

C’est ici : https://math.stackexchange.com/questions/522239/where-to-get-help-with-homotopy-type-theory A noter le cours d’Awodey sur les catégories : Ainsi que cette conférence d’Awodey sur Mac Lane (fondateur avec Eilenberg de la théorie des catégories en 1945, ou 1942) et Rudolf Carnap : Steve Awodey est … Continue reading

Posted in category theory, Higher category theory, homotopy type theory, Philosophie mathématique | Tagged , ,

Société française de philosophie : conférences en téléchargement

http://www.sofrphilo.fr/activites-scientifiques-de-la-sfp/conferences/grandes-conferences-en-telechargement/

Posted in Philosophie

L’événement dans la philosophie de Léon Brunschvicg : entre fatalisme et histoire

Rester conscient de cet avertissement en note 1: “1 Il faut préciser que cette expression de philosophie de l’événement ne vient pas de Brunschvicg, mais de nous. Elle vise à unifier les projets des différents penseurs mentionnés ci-dessus. En vérité, … Continue reading

Posted in Alain Badiou, Léon Brunschvicg, Philosophie, Philosophie mathématique | Tagged , ,