- Понятие модели возникло в математике еще в девятнадцатом веке. Вплотную к нему подошел Н.И.Лобачевский, но в полной мере оно появилось в работах Э.Бельтрами и Ф.Клейна, посвященных непротиворечивости геометрии. В дальнейшем понятие модели развивается и уточняется в связи с развитием формальных теорий и становится одним из основных понятий семантики символических языков. Естественно возникла идея применения этих достижений в математике. Формальные системы, изучаемые в математической логике, являются примерами алгебр с частичными операциями, и основные теоремы о формальных системах, основные методы математической логики являются алгебраическими. Видимо, по этой причине алгебра и арифметика явились первыми математическими объектами, где применялись методы математической логики. Воспроизведено в оригинальной авторской орфографии издания 1967 года (издательство "Наука").Внимание! На данный товар не распространяются ни оптовые, ни накопительные скидки. Эта книга будет изготовлена в соответствии с Вашим заказом по технологии Print-on-Demand. Print-on-Demand - это технология печати книг по Вашему заказу на цифровом типографском оборудовании.