Tarski, Alfred - sciences et techniques.

Tarski, Alfred - sciences et techniques. 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.