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, Varsovie, Pologne (alors Empire russe) — 1983, Berkeley, Californie, États-Unis
Pologne · États-Unis
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
Cette page paraît en sept langues à partir d'une source anglaise. Les traductions sont relues, mais une erreur peut passer. Si vous en repérez une sur cette fiche — un mot fautif, une date perdue, une phrase qui dit autre chose que l'anglais —, signalez-la-nous.
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
