August 12th, 2021

Ликбез. Теория моделей. Теории, формальные системы.

Ликбез.
Теория моделей. Теории, формальные системы.

ru.wikipedia.org/wiki/Метаматематика

формальные аксиоматические теории
http://mathhelpplanet.com/static.php?p=formalnyye-aksiomaticheskiye-teorii

Шрейдер Ю.А., Шаров А.А. Системы и модели.
Клини С. К. Введение в метаматематику
Клини С. К. Математическая логика
Робинсон А. Введение в теорию моделей и метаматематику алгебры
Кейслер Г., Чен Ч. Теория моделей

Шалак В. И. Протологика и ее структура.

https://en.wikipedia.org/wiki/Grounding
https://en.wikipedia.org/wiki/Symbol_grounding_problem
https://ru.wikipedia.org/wiki/Операциональное_определение
https://ru.wikipedia.org/wiki/Остенсивное_определение

https://ru.wikipedia.org/wiki/Переписывание
https://ru.wikipedia.org/wiki/L-система
https://ru.wikipedia.org/wiki/P′′
Нормальные алгоритмы Маркова
https://ru.wikipedia.org/wiki/Нормальный_алгоритм

http://mathhelpplanet.com/static.php?p=formalizatsiya-matematicheskoy-teorii

модель, интерпретация, формальная система, теория
https://deep-econom.livejournal.com/220457.html

Алгебраические системы: модели и алгебры
http://mathhelpplanet.com/static.php?p=algebraicheskiye-sistemy-modeli-i-algebry

Формальные аксиоматические теории
http://mathhelpplanet.com/static.php?p=formalnyye-aksiomaticheskiye-teorii

модель, интерпретация, формальная система, теория
http://www.livejournal.com/users/deep_econom/220457.html

=====
Математика, метаматематика и истина
Янов Ю.И., ИПМ им. М.В.Келдыша РАН
https://www.keldysh.ru/papers/2006/prep77/prep2006_77.html