Tarski Alfred

En 1933, Alfred Tarski publie un article qui donne au concept de vérité en mathématiques une formulation rigoureuse. Une question philosophique devient ainsi l’objet d’un travail mathématique précis.

Ce projet jette les bases de sa théorie sémantique des modèles. Tarski ne s’est toutefois pas limité à cette question : ses recherches portent aussi sur la décidabilité, les fondements de la logique formelle et l’algèbre des relations.

Alfred Tarski (1901–1983) est un logicien et philosophe polonais, considéré comme l’un des fondateurs de la logique mathématique moderne. Né à Varsovie sous le nom de Teitelbaum dans une famille d’origine juive, il change de patronyme et se convertit au catholicisme en 1923. À l’université de Varsovie, il passe d’études orientées vers la biologie à la logique, sous l’influence de Leśniewski, Łukasiewicz, Sierpiński et Mazurkiewicz. Il soutient en 1923 un doctorat consacré à la théorie des ensembles.

En 1924, il publie avec Banach le résultat appelé paradoxe de Banach-Tarski : en admettant l’axiome du choix, ce théorème contre-intuitif affirme que la boule solide de R³ peut être décomposée en un nombre fini de morceaux non mesurables, puis que ces morceaux peuvent être déplacés par des isométries et réassemblés pour former deux copies congruentes à la boule initiale. En 1933, il propose la première formalisation rigoureuse du concept de vérité en mathématiques. Cet article fondateur pose les bases de sa théorie sémantique des modèles. Ses autres contributions majeures concernent la décidabilité des théories mathématiques, les fondements de la logique formelle et l’algèbre des relations.

Sa notoriété devient internationale à partir de 1929, et il rencontre notamment Gödel à Vienne. Présent aux États-Unis lorsque la Seconde Guerre mondiale commence en 1939, il s’y établit définitivement. Il obtient en 1942 un poste à l’université de Berkeley, où il enseigne jusqu’à la fin de sa vie. Il est reconnu comme l’un des quatre plus grands logiciens de l’histoire, avec Aristote, Frege et Gödel. La frise chronologique associée permet de distinguer les dates de ses publications, de ses déplacements et de sa carrière.

Pour rendre concret le fil de l’article de 1933, prenons un exemple élémentaire qui n’en reproduit pas la démonstration : l’énoncé « 2 + 2 = 4 ».

1. « 2 + 2 = 4 » appartient au langage mathématique que l’on étudie : c’est l’énoncé dont on veut parler.

2. La phrase « l’énoncé “2 + 2 = 4” est vrai » ne calcule plus : elle décrit le premier énoncé. Elle appartient au métalangage, c’est-à-dire au langage employé pour parler du langage étudié.

3. On peut refaire le tri avec « 3 + 1 = 4 » : l’égalité reste dans le langage étudié, tandis que toute phrase qui affirme sa vérité relève du langage qui le décrit.

Ce mini-cas montre l’opération à retenir : fixer le langage étudié, puis employer un métalangage pour parler de la vérité de ses énoncés. Cette distinction rend plus concrète la formalisation associée à l’article de 1933 et à la théorie sémantique des modèles.

Pour situer Tarski dans l’histoire de la logique, on peut repérer deux jalons : le théorème publié avec Banach en 1924 et l’article sur la vérité en 1933. Le premier jalon convient lorsqu’on étudie la décomposition d’une sphère ; le second lorsqu’on s’intéresse à la sémantique et aux modèles.

Pour lire une référence à ses travaux, le thème donne le bon point d’entrée. Une mention de décidabilité renvoie aux théories mathématiques ; une mention de relations renvoie à l’algèbre des relations, et non au paradoxe de Banach-Tarski.

Pour replacer sa carrière, on distingue enfin Varsovie, où il étudie et obtient son doctorat, des États-Unis, où il s’installe en 1939 avant d’enseigner à Berkeley à partir de 1942.

Alfred Tarski et le paradoxe de Banach-Tarski. Tarski est le logicien ; le paradoxe est un résultat publié avec Banach en 1924. Une biographie qui évoque Varsovie ou Berkeley concerne la personne, tandis qu’une décomposition de sphère concerne le théorème.

La formalisation de la vérité et l’ensemble de l’œuvre de Tarski. L’article de 1933 est une contribution majeure, mais il n’épuise pas ses recherches. La décidabilité, la logique formelle ou l’algèbre des relations signalent d’autres pans de son œuvre.

Le mot « paradoxe » ne décrit pas ici toute la démonstration. La source présente le résultat comme un théorème contre-intuitif, mais elle n’en donne ni les hypothèses détaillées ni la construction. Pour étudier son mécanisme, il faut consulter la fiche consacrée au théorème plutôt que compléter le récit par intuition.

Une date ne doit pas absorber les événements voisins. L’année 1923 réunit un changement de patronyme, une conversion et l’obtention du doctorat ; 1924 correspond à la publication avec Banach. Les fusionner ferait disparaître la chronologie donnée.

La notoriété n’est pas une date de découverte. La reconnaissance internationale s’affirme à partir de 1929, tandis que l’article sur la vérité paraît en 1933. Le premier repère concerne la réception de Tarski, le second une publication précise.

La biographie ne suffit pas à exposer chaque théorie. Elle identifie les domaines de contribution sans fournir leurs définitions complètes. Il faut donc conserver la portée biographique de ces mentions et suivre les prolongements dédiés pour approfondir.

Théorème de Banach-Tarski — Pour approfondir le résultat contre-intuitif publié par Banach et Tarski en 1924.

Gödel Kurt — Pour situer le logicien rencontré par Tarski à Vienne parmi les grandes figures de la logique.