Logique et algèbre de structures mathématiques modales -valentes chrysippiennes

Résumé :


L'ouvrage Logique et Algèbre de Structures Mathématiques modales T-valentes chrysippiennes est l'aboutissement d'un projet utopique qui prend corps en 1982 à Lyon. L'ouvrage propose une alternative à un héritage scientifique colossal de l'humanité : la mise sur pied d'une mathématique bâtie sur la mathématique classique mais qui prétend l'enrichir là où elle est inopérante ! Une mathématique modale, chrysippienne comme la mathématique booléenne, mais T (multi)-valente (mchT).
L'ouvrage propose d'abord le modèle algébrique, l'anneau chrysippien T-valent (achT) de la logique intrinsèque de cette mathématique. Il examine ensuite les problèmes fondamentaux de sa logique propositionnelle. Il construit le modèle ensembliste intrinsèque de cette logique : l'ensemble modal T -valent (em T). Il se met ensuite à faire sur l'em T une mathématique intrinsèque. On met en évidence des êtres mathématiques nouveaux, inconnus dans notre mathématique ancestrale : entiers relatifs modaux T -valents (erm T), erm T résiduels, corps modaux T -valents (cm T).
On apprend à faire une arithmétique modale T-valente avec les ermT... Cet ouvrage est destiné à tout esprit épris de vérité, d'une vérité sans aliénation préalable, et du désir de la rechercher sans parti pris.