Alfred Tarski
Alfred Tarski · Technologie & ingénierie
Tarski fut l'un des plus grands logiciens du XXe siècle, donnant la définition formelle moderne de la vérité dans sa théorie sémantique et menant des travaux fondateurs sur la décidabilité, la théorie des modèles et la théorie des ensembles.
1901, Warsaw, Poland (then Russian Empire) — 1983, Berkeley, California, United States
Poland · United States
Tarski fut l'un des plus grands logiciens du XXe siècle, donnant la définition formelle moderne de la vérité dans sa théorie sémantique et menant des travaux fondateurs sur la décidabilité, la théorie des modèles et la théorie des ensembles. Né Alfred Teitelbaum dans une famille juive polonaise, il se convertit au catholicisme jeune homme mais resta d'origine juive et perdit des proches dans la Shoah. Il émigra aux États-Unis en 1939 et fonda l'influente école de logique de Berkeley.
Vérifiez et approfondissez avec ces références externes.
Source : Jinfo.org — Jews in Computer Science
Tarski fut l'un des plus grands logiciens du XXe siècle, donnant la définition formelle moderne de la vérité dans sa théorie sémantique et menant des travaux fondateurs sur la décidabilité, la théorie des modèles et la théorie des ensembles.
Source : Jinfo.org — Jews in Computer Science
Contributeurs similaires
Martin Davis
Robert Fano
Stephen Grossberg
Richard Karp
Leslie Lamport
