Читаем The Concept of Truth in Formalized Languages, Tarski

Одной из задач программы Гильберта было использование в теории доказательств исключительно финитных методов. Как мы узнали от Хинтикки, Гёдель, в частности, показал принципиальную проблему с выражением арифметических истин допустимыми по Гильберту средствами.

Интересно, что в то же время — конец 20-х и начало 30-х годов — Тарский разработал семантическую концепцию истины. Она позволяет говорить о семантическом выводе, опираясь на Т-схему и изучая выполнимость формул в моделях.

Давайте попробуем понять первое объяснение этой концепции, данное Тарским.

Прочитать до "Formalized Languages, especially the Language of the Calculus of Classes" включительно к субботе, 24 мая. Встречаемся на нашем дискорд-сервере в 21:00 по Москве.

Книга в первом комменте.
Методы доступа в дискорд