Archives mensuelles : juin 2015

Crescendo dans l’horreur islamique : la dernière vidéo de DAESH

Crescendo dans l’horreur islamique : la dernière vidéo de DAESH.via Crescendo dans l'horreur islamique : la dernière vidéo de DAESH.

Publicités

Alexandra Laignel-Lavastine : la pensée égarée

HENOSOPHIA τοποσοφια μαθεσις υνι√ερσαλις οντοποσοφια

http://www.lefigaro.fr/vox/societe/2015/06/27/31003-20150627ARTFIG00121-alexandra-laignel-lavastine-face-a-l-islamisme-certains-intellectuels-progressistes-sont-dangereux.php

La « trahison des clercs » c’est la déconstruction, qui commence dés 1945 avec la malhonnêteté intellectuelle de Sartre.

Et maintenant nous en sommes au point que les nouveaux nazis trouvent leurs défenseurs chez les « progressistes » comme Todd, Plenel et toute la bande…

Le seul antidote c’est la rigueur intellectuelle de la « philosophie mathématique », ou idéalisme mathématisant.

View original post

Network de Sidney Lumet (1976) : « The world is a business » (le monde est une affaire)

HENOSOPHIA τοποσοφια μαθεσις υνι√ερσαλις οντοποσοφια

Voici la vidéo de cette scène magistrale, où le businessman Arthur Jensen prêche son « évangile » et enrôle le journaliste vedette Howard Beale:

The world is a business

Le texte de ce discours est ici (en anglais):

https://en.m.wikiquote.org/wiki/Network_(film)

« Arthur Jensen: You have meddled with the primal forces of nature, Mr. Beale, and I won’t have it! Is that clear?! Do you think you’ve merely stopped a business deal? That is not the case. The Arabs have taken billions of dollars out of this country, and now they must put it back! It is ebb and flow, tidal gravity! It is ecological balance! You are an old man who thinks in terms of nations and peoples. There are no nations. There are no peoples. There are no Russians. There are no Arabs. There are no third worlds. There is no West. There is only one holistic system of systems, one vast…

View original post 420 mots de plus

Morphismes géométriques et 2-catégorie Topos des topoi comme cadre général de nos travaux

Répétons donc le schéma général auquel nous sommes parvenus hier, voir:

https://mathesisuniversalis.wordpress.com/2015/06/23/retour-a-ou-detour-par-la-triade-des-elements-primitifs-de-wronski/

Rappelons que nous y arrivons en tentant d’intégrer ce que le mathématicien-philosophe Hoené Wronski (1776-1853) appelle « élément neutre » comme identité primitive du savoir et de l’être.
Le développement progressif du savoir mathématique et scientifique est ce que nous appelons aussi unification progressive des connaissances humaines véritables (rationnelles, vérifiables ou réfutables) , l’être est ce que Brunschvicg et Marie Anne Cochet appellent la « forme d’exteriorité ». L’élément neutre est alors ce que la métaphysique traditionnelle nomme l’Un. Mais nous nous refusons, pour des raisons tant de fois évoquées, à envisager l’Un transcendant ou « séparé » qui serait l’Un « séparé » de l’activité de connaissance et d’unification humaine; cet « Un séparé » est celui du « Shema Israël » dans la Torah.
Nous voulons donc examiner cet « Un », ou élément-neutre, sans quitter le plan mathématique de l’idée pour celui de la mystique ou de la croyance, et nous arrivons ainsi au schéma fonctoriel:

U : E —————-> S

Où E et S sont deux catégories, qui seront généralement des topoi, à cause des bonnes propriétés dont jouissent ces types de catégories, et où U est un foncteur.

E, qui désigne l’élément-être, sera en général le topos des Ensembles.

Nous savons alors qu’un foncteur contravariant :

S ——————> E

est appelé en mathématiques un prefaisceau, et qu’avec quelques conditions il est un faisceau.

Les préfaisceaux sur S c’est à dire tous les foncteurs de cette sorte forment un topos, et c’est aussi le cas des faisceaux (les noms anglais sont « presheaves » et « sheaves ») en prenant pour morphisme sur entre deux foncteurs les « transformations naturelles » (je reviendrai sur ces notions de base dans des articles spécialement dédiés).

Voir là dessus les pages du nLab:

Presheaf in NLAB

ou en français la page Wikipedia qui commence par un cas spécial de préfaisceau, défini sur un espace topologique:

https://fr.m.wikipedia.org/wiki/Préfaisceau

(Si vous n’êtes pas familier de ces notions, pas la peine de tout lire en détail, nous y reviendrons souvent, contentez vous de savoir que les préfaisceaux en tant que foncteurs rentrent dans notre schéma).

Je rappelle ici que David Rabouin, dans son article sur le cadre mathématique de « Logiques des mondes » de Badiou, termine sa conclusion en insistant sur l’importance cruciale de ces objets : les faisceaux. Voir là dessus:

https://mathesisuniversalis2.wordpress.com/2015/06/10/objet-relation-et-transcendantal-le-formalisme-de-logiques-des-mondes/

Mais complexifions un peu notre schéma général : pour des considérations de symétrie nous pouvons examiner le cas de deux foncteurs en sens inverse entre les deux topoi E (qui est le topos des Ensembles) et S (qui est un topos avec plus de structure, qui pourra par exemple être un topos de faisceaux).

Si en plus nous exigeons que ces deux foncteurs soient en situation d’adjonction, ce qui est normal car l’adjonction de foncteurs est assurément la notion la plus importante de la théorie des catégories.

Nous obtenons alors la notion de morphisme géométrique, voir:

http://ncatlab.org/nlab/show/geometric+morphism

à laquelle j’ajoute la page sur les morphisme sur géométriques locaux:

http://ncatlab.org/nlab/show/local+geometric+morphism

mais c’est juste pour en garder trace, je reviendrai sur tout cela, et j’expliquerai soigneusement toutes les procédures que je mettrai en oeuvre, pas besoin de lire tout cela dès aujourd’hui : encore une fois ce n’est pas un blog mathématique mais philosophique-religieux, et ici pas de prières ni autres bondieuseries, nous utilisons la mathématique pour progresser à notre rythme vers le Bien, qui commence par l’honneteté et la rigueur de la pensée.

« Tous les topoi » accompagnés des morphismes géométriques entre eux forment la catégorie Topos dont la page est ici sur le nLab:

La 2-catégorie Topos

C’est plus qu’une catégorie : une 2-categorie.

Les objets sont « tous les topoi », les flèches (ou morphismes) sont les morphismes géométriques, et les 2-morphismes, flèches entre les morphismes géométriques, sont les « transformations géométriques »:

http://ncatlab.org/nlab/show/geometric+transformation

Tout cela nous mène aussi vers la « Higher topos theory » de Jacob Lurie, le nouveau Grothendieck, voir:

Jacob Lurie continuateur de Grothendieck

et nous ne serons pas longs à gravir les premières pentes de cette Montagne sacrée de près de mille pages.