|
|
Большая Советская Энциклопедия (цитаты)
|
|
|
|
|
Тарский Альфред | Тарский (далее Т) (Tarski) Альфред (р. 14.1.1902, Варшава), польский логик и математик (с 1939 живет в США). Полученные Т. результаты относятся к теории множеств, теории булевых алгебр, логикам с формулами бесконечной длины и др. разделам математической логики и оснований математики. Основополагающий характер имеют работы Т. в моделей теории, логической семантике, металогике и методологии дедуктивных наук.
Соч.: Undecidable theories, . ., 1954 (соавтор); Logics, semantics, metamathematics, Oxf,, 1956; в рус. пер.- Введение в логику и методологию дедуктивных наук, М., 1948. |
Для поиска, наберите искомое слово (или его часть) в поле поиска
|
|
 |
 |
 |
|
|
|
Новости 22.12.2024 14:19:08
|
|
|
|
|
|
|
|
|
|
|
