Imprimer

TARSKI, Alfred

TARSKI, Alfred

 

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







Affichage par page
Trier par
Référence: 295

rouge.jpg

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.
Pour réaliser ce dessein dans les limites d'un ouvrage relativement court sans supposer chez le lecteur des connaissances spéciales en mathématiques ou un entraînement particulier à penser d'une manière abstraite, l'Auteur a adopté un langage qui diffère aussi peu que possible du langage de tous les jours, et il n'a fait qu'un usage restreint d'un symbolisme logique spécial. En même temps, il a essayé de combiner la plus grande intelligibilité possible avec la concision nécessaire, et d'éviter tout ce qui serait, du point de vue scientifique, une erreur ou une inexactitude grossière.
L'Ouvrage consiste en deux parties. La première constitue une introduction générale à la logique. La deuxième montre, sur un exemple concret, la manière dont la logique et la méthodologie sont appliquées dans la construction des théories mathématiques; elle permet au lecteur d'assimiler et d'approfondir les connaissances acquises par l'étude de la première partie. Chacun des 12 chapitres se termine par une série d'exercices.

50,00 *
*