Метаматематика (Теория моделей). Доступное введение.
Метаматематика (Теория моделей). Доступное введение.
Мне попались два текста, которые можно рассматривать как доступное введение в дисциплину
Метаматематика (Теория моделей)
----------------
Шрейдер Ю.А., Шаров А.А. Системы и модели.
Глава 2. Модели и теории 20
2.1. Модели и системный подход 20
2.2. Гносеологические аспекты отношения «объект--модель»
----------------
Теория множеств и основы математики http://settheory.net/ru/
1.3. Cтруктуры теорий: понятия, объекты и мета-объекты
1.4. Cтруктуры и математические системы
------------------
Теория множеств и основы математики
1. Начальные основы математики
1.1. Введение в основы математики
1.2. Переменные, множества, функции и операции
1.3. Cтруктуры теорий: понятия, объекты и мета-объекты
1.4. Cтруктуры и математические системы
1.5. Выражения и структуры
1.6. Логические связки
1.7. Классы в теории множеств
1.8. Связанные переменные в теории множеств
1.9. Кванторы
1.10. Формализация теории множеств
1.11. Принцип множества образований
Философские аспекты основ математики
Время в теории моделей
Время в теории множеств
Интерпретация классов
Концепции истины в математике
---------------------