Des hypothèses aux preuves : naissance de la rationalité mathématique

Intervenant 10:00

Bonjour et bienvenue dans le podcast du magazine Tangente. Alors, et si les règles mathématiques que vous avez apprises à l'école n'étaient pas des vérités absolues ? Ah ça ! Mais plutôt de simples illusions bien pratiques en fait. C'est une excellente question. Bonjour. Donc aujourd'hui, on plonge dans les sources de l'article « L'origine de la rationalité ». On va décortiquer comment la Grèce antique a forgé la méthode logique qui structure encore notre pensée aujourd'hui.

Intervenant 20:30

Tout à fait. C'est vraiment un carrefour historique où on voit la démocratie, la philosophie et bien sûr la rigueur mathématique qui s'unissent.

Intervenant 10:38

C'est ça. Mais concrètement, comment on est passé de débats purement philosophiques à un système mathématique aussi rigoureux ? Parce que l'article pointe directement vers Platon, non ?

Intervenant 20:48

Ouais, vers Platon, dans la République plus précisément. En fait, on y trouve Socrate qui explique à Glaucon comment travaillent les géomètres.

Intervenant 10:57

D'accord.

Intervenant 20:58

Et c'est là vraiment la naissance de la pensée hypothético-déductive. Il explique que les mathématiciens partent d'hypothèses de départ, des trucs qu'ils considèrent comme évidents, et ils utilisent ensuite la logique pour aboutir à une démonstration irréfutable.

Intervenant 11:14

Ok, donc on pose les bases et on déroule.

Intervenant 21:16

Voilà. Et Socrate précise un point vraiment capital, c'est que ces figures géométriques, elles sont absolues.

Intervenant 11:23

C'est-à-dire ?

Intervenant 21:24

Elles ne sont accessibles que par la pensée, indépendamment de leurs tracés imparfaits dans la réalité matérielle.

Intervenant 11:31

Ah, je vois. Donc l'idée pure prime sur la matière, en gros. Et vers 300 avant Jésus-Christ, cette méthode va être vraiment gravée dans le marbre avec les éléments d'Euclide.

Intervenant 21:42

C'est ça, oui. 13 livres au total.

Intervenant 11:44

13 livres, ouais, qui structurent cette pensée en définition, postulat et axiome. Je crois que le livre 5 s'appuie d'ailleurs pas mal sur les travaux d'un certain Eudox.

Intervenant 21:54

Exactement.

Intervenant 11:55

Du coup, si je fais une analogie un peu moderne, est-ce que les éléments, c'est pas en quelque sorte le code source initial de la logique humaine ?

Intervenant 22:03

Ah, j'aime bien,

Intervenant 12:04

ouais.