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

[deep_econom]

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

https://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/Подстановка
https://ru.wikipedia.org/wiki/L-система
P′′ - низкоуровневый язык программирования
https://ru.wikipedia.org/wiki/P′′
https://en.wikipedia.org/wiki/Rewriting
https://en.wikipedia.org/wiki/Graph_rewriting

Нормальные алгоритмы Маркова
https://ru.wikipedia.org/wiki/Нормальный_алгоритм
https://en.wikipedia.org/wiki/Substitution_(logic)
https://en.wikipedia.org/wiki/Explicit_substitution

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

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

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