Введение в теорию моделей и математическую логику. Математическая логика и основания математики.
Автор:А.Робинсон Год: 2012 Издание: [не указанo] Страниц: 377 ISBN: 9785458442909 Понятие модели возникло в математике еще в девятнадцатом веке. Вплотную к нему подошел Н.И.Лобачевский, но в полной мере оно появилось в работах Э.Бельтрами и Ф.Клейна, посвященных непротиворечивости геометрии. В дальнейшем понятие модели развивается и уточняется в связи с развитием формальных теорий и становится одним из основных понятий семантики символических языков. Естественно возникла идея применения этих достижений в математике. Формальные системы, изучаемые в математической логике, являются примерами алгебр с частичными операциями, и основные теоремы о формальных системах, основные методы математической логики являются алгебраическими. Видимо, по этой причине алгебра и арифметика явились первыми математическими объектами, где применялись методы математической логики.
