banniere-pages

Accueil | Mathématiques / Logique

Mathématiques / Logique

#
Ramanujan

Nous étudions ici le raisonnement mathématique plus que les mathématiques elles-mêmes. Nous pensons contrairement à Wittgenstein que les mathématiques ne sont pas une suite de tautologies, mais bien plutôt une suite d’identifications. C’est la différence qu’il y a entre dire qu’un théorème mathématique se réduit à a=a et dire qu’il se réduit à a-a’ dans le sens: a est identifié à a’.

Cela a plusieurs conséquences. La première c’est que puisque nous avons postulé que la logique est une construction à partir de ce genre d’identifications (a-a’), ce fait signifie que les mathématiques sont les identifications elles-mêmes et donc les mathématiques sont le raisonnement. La seconde est qu’on peut alors expliquer comment un savoir tend à croître, par une succession d’identifications, de manière imaginaire (car on ne fait en fin de compte qu’identifier l’identifiable). On assistera donc de manière régulière a un effondrement de ce savoir, qui fonctionne comme une bulle (au moment où notre compréhension ramène le réseau des identifications à ce qu’il est, à savoir un réseau d’identifications).

Métriques d’Einstein-Kahler

10 octobre 2017

Métriques d’Einstein-Kahler sur des variétés à première classe de Chern positive : le problème de l’existence d’une métrique d’Einstein-Kahler sur une variété kahlérienne V a déjà été très étudié et […]

Energie, symétrie conforme et topologie

22 septembre 2017

Cet article en français présente et résume un article en anglais qui est sur le site et qui a pour titre : Conservation of energy and Gauss Bonnet gravity. Le […]