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

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

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

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

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

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

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

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

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

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

Особисті інструменти
Простори назв

Варіанти
Дії
Навігація
Участь
Панель інструментів
Друк/експорт
Іншими мовами