Est-ce que les mathématiques sont intrinsèquement le langage de l'univers ou est-ce qu'elles sont le langage des hommes pour comprendre l'univers ? Galilée et Kant ont chacun leur réponse.

Réponse publiée sur Quora

C’est le langage des être intelligents[1] pour décrire l’Univers. Le comprendre est une autre histoire…

Et le débat est bien plus ancien que Galilée et Kant, il remonte au moins à Platon / Aristote.

L’objection au platonisme qui prétend que les idées, et donc les maths existent quelque part est simple : où elles sont ? Et comment elles disent à l’Univers comment il doit se comporter ?

Il me restait encore des traces de vernis platonicien il y a quelques années, elles ont été décapées en lisant un bouquin de Smolin[2] .

J’ai écrit plus haut “Le comprendre est une autre histoire” car tout comme la littérature permet d’exprimer des choses qui n’existent pas, les maths permettent aussi d’exprimer des choses, voire des univers entiers qui n’existent pas.[3]

Encore un argument contre Platon : comment l’Univers saurait-il quelles solutions d’une équation peuvent exister et lesquelles ne peuvent pas ?

En réalité il y a bien plus de 2 alternatives en Philosophie des mathématiques . Personnellement je suis plutôt Formaliste , dans la mesure où cette approche a sorti les maths du pétrin (ou même pire…) au début du 20ème siècle[4] , qu’elles vont dans le sens de définir vraiment les maths comme un langage que les machines peuvent comprendre et vérifier .

Notes de bas de page

[1] Comment comptent les Extraterrestres - Pourquoi Comment Combien

[2] La Renaissance du Temps 1/2 - Pourquoi Comment Combien

[3] Solutions admissibles - Pourquoi Comment Combien

[4] Logicomix, la révolution de la logique en BD - Pourquoi Comment Combien