Библиотека электронных книг г. Симферополя » Математика » Математическая логика и основания математики - Е. Расева, Р. Сикорский

Книги

Математическая логика и основания математики - Е. Расева, Р. Сикорский

 
Название: Математическая логика и основания математики
Автор: Е. Расева, Р. Сикорский
Категория: Математика
Тип: Книга
Дата: 11.01.2009 19:52:35
Скачано: 204
Оценка:
Описание: Название этой книги —вовсе не каламбур, как это может показаться на первый взгляд. Метаматематика— это теория, изучающая формализованные математические теории. Формализованная теория—это, грубо говоря, множество некоторых конечных последовательностей символов, называемых формулами и термами, и множество некоторых простых операций, производимых над этими последовательностями. Формулы и термы, получаемые с помощью нескольких простых правил, служат заменой для предложений и функций интуитивной математической теории. Операции над формулами соответствуют элементарным шагам дедукции в математических рассуждениях. Формулы, соответствующие аксиомам интуитивной теории, играют особую роль — они являются аксиомами формализованной теории. Формулы, которые могут быть выведены из аксиом посредством принятых операций, соответствуют теоремам теории. Множество всех формул и множество всех термов, рассматриваемые как множества конечных последовательностей с операциями, в свою очередь могут быть объектом математического исследования, применяющего заимствованные из математики более или менее развитые вспомогательные методы. В ранний период развития математической логики общим стремлением
Файл: 5.41 МБ
Скачать