Тарский Альфред

Тарский Альфред
Born
1901-01-14

Американский логик и математик, член Национальной АН США. Родился в Варшаве. Окончил Варшавский университет (1924). С 1926 работал там же. В 1939 переехал в США. С 1942 преподавал в Калифорнийском университете в Беркли (с 1946 — профессор).

Исследования относятся к математической логике, алгебре, геометрии. Является одним из основоположников логической семантики, металогики, методологии дедуктивных наук, теории моделей. Совместно с С. Банахом развивал (1924) исследования в области теории ансамблей. Разрабатывал теорию принятия решений, которая нашла применение в различных отраслях математики. Многие его работы в области логики имеют непосредственные выходы в математику, в частности в алгебру. Сформулировал концепцию справедливости формализованных языков.