Альфред Тарский
Альфред Тарский · Технологии и инженерия
Тарский был одним из величайших логиков XX века: он дал современное формальное определение истины в своей семантической теории и выполнил основополагающие работы о разрешимости, теории моделей и теории множеств.
1901, Warsaw, Poland (then Russian Empire) — 1983, Berkeley, California, United States
Poland · United States
Тарский был одним из величайших логиков XX века: он дал современное формальное определение истины в своей семантической теории и выполнил основополагающие работы о разрешимости, теории моделей и теории множеств. Он родился как Альфред Тайтельбаум в польской еврейской семье и, хотя молодым человеком перешёл в католичество, оставался еврейского происхождения и потерял родных в Холокосте. В 1939 году он эмигрировал в Соединённые Штаты и создал влиятельную берклийскую школу логики.
Проверьте и углубитесь с помощью этих внешних источников.
Источник: Jinfo.org — Jews in Computer Science
Эта страница выходит на семи языках и переведена с английского. Переводы проверяются, но ошибка может проскользнуть. Если вы заметили её на этой карточке — неверное слово, потерянную дату, фразу, которой нет в английском, — сообщите нам.
Тарский был одним из величайших логиков XX века: он дал современное формальное определение истины в своей семантической теории и выполнил основополагающие работы о разрешимости, теории моделей и теории множеств.
Источник: Jinfo.org — Jews in Computer Science
