Daily Archives: October 19, 2017

#HoTT current issues in The philosophy of practice of mathematics and informatic

http://www.cimi.univ-toulouse.fr/cippmi/en/courses Cliquez sur « slides » et vous avez les textes des conférences indiquées sur la page Notamment des cours (5) de Joyal sur les tribus, donc sur la version catégorique de HoTT Advertisements

Posted in Computer science, homotopy type theory, Philosophie mathématique, Science, mathesis

#HoTT : unifying programming and math the dependent type revolution

https://spin.atomicobject.com/2012/11/11/unifying-programming-and-math-the-dependent-type-revolution/

Posted in Computer science, homotopy type theory

Antonioni : Blow up (1966)

En vf https://m.ok.ru/video/297573157517 En vo : https://m.ok.ru/dk?st.cmd=movieLayer&st.discId=327409535736&st.retLoc=default&st.discType=MOVIE&st.mvId=327409535736&st.stpos=rec_4&_prevCmd=movieLayer&tkn=2555#lst# Toute cette humanité n’est elle pas déchue au rang des objets-trophées (l’hélice qu’ achète David Hemmings au début, le morceau de guitare brisée qu’il « conquiert » puis jette lors de l’épisode du concert rock) … Continue reading

Posted in Cinéma | Tagged , ,

Mehdi Belhaj Kacem : Dieu, la mémoire, la techno-science et le MAL

Un livre qui apporte des réponses inédites à une vieille question.. Les animaux pensent, mais seul l’homme pense « Dieu » qui n’est qu’un concept formé par l’être Humain, que le travail de MBK entend repenser. Dieu est identifié par MBK à … Continue reading

Posted in Philosophie | Tagged , ,

Bergman : PERSONA (1966)

Vo sous titres anglais Partie 1: Partie 2: Selon Mehdi Belhaj Kacem le film le plus traumatique de toute l’histoire du cinéma.. et depuis deux siècles et demi l’art est une usine d’images traumatiques

Posted in Cinéma, Philosophie

#BrunschvicgProgresConscience l’Un est la présence d’unité dans une conscience

Sautons d’un trait à la fin prodigieuse du « Progrès de la conscience dans la philosophie occidentale », conclusion de la troisième et dernière partie « l’immanence de la réflexion » de « la conscience religieuse » http://classiques.uqac.ca/classiques/brunschvicg_leon/progres_conscience_t2/brunschvicg_progres_conscience_t2.doc#c23_s3 «  Il faudra donc conclure qu’en dehors de … Continue reading

Posted in DIEU, Léon Brunschvicg, Philosophie, Science-internelle