Библиотека электронных книг г. Симферополя » Математика » Введение в теорию моделей и метаматематику алгебры - Робинсон А.

Книги

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

 
Название: Введение в теорию моделей и метаматематику алгебры
Автор: Робинсон А.
Категория: Математика
Тип: Книга
Дата: 07.01.2009 20:07:56
Скачано: 253
Оценка:
Описание: Понятие модели возникло в математике еще в девятнадцатом веке. Вплотную к нему подошел Н. И. Лобачевский, но в полной мере оно появилось в работах Э. Бельтрами и Ф. Клейна, посвященных непротиворечивости геометрии. В дальнейшем понятие модели развивается и уточняется в связи с развитием формальных теорий и становится одним из основных понятий семантики символических языков. Современная формулировка понятия модели и других понятий семантики (например, понятия истинности формулы узкого исчисления предикатов, понятия теории классов алгебраических систем и др.) сложилась в конце двадцатых и в начале тридцатых годов в работах Д. Гильберта и А. Тарского. К тому же времени на основе фундаментальных работ Д. Гильберта и развития его идей в математической логике были получены и основные теоремы: теорема Гёделя о полноте узкого исчисления предикатов, локальная теорема Мальцева, теорема Левенгейма — Сколема, теорема о расширении моделей и др. Естественно возникла идея применения этих достижений в математике. Формальные системы, изучаемые в математической логике, являются примерами алгебр с частичными операциями, и основные теоремы о формальных системах, основные методы математической
Файл: 2.47 МБ
Скачать