Formalisation – Philosophes.Org

David Hilbert (1862–1943) : l’architecte des fondements axiomatiques des mathématiques

02/12/2025

Image fictive de David Hilbert, mathématicien allemand, qui ne représente pas le personnage historique réel

INFOS-CLÉSOriginePrusse-Orientale (Allemagne)Importance★★★★★CourantsPhilosophie des mathématiques, formalisme, philosophie analytiqueThèmesaxiomatisation de la géométrie, programme formaliste, espaces de Hilbert, problèmes de Hilbert, fondements des mathématiquesMathématicien et philosophe allemand, David Hilbert incarne la volonté d’établir…

Lire l'article

Lire l'article

7 min

Alfred Tarski (1901-1983) : La logique mathématique et la théorie sémantique de la vérité

03/10/2025

INFOS-CLÉS Nom d’origine Alfred Teitelbaum Origine Varsovie (Pologne) Importance ★★★★ Courants Logique mathématique, Philosophie analytique Thèmes théorie de la vérité, sémantique formelle, axiomatisation, métamathématiques, logique algébrique, géométrie Alfred Tarski incarne…

Lire l'article

Lire l'article

8 min

Philosophies contemporaines

Les Principia Mathematica : la révolution logiciste des mathématiques

29/09/2025

Entre 1910 et 1913, Bertrand Russell et Alfred North Whitehead publient une œuvre qui bouleverse à jamais notre compréhension des mathématiques : les Principia Mathematica. Cette entreprise titanesque de plus…

Lire l'article