Tarski, Alfred - mathématiques.
Publié le 25/04/2013
Extrait du document
Tarski, Alfred - mathématiques. Tarski, Alfred (1902-1983), logicien et mathématicien américain d'origine polonaise, fondateur de la sémantique logique moderne. Né sous le nom d'Alfred Tajtelbaum à Varsovie, il fit ses études à Varsovie, et y enseigna de 1925 jusqu'au déclenchement de la Seconde Guerre mondiale. En 1939, il s'installa aux États-Unis et se rendit à l'université de Californie à Berkeley (1942-1968). Il exerça une grande influence sur le développement de la logique mathématique, surtout dans les parties concernant la sémantique et la théorie des modèles. Son nom est attaché au « paradoxe Banach-Tarski «, qui traite des ensembles incommensurables, mais il est surtout connu pour sa définition de la notion de vérité dans les langages logiques formels, telle qu'elle est formulée dans sa monographie Der Wahrheitsbegriff in den Formalisierten Sprachen (« le Concept de vérité dans les langages formels «), publiée en 1933. Microsoft ® Encarta ® 2009. © 1993-2008 Microsoft Corporation. Tous droits réservés.
Liens utiles
- PRINCIPIA MATHEMATICA (PRINCIPES MATHÉMATIQUES), Bertrand Russel et Alfred North Whitehead
- Tarski Alfred, 1902-1983, né à Varsovie, mathématicien polonais.
- Alfred North Whitehead 1861-1947 Il fit une carrière de professeur de mathématiques
- Alfred Tarski
- Tarski, Alfred - sciences et techniques.