Né le 14 janvier
1901 à Varsovie, Pologne
Décédé le 26 octobre 1983 à Berkeley, Californie, USA
Alfred Tarski est
un logicien et un mathématicien polonais
Son directeur de thèse : Stanislaw Leśniewski
Parmi ses étudiants de doctorat : Andrzej Mostowski, Julia Robinson,
Robert Vaught, Solomon Feferman, Richard Montague, J. Donald Monk, Howard
Jerome Keisler, Roger Maddux
A été influencé par Charles Sanders Peirce
Domaines de recherche :
- Mathématiques
- Logique
- Philosophie du langage
Connu pour :
- Recherches sur les fondements de la logique moderne
- Notion formelle de vérité
- Développement de la théorie des modèles
- Logique des relations
Principaux ouvrages :
- Introduction to Logic and to the Methodology of Deductive Sciences, 1941
- A decision method for elementary algebra and geometry, 1948
- Cardinal Algebras, 1949
- (avec Andrzej Mostowski et Raphael Robinson), Undecidable theories, 1953
- Ordinal algebras, 1956
- Introduction à la logique,2e édition en langue française, 1969
- (avec Leon Henkin et Donald Monk), Cylindric Algebras: Part I et II,
1971-1985
- (avec Steven Givant), A Formalization of Set Theory Without Variables, 1987
Référence: 295
Avertissement Le but du présent Ouvrage est d'initier le lecteur à ce puissant courant de la pensée contemporaine qui s'est centré sur la logique mathématique. Ce courant a eu sa source dans le besoin d'établir les mathématiques sur une base solide ; mais, dans son état actuel, il doit viser des objectifs plus vastes, et, notamment, celui de créer un appareil conceptuel fournissant un fondement commun pour l'ensemble du savoir humain, et de perfectionner la méthode déductive qui, dans tout domaine de l'activité intellectuelle, est un instrument indispensable pour tirer des conclusions de suppositions préalables. |
50,00 €
*
|
|