Alfred Tarski
Alfred Tarski · Technologia i inżynieria
Tarski był jednym z największych logików XX wieku; podał nowoczesną formalną definicję prawdy w swojej semantycznej teorii i wykonał podstawowe prace o rozstrzygalności, teorii modeli i teorii mnogości.
1901, Warsaw, Poland (then Russian Empire) — 1983, Berkeley, California, United States
Poland · United States
Tarski był jednym z największych logików XX wieku; podał nowoczesną formalną definicję prawdy w swojej semantycznej teorii i wykonał podstawowe prace o rozstrzygalności, teorii modeli i teorii mnogości. Urodził się jako Alfred Tajtelbaum w polskiej rodzinie żydowskiej i choć jako młody człowiek przeszedł na katolicyzm, pozostał pochodzenia żydowskiego i stracił krewnych w czasie Zagłady. W 1939 roku wyemigrował do Stanów Zjednoczonych i zbudował wpływową szkołę logiki w Berkeley.
Sprawdź i pogłęb temat dzięki tym zewnętrznym odniesieniom.
Źródło: Jinfo.org — Jews in Computer Science
Ta strona ukazuje się w siedmiu językach na podstawie źródła angielskiego. Tłumaczenia są sprawdzane, ale błąd może się prześlizgnąć. Jeśli zauważysz go na tej stronie — błędne słowo, zgubioną datę, zdanie mówiące coś, czego nie ma w angielskim — daj nam znać.
Tarski był jednym z największych logików XX wieku; podał nowoczesną formalną definicję prawdy w swojej semantycznej teorii i wykonał podstawowe prace o rozstrzygalności, teorii modeli i teorii mnogości.
Źródło: Jinfo.org — Jews in Computer Science
Podobni twórcy
Frank Proschan
Laurence Wolsey
Martin Reiman
Ronald Fagin
Abraham Wald
