Список вещей, названных в честь Альфреда Тарского
В математики истории Альфред Тарский (1901–1983) — один из важнейших логиков . С его именем сейчас связан ряд теорем и концепций в этой области.
Теоремы [ править ]
- Теория сохранения Лося – Тарского
- Теорема Кнастера – Тарского (иногда называемая теоремой Тарского о неподвижной точке)
- Теорема Тарского о неопределимости
- Теорема Тарского–Зейденберга
- Некоторые теоремы о неподвижной точке , обычно варианты теоремы Клини о неподвижной точке , относят к принципу неподвижной точки Тарского-Канторовича или теореме Тарского-Канторовича, хотя использование этой терминологии ограничено.
- Теорема Тарского
связанная , Другая работа
- Система аксиом Бернейса-Тарского
- Парадокс Банаха – Тарского
- Алгебра Линденбаума–Тарского
- Логика Лукасевича-Тарского
- Двойственность Йонссона – Тарского
- Алгебра Йонссона–Тарского
- Перевод Гёделя – McKinsey – Тарского
- Семантическую теорию истины иногда называют определением истины Тарского или определениями истины Тарского.
- Аксиоматизация реальности Тарского
- Аксиомы Тарского для плоской геометрии.
- Задача Тарского о квадратуре круга
- Задача Тарского о показательной функции
- Теория множеств Тарского – Гротендика
- Школьная задача Тарского по алгебре
- Алгоритм Тарского – Куратовского
- Группа монстров Тарского
- Задача Тарского о планке
- Проблемы Тарского для свободных групп.
- Тест Тарского – Воота
- Мир Тарского
Другое [ править ]
- 13672 Тарский , астероид главного города.