Законспектировать 2 часть Клини, "Введение в метаматематику"

[nerdladybug]

Сделать конспект второй части книги Стивена Клини, "Введение в метаматематику". Сильный акцент на теоремах и необходимых для их формулировки определениях.

Конспект

Глава 4. Формальная система

• [x] §16. Формальные символы
• [x] §17. Правила образования
• [x] §18. Свободные и связанные переменные
• [x] §19. Правила преобразования

Глава 5. Формальный вывод

• [x] §20. Формальный вывод
• [x] §21. Теорема о дедукции
• [x] §22. Теорема о дедукции (окончание)
• [x] §23. Введение и удаление логических символов
• [x] §24. Зависимость формул и варьирование переменных

Глава 6. Исчисление высказываний

• [x] §25. Формулы исчисления высказываний
• [x] §26. Эквивалентность, замена
• [x] §27. Эквивалентности, двойственность
• [x] §28. Оценка, непротиворечивость
• [x] §29. Полнота, нормальная форма
• [x] §30. Разрешающая процедура, интерпретация

Глава 7. Исчисление предикатов

• [x] §31. Предикатные формулы
• [x] §32. Выводимые правила, свободные переменные
• [ ] §33. Замена
• [ ] §34. Подстановки
• [ ] §35. Эквивалентности, двойственность, предварённая форма
• [ ] §36. Оценка, непротиворечивость
• [ ] §37. Теоретико-множественная логика предикатов, k-образы

Глава 8. Формальная арифметика

• [ ] §38. Индукция, равенства, замена
• [ ] §39. Сложение, умножение, порядок
• [ ] §40. Дальнейшее построение арифметики
• [ ] §41. Формализованные вычисления
• [ ] §42. Теорема Гёделя