Mathématiques Platoniciennes
Hamming a examiné cinq grandes écoles de pensée sur la nature des mathématiques. Aucune ne s'est avérée entièrement satisfaisante.
L'école la plus ancienne : Platonisme. Platon a soutenu que le monde des idées — y compris les objets mathématiques — est plus réel que le monde physique. Les objets physiques sont des instantiations imparfaites et temporaires de formes parfaites et immuables.
Appliqué aux mathématiques : le nombre 7 n'est pas le chiffre écrit sur une page, pas sept chevaux, pas sept chaises. Le nombre abstrait 7 existe dans un royaume d'idées pures. Il n'a pas d'instantiation physique. Vous n'avez jamais vu, entendu, touché ou senti le nombre 7 lui-même — seulement ses ombres dans le monde physique.
L'observation clé d'Hamming : indépendamment de la notation, 7 est premier. En chiffres romains (VII), en binaire (111), en hexadécimal (7) — la primalité ne dépend pas de la représentation. Cette indépendance-de-la-notation est ce que les platoniciens mettent en avant comme preuve de l'existence indépendante des objets mathématiques.
Formalisme : les mathématiques comme manipulation de symboles
L'école formaliste, associée à David Hilbert, prend la position opposée. Les mathématiques sont un jeu formel : choisissez un ensemble d'axiomes et de règles d'inférence, puis dérivez les théorèmes en appliquant mécaniquement les règles. Les symboles n'ont aucun sens en dehors du système formel.
Selon ce point de vue, les mathématiques sont inventées, non découvertes. Différents systèmes d'axiomes produisent des mathématiques différentes. La géométrie euclidienne et la géométrie non-euclidienne sont toutes deux valides — elles partent d'axiomes différents.
La position d'Hamming : il agit comme un platonicien quand il fait des mathématiques (il a l'impression de découvrir des vérités préexistantes) mais soupçonne que les formalistes ont raison sur les fondations (il n'y a pas de royaume éternel, seulement le jeu formel que nous choisissons de jouer).
Le test pratique d'Hamming pour un résultat mathématique : indépendamment de l'école qui a raison, un théorème prouvé dans un système formel cohérent est fiable. Le débat philosophique n'affecte pas la valeur technique du résultat.
Les Mathématiques et le Monde Physique
En 1960, le physicien Eugene Wigner a publié un essai intitulé « L'efficacité déraisonnable des mathématiques dans les sciences naturelles ». La thèse : les mathématiques développées par les mathématiciens purs pour des raisons purement abstraites s'avèrent décrivant la réalité physique avec une précision étonnante.
Exemples qu'Hamming cite :
- Les équations de Maxwell : dérivées de l'élégance & la symétrie mathématiques pures, elles ont prédit les ondes électromagnétiques — et spécifiquement, la vitesse de la lumière — avant toute vérification expérimentale.
- La géométrie riemannienne : développée par Bernhard Riemann dans les années 1850 en tant que mathématiques pures, sans aucune application physique à l'esprit. Einstein l'a utilisée 60 ans plus tard comme cadre mathématique pour la relativité générale.
- La mécanique quantique : construite sur les espaces de Hilbert, les algèbres d'opérateurs & la théorie des groupes — tous développés indépendamment par les mathématiciens pour des raisons abstraites.
Pourquoi les mathématiques développées dans l'esprit, pour des raisons purement esthétiques, devraient-elles décrire la réalité physique avec une telle précision ? Ni les platoniciens ni les formalistes n'ont une réponse entièrement satisfaisante.
Évaluation de l'Énigme de Wigner
L'observation de Wigner est frappante, mais elle peut être remise en question. Pas toutes les mathématiques qui sont développées s'avèrent utiles — seulement les mathématiques qui finissent par décrire quelque chose survivent dans l'histoire de la physique. Peut-être que l'effet de sélection fait le travail.
Plus Abstrait = Plus Largement Applicable
Hamming a fait une affirmation contre-intuitive : plus un outil mathématique est abstrait, plus il s'applique largement.
Mathématiques concrètes : la formule pour l'aire d'un rectangle spécifique. S'applique à une seule forme.
Mathématiques abstraites : l'algèbre linéaire sur un corps. S'applique à la mécanique quantique, aux graphiques informatiques, à l'économie, à la compression de données, à l'analyse des circuits, aux statistiques — tout domaine où les vecteurs et les transformations linéaires se posent.
Pourquoi ? L'abstraction élimine le contenu spécifique au domaine, ne laissant que la structure. Deux systèmes ayant la même structure obéissent aux mêmes théorèmes, même si l'un implique des champs électriques et l'autre des distributions de probabilité.
Mathématiques universelles : Hamming a noté que toute civilisation capable de communication interstellaire doit avoir développé les mêmes mathématiques. La raison : les mathématiques tirent leurs théorèmes des axiomes via la logique, et la logique semble universelle. Le nombre 7 est premier dans n'importe quelle notation parce que la primalité est une propriété structurelle, pas une propriété notationelle.
La Valeur de l'Abstraction
L'histoire des mathématiques contient de nombreux exemples de structures abstraites développées sans aucune application à l'esprit qui se sont avérées être des outils essentiels en physique ou en ingénierie.