Плиско В.Е. - Введение в математическую логику - 12. Теория моделей
«Справочная книга по математической логике. Часть 1. Теория моделей» Барвайс Дж. Настоящее издание состоит из четырех книг: Теория моделей, Теория множеств, Теория рекурсии, Теория доказательств и конструктивная математика. В оригинале оно составляло один том, который при переводе для удобства был разбит на четыре книги, соответствующие четырем частям исходной книги. Русский перевод каждой части дополнен статьей советских авторов, отражающей дополнительные аспекты, не нашедшие отражения в основном тексте издания.Издание в целом рассчитано на всех математиков, начиная со студентов университетов, интересующихся развитием современной математики и логики. Воспроизведено в оригинальной авторской орфографии издания 1982 года (издательство ""Наука", Главная редакция физико-математической литературы"). Это и многое другое вы найдете в книге Справочная книга по математической логике. Часть 1. Теория моделей (Барвайс Дж.). Напишите свою рецензию о книге Барвайс Дж. «Справочная книга по математической логике. Часть 1. Теория моделей» https://izbe.ru/book/568516-spravochnaya-kniga-po-matematicheskoy-logike-chast-1-teoriya-modeley-barvays-dzh/
Логика - это математика или философия?
В конце 19 века "логика" перешла от философии к математике. Сто лет спустя у нас появилось множество формальных логик. Рассматривая ситуацию с информатикой, математическая дисциплина оказалась лишь временным убежищем для "логики". Ведь существует Доменная теория, конструктивная математическая теория, которая расширяет понятие вычисляемости до континуума и охватывает область всех возможных дедуктивных систем. Теория домена описывает пространство типов данных, которые компьютеры могут идеально вычислить, и вычисления в терминах этих типов...