ТФСиА 15. Теоремы Тарского и Гёделя.

preview_player
Показать описание
Теория формальных систем и алгоритмов. МФТИ. Физтех-школа прикладной математики и информатики

Дата лекции: 8.12.2022
Лектор: Вялый М.Н.
Съемка: Тимошенко Максим
Монтаж: Кервинен Матвей
  1. Лекторий ФПМИ
  2. лекторий
  3. фпми
  4. лекторий фпми
  5. теория формальных систем и алгоритмов
  6. тфс
Рекомендации по теме
ТФСиА 15. Теоремы 1:21:37

ТФСиА 15. Теоремы Тарского и Гёделя.

ТФСиА 7. Теорема 1:18:38

ТФСиА 7. Теорема Тарского. Общезначимые формулы.

13 Парадокс лжеца 0:09:36

13 Парадокс лжеца и теорема Тарского о неарифметичности множества истинных высказываний...

Математическая логика и 1:14:59

Математическая логика и теория алгоритмов 14. Теоремы Геделя и Тарского....

Аржанцев И.В. - 1:28:54

Аржанцев И.В. - Алгебра. Часть 2. Лекции - 12. Теоремы Силова...

Ладов В. А., 0:17:50

Ладов В. А., 'А. Тарский о парадоксе Лжеца: современные интерпретации'...

Яворская Т.Л. - 0:55:03

Яворская Т.Л. - Математическая логика. Часть 1 - 8. Теорема Тарского-Зайденберга...

ТФСиА 8. Общезначимые 1:21:30

ТФСиА 8. Общезначимые формулы II. Исчисление предикатов.

ТФСиА 1 Семантика. 1:21:01

ТФСиА 1 Семантика. Системы доказательств

Mathematical Logic, Lecture 0:52:50

Mathematical Logic, Lecture 15 (Real Closed Fields and Tarski's Quantifier Elimination)

14 Теоремы Гёделя 0:15:06

14 Теоремы Гёделя о неполноте

Сипачева О.В. - 1:28:10

Сипачева О.В. - Форсинг и его применения в топологии - 1. Аксиомы ZFC...

Запрягаев Александр//Об интерпретациях 1:14:40

Запрягаев Александр//Об интерпретациях линейных порядков в арифметике Пресбургера, ч. 1 (15.03.2019)...

Комментарии
Автор

множество истинных в стандартной арифметике, не только не перечислимо но оно и не арифметично, т.е. это множество нельзя описать с помощью какой-либо формулы в языке арифметики первого порядка. Вялый очень упростил формулировку теоремы Тарского, почему, скорее потому, что он мало что понимает.

НитонисёАчёртзнаетчто