Le miroir souverain

« Nous sommes d’incorrigibles hérésiarques, l’hérésie nous fascine, elle nous façonne. » (Dominique Autié - R.I.P.)

 Tombe de Kurt et Adele Gödel (Princeton, NJ, USA)

 

J’ai finalement décidé de proposer la traduction, en appendice à la Gibbs lecture, d'une note de Gödel (parmi de nombreuses autres) biffée du manuscrit original, et dont la position exacte dans le texte définitif ne peut être déterminée avec certitude. Malgré les lacunes ([?]), elle présente, je pense, un intérêt en soi.

 

* 

 

On pourrait demander : n’est-il pas suffisant que le caractère tautologique des mathématiques suive de la vérité des mathématiques ? Ceci semble signifier que les mathématiques doivent être soit rejetées soit considérées comme tautologiques. Mais il est possible de répondre deux choses à cette objection.

1. Quant à ces parties des mathématiques qui nécessitent des concepts abstraits pour leur démonstration de consistance (Cf. note [?]) la condition énoncée en page [?] (qui est nécessaire pour que le système sémantique soit justifiable) n’est pas satisfaite du tout, puisque la vérité des axiomes mathématiques ne suit pas des seules règles sémantiques, mais uniquement de ces règles et de certaines propriétés de concepts abstraits qui n’ont rien à voir avec la sémantique (au contraire, si le point de vue sémantique était correct ce sont précisément ces concepts qui auraient d’abord été réduits à la sémantique. Mais si l’on essaie de le faire, alors les substituts sémantiques ne peuvent représenter ces concepts abstraits et ce, nécessairement, ainsi qu’on l’a expliqué).

2. En ce qui concerne les sous-systèmes de la théorie des nombres (Cf. note [?]) il est à remarquer que ce n’est pas le caractère tautologique qui peut être démontré mais seulement l’existence d’une interprétation tautologique qui n’exclut pas l’existence d’autres interprétations. En conséquence, une autre exigence nécessaire du point de vue sémantique serait dans ce cas que l’interprétation tautologique au moins soit suffisante pour tous les objectifs. Mais ce n’est précisément pas le cas puisque pour la construction même de l’interprétation tautologique l’interprétation intuitive (référée aux symboles) est présupposée ; l’interprétation tautologique n’est en aucun cas seulement une [?] de l’interprétation intuitive, car bien que les deux soient en accord du point de vue de l’extension, i.e. rendent vraies les même propositions, dans la seconde nous considérons sans aucun doute les mathématiques comme aussi objectives que la physique.]

On pourrait demander : n’est-il pas suffisant au moins [?] une réfutation du réalisme que le caractère tautologique des mathématiques puisse être conclu des mathématiques elles-mêmes ? Cette inférence, bien que non contraignante pour les nominalistes qui doivent laisser en suspens la validité des mathématiques jusqu’à ce qu’ils parviennent à la dériver sur la base de leurs présuppositions philosophiques, doit être reconnue au moins par les réalistes et donc les conduire à l’auto-contradiction. Cette conclusion serait correcte si « tautologie », ici, signifiait réellement « vide de contenu ». Ce terme signifie néanmoins (par définition) [[deux choses]]. 1. que les mathématiques, dans un langage approprié, suivent des règles syntaxiques de ce langage et 2. que ces règles n’ont pas de conséquences dans le domaine de la réalité spatio-temporelle. Mais ce dernier énoncé ne signifie « vide de contenu » que si (à l’aide d’une petitio principii) fait est identifié à fait empirique. Mais le premier énoncé (si « règle syntaxique » est compris dans le sens général donné par la note [?]) peut aisément être valide pour toute théorie (ou système de propositions) que l’on sait (ou considère) être vrai du moment que le langage est défini (sauf que s’il y a trop d’assertions indépendantes dans cette théorie leur incorporation en tant que règles syntaxiques rendrait le langage intolérablement compliqué)]] qu’il existe un langage dans lequel les mathématiques sont vides de contenu dans la mesure où elles dérivent des règles de la syntaxe.

Ceci représente cependant bien peu puisque la division des propositions vraies entre celles qui sont exprimées par les règles syntaxiques et celles auxquelles on arrive par voie de définition dém. [onstrative ?] est arbitraire sauf que les premières 1. doivent être connues (au moins par les principes desquelles elles dérivent) au moment où le langage est construit, et 2. doivent être suffisamment déconnectées des deuxièmes pour éviter un conflit entre deux classes de règles. En conséquence, si par exemple toute vérité astronomique devait dériver de quelques axiomes, et qu’il n’y avait de plus aucune corrélation entre les directions dans le ciel et sur la terre, alors les axiomes de l’astronomie pourraient être incorporés comme règles syntaxiques et les définitions dém. [onstratives ?] seraient restreintes aux objets terrestres. On rendrait ainsi l’astronomie tautologique. Néanmoins, ceci n’impliquerait aucune perte de savoir astronomique mais juste un changement dans l’interprétation de l’astronomie. Cette procédure réussirait encore mieux pour l’astronomie que pour les mathématiques parce que l’astronomie elle-même ne serait pas nécessaire pour justifier les règles syntaxiques par leur consistance. Il est vrai que dans le cas des mathématiques cette représentation par règles syntaxiques (si cela est fait selon [?] Ramsey, Cf. note [?]) est particulièrement aisée et pour ainsi dire « naturelle ». Il est donc justifié de conclure qu’il y a une grande proximité entre les mathématiques et le langage. A la lumière des faits présentés dans cette conférence, on pourrait de plus conclure non pas que les mathématiques sont une excroissance du langage, mais plutôt que le langage n’est possible que grâce aux mathématiques.