Робинсон А. / Введение в теорию моделей и метаматематику алгебры

Рубрика: Математика 8 Октябрь 2009

Название: Введение в теорию моделей и метаматематику алгебры

Автор: Робинсон А. 

Аннотация: Так на стыке двух наук, алгебры и математической логики, возникла новая теория, изучающая связь алгебры и арифметики с математической логикой, которую в первые годы считали алгебраической и называли метаматематикой алгебры. Дальнейшее развитие показало, что теория имеет свою систему понятий, свои методы и, что важнее всего, свою проблематику. В последние годы ее называют теорией моделей.
В сороковых годах началось интенсивное развитие теории, в которой деятельное участие приняли ее создатели. Теория моделей развивалась в разных направлениях: изучались модели узкого исчисления предикатов, исчисления второй ступени, модели многозначной логики, модели логики с бесконечно длинными формулами и т. д.
Развитие теории моделей узкого исчисления предикатов шло главным образом в двух направлениях:

Скачать в pdf (13,1 МБ ): Робинсон А. / Введение в теорию моделей и метаматематику алгебры




Отзывы закрыты




Ещё записи в рубрике: