Читаем The Concept of Truth in Formalized Languages, Tarski
Одной из задач программы Гильберта было использование в теории доказательств исключительно финитных методов. Как мы узнали от Хинтикки, Гёдель, в частности, показал принципиальную проблему с выражением арифметических истин допустимыми по Гильберту средствами.
Интересно, что в то же время — конец 20-х и начало 30-х годов — Тарский разработал семантическую концепцию истины. Она позволяет говорить о семантическом выводе, опираясь на Т-схему и изучая выполнимость формул в моделях.
Давайте попробуем понять первое объяснение этой концепции, данное Тарским.
Прочитать до "Formalized Languages, especially the Language of the Calculus of Classes" включительно к субботе, 24 мая. Встречаемся на нашем дискорд-сервере в 21:00 по Москве.
Книга в первом комменте.
Сервер | Методы доступа в дискорд
Одной из задач программы Гильберта было использование в теории доказательств исключительно финитных методов. Как мы узнали от Хинтикки, Гёдель, в частности, показал принципиальную проблему с выражением арифметических истин допустимыми по Гильберту средствами.
Интересно, что в то же время — конец 20-х и начало 30-х годов — Тарский разработал семантическую концепцию истины. Она позволяет говорить о семантическом выводе, опираясь на Т-схему и изучая выполнимость формул в моделях.
Давайте попробуем понять первое объяснение этой концепции, данное Тарским.
Прочитать до "Formalized Languages, especially the Language of the Calculus of Classes" включительно к субботе, 24 мая. Встречаемся на нашем дискорд-сервере в 21:00 по Москве.
Книга в первом комменте.
Сервер | Методы доступа в дискорд