Alfred Tarski (1901-1983) est un logicien et mathématicien polonais, considéré comme l’un des plus importants du 20e siècle. Il a contribué de manière significative à la logique mathématique, à la théorie des ensembles, à la philosophie des mathématiques et à la sémantique formelle. Tarski est surtout connu pour son travail sur la définition de la vérité dans les langages formels. Il a développé la notion de vérité sémantique qui a permis de donner une définition précise de la vérité dans des langages mathématiques et formels. Ses contributions ont eu un impact profond sur la philosophie analytique et ont influencé les fondements logiques des mathématiques. Alfred Tarski a enseigné dans plusieurs universités, notamment en Pologne et aux États-Unis.
Pantopique(s) lié(s) :
1900-1925mathématiquePologne
