Histoire des mathématiques Personne
Alfred Tarski
PersonneVoir dans l’arbre des maîtres et des élèves
Logicien et mathématicien polono-américain, Alfred Tarski a exercé une influence décisive sur la logique, la théorie des modèles et la sémantique formelle de la vérité.
- vie
- 1901 – 1983
Formé à Varsovie dans le milieu de l'école logique polonaise, Alfred Tarski travailla d'abord en Pologne avant de s'établir aux États-Unis. Il enseigna ensuite à l'université de Californie à Berkeley, où il forma de nombreux logiciens.
Ses recherches ont porté sur la logique mathématique, l'algèbre, la théorie des ensembles et la théorie des modèles. Sa conception sémantique de la vérité pour les langages formalisés a constitué une contribution majeure à la logique et à la philosophie du langage.
Ses travaux
- Contributions fondatrices à la théorie des modèles.
- Théorème de Tarski-Seidenberg sur l'élimination des quantificateurs.
- Travaux en algèbre logique et en algèbre relationnelle.
- Études sur la décidabilité et les structures mathématiques.
Anecdotes
-
Fait attesté
Alfred Tarski est né Teitelbaum. En 1923, lui et son frère Wacław prennent le nom de Tarski. Les deux frères se convertissent aussi au catholicisme. Pourtant, Alfred se dit athée.
-
Fait attesté
En août 1939, Tarski quitte la Pologne pour un congrès à Harvard. Il prend le dernier navire à partir de Pologne vers les États-Unis avant l'invasion. Il part à contrecœur et laisse sa femme et ses enfants à Varsovie. Il ne les revoit qu'en 1946. Presque toute sa famille élargie est morte pendant la guerre.
Liens
- a contribué à
- a dirigé la thèse de
- a donné son nom à
- a enseigné à
- a eu pour directeur de thèse
- a eu pour maître
Sources
- Wikidata CC0-1.0
- Rédaction Synapx INTERNE