TARSKI ALFRED (1902-1983)
De la « définissabilité » aux modèles et à la décision
Après le concept de vérité, Tarski a précisé un autre concept sémantique essentiel, celui de conséquence logique, qui avait été défini pour la première fois par Bolzano, en 1837, pour la langue usuelle. Pour Tarski, en effet, l'« énoncé X suit logiquement des énoncés de la classe K si et seulement si tout modèle de la classe K est aussi un modèle de l'énoncé X ».
Tarski a apporté des renouvellements décisifs dans d'autres domaines de la logique mathématique, et d'abord avec la théorie de la définissabilité, qui revêt deux aspects : d'une part, la théorie syntaxique, qui donne une définition rigoureuse de cette notion et généralise la méthode de Padoa pour l'examen de la dépendance et de l'indépendance des concepts ; d'autre part, la théorie sémantique, liée au problème de la hiérarchie des ensembles et aussi au théorème de l'incomplétude de Gödel. Signalons ensuite les recherches de Tarski sur la théorie générale des modèles, fondée aussi bien sur la logique du premier ordre que sur certaines des généralisations du premier ordre (calcul propositionnel qui admet des formules infiniment longues ; calcul du second ordre opérant sur des ensembles finis). Dans plusieurs travaux, Tarski a étudié la complétude des théories et le problème de la décision ; il a établi la décidabilité et l'indécidabilité de certaines théories mathématiques (en particulier, il a montré que l'algèbre et la géométrie élémentaires sont des théories décidables).
Tarski a toujours accepté sans restriction, comme base de son travail logico-mathématique, la théorie des ensembles et il n'hésitait pas à recourir à des théories très fortes – ce qui lui a donné une liberté que s'interdisaient aussi bien Brouwer et les intuitionnistes que l'école de la métamathématique finitiste (Hilbert). C'est sans doute grâce à cette liberté qu'il a pu développer sa méthode sémantique et relier, dans ses travaux, la théorie des ensembles, la logique, l'algèbre et la topologie.
La suite de cet article est accessible aux abonnés
- Des contenus variés, complets et fiables
- Accessible sur tous les écrans
- Pas de publicité
Déjà abonné ? Se connecter
Écrit par
- Jan SEBESTIK : docteur ès lettres, chargé de recherche au C.N.R.S.
Classification
Pour citer cet article
Jan SEBESTIK. TARSKI ALFRED (1902-1983) [en ligne]. In Encyclopædia Universalis. Disponible sur : (consulté le )
Autres références
-
DÉMONSTRATION THÉORIE DE LA
- Écrit par Jean-Yves GIRARD
- 6 140 mots
- 1 média
...des prédicats ; il s'agit de montrer, par induction sur une démonstration, que tout énoncé démontrable est vrai ; or, c'est un résultat bien connu de Tarski, il n'y a pas de prédicat de vérité pour les énoncés de AP défini dans AP elle-même. Mais, par la propriété de la sous-formule (ou par... -
DISSECTIONS GÉOMÉTRIQUES
- Écrit par Jean-Paul DELAHAYE
- 3 363 mots
- 10 médias
...(Recombiner signifie déplacer les pièces sans les déformer, c'est-à-dire en leur appliquant uniquement des translations, des rotations ou des symétries.) Ce second problème de la quadrature du cercle, formulé en 1952 par le logicien polonais Alfred Tarski (1902-1983), est resté irrésolu moins longtemps... -
EMPIRISME
- Écrit par Edmond ORTIGUES
- 13 324 mots
- 1 média
La thèse de Carnap est plus difficile à exposer. Son auteur la résume ainsi : « Ma conception de la sémantique commence sur la base donnée dans l'œuvre de Tarski mais elle diffère de sa conception par la nette distinction que je trace entre les constantes logiques et les constantes non logiques, et... -
MALTSEV ANATOLI IVANOVITCH (1909-1967)
- Écrit par Gabriel SABBAGH
- 635 mots
Mathématicien soviétique, célèbre pour ses travaux en logique et en algèbre. Les premiers écrits de Maltsev contiennent les idées essentielles d'une bonne partie de son œuvre. Dans son premier et plus célèbre article, Untersuchungen aus dem Gebiete der Mathematischen Logik...
- Afficher les 9 références
Voir aussi
