Archives mensuelles : janvier 2018

Hindley : basic simple type theory

https://mathtrielhighschool.files.wordpress.com/2011/08/number-theory.pdf

Publicités

Dependent type theory

Otto Preminger : « Laura » 1944

Autrement qu'être Mathesis uni∜ersalis Problema Universale Heidegger/Husserl être/conscience : plan vital-ontologique vs plan spirituel d'immanence CLAVIS UNIVERSALIS HENOSOPHIA PANSOPHIA ενοσοφια μαθεσις

En anglais vo:

https://m.ok.ru/dk?st.cmd=movieLayer&st.discId=269918407331&st.retLoc=default&st.discType=MOVIE&st.mvId=269918407331&st.stpos=rec_1&_prevCmd=movieLayer&tkn=6767#lst#

J’ai vu le film fin 1967 au cinéma « Studio de l’Etoile » tout près derrière l’Arc de Triomphe, j’allais avoir quinze ans…

C’est un film fascinant à cause de sa tonalité « orphique » , sensible dans le scénario et la musique obsédante composée par David Raksin à l’époque , Raksin a aussi créé les musiques des films de Minnelli « les ensorcelés »(The bad and The beautiful) en 1952:

https://anthroposophiephilosophieetscience.wordpress.com/2016/08/31/vincente-minnelli-the-bad-and-the-beautiful-les-ensorceles-1952/

Et « Quinze jours ailleurs » (Two weeks in another town) en 1962

https://anthroposophiephilosophieetscience.wordpress.com/2018/01/06/vincent-est-minnelli-two-weeks-in-another-town-1962-vo/

Pour Laura en 1944 Raksin n’y arrivait pas, il avait pris beaucoup de retard et devait absolument fournir la musique pour le lundi. le samedi matin il reçut la lettre d’un avocat l’informant que sa femme demandait le divorce. Or Raksin était , ceci explique peut être cela, follement amoureux de sa femme (cela arrive, même à Hollywood, tous les hommes ne sont pas des « libertins » assoifés de…

Voir l’article original 971 mots de plus

Dieu sans l’être

Autrement qu'être Mathesis uni∜ersalis Problema Universale Heidegger/Husserl être/conscience : plan vital-ontologique vs plan spirituel d'immanence CLAVIS UNIVERSALIS HENOSOPHIA PANSOPHIA ενοσοφια μαθεσις

https://www.erudit.org/fr/revues/ltp/1983-v39-n3-ltp2117/400053ar.pdf

Cette Idée trine de Dieu :

https://anthroposophiephilosophieetscience.wordpress.com/2018/01/16/wronski-le-caractere-trine-de-lidee-de-dieu/

1 unité (loi suprême)

2 dualité (problème universel de l’Ouvert )

3 perfectionnement Infini

n’attend plus que le remplissement des trois cases qui pour le moment sont occupées par des mots, par des Idées , mathématiques.

Pour le 2 c’est déà fait : la dualité se situe entre la catégorie Set, exemple paradigmatique de 1-topos, et Cat exemple paradigmatique de 2-topos

https://anthroposophiephilosophieetscience.wordpress.com/2016/08/22/premiere-pierre-pour-une-nouvelle-science-internelle-mathesis-universalis-lidee-de-lun/

https://ncatlab.org/nlab/show/2-topos

https://ncatlab.org/nlab/show/Cat

https://ncatlab.org/nlab/show/set

La tragédie des religions et de l’Occident est qu’on a ajouté à ces trois Idées ce qui n’est rien moins qu’une Idée, mais une, la forme d’extériorité , l’être, et les philosophes à commencer par Anselme de Cantorbéry ont voulu à toutes forces tirer l’existence de l’Idée au moyen de ce qu’ils appellent l’argument ontologique :

https://fr.m.wikipedia.org/wiki/Argument_ontologique

C’est à dire qu’ils se sont représenté Dieu comme existant , donc comme une Idée accompagnée d’un étant.

Dans l’Idée…

Voir l’article original 37 mots de plus

The 2-dialectica construction