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

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук
Alfred Tarski
Tarski 4.jpg
Народився 14 січня 1901(1901-01-14)
Варшава, Польща
Помер 26 жовтня 1983(1983-10-26) (82 роки)
Берклі, Каліфорнія
Громадянство США США
Національність поляк
Галузь наукових інтересів математика, логіка
Заклад Каліфорнійський університет, Берклі
Alma mater Варшавський університет
Відомий завдяки: основи сучасної логіки, формальне поняття істини, теорія моделей

Альфред Та́рський (14 січня 1901, Варшава26 жовтня 1983, Берклі) — польський і американський логік і математик.

Народився в Варшаві в єврейській родині (уроджене прізвище Тайтельбаум), в 1918 поступив в Варшавський університет, в 1924 закінчив його. Працював в там же.

Учень Яна Лукашевича і Станіслава Лесневського. Член Львівсько-варшавської логіко-філософської школи.

З 1939професор Гарвардського і Каліфорнійського університетів (США). Основні праці з математичної логіки, основам математики, металогіці, семантиці, методології дедуктивних наук. Створив теорію семантичних моделей, сформулював дефініції ряду понять, в тому числі семантичну дефініцію істини для дедуктивних наук.

Разом зі Стефаном Банахом розвивав дослідження з теорії ансамблів.

Опублікував понад 150 робіт, включно з 9 книгами.

Член Польської АН і Нац. АН США.

Джерела [ред.]