Histoire des mathématiques Personne
Alfred Tarski
PersonneLogicien 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
- Définition sémantique de la vérité pour les langages formalisés.
- 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.
- 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.
Liens
- a contribué à
Sources
- Wikidata CC0-1.0
- Rédaction Synapx INTERNE