- Теорема Тарского о невыразимости истины
-
Теорема Тарского о невыразимости арифметической истины — теорема, доказанная Альфредом Тарским в 1936 году, важный ограничивающий результат в математической логике, основаниях математики и формальной семантике. Теорема гласит, что множество истинных формул арифметики первого порядка (т.е. множество их номеров при любой фиксированной гёделевской нумерации) не является арифметическим множеством. Другими словами, понятие арифметической истины не может быть выражено средствами самой арифметики. Теорема Тарского применима к любой достаточно сильной формальной системе.
См. также
Для улучшения этой статьи желательно?: - Добавить иллюстрации.
- Дополнить статью (статья слишком короткая либо содержит лишь словарное определение).
- Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное.
Категории:- Математическая логика
- Теоремы
- Позитивизм
Wikimedia Foundation. 2010.