Название: Математика метаматематики
Автор: Расева Е., Сикорский Р.
Издательство: Наука
Год: 1972
Формат: DjVu
Качество: Отсканированные страницы
Страниц: 592
Размер: 10.1 MB
Язык: Русский

Название этой книги — вовсе не каламбур, как это может показаться на первый взгляд.
Метаматематика — это теория, изучающая формализованные математические теории. Формализованная теория — это, грубо говоря, множество некоторых конечных последовательностей символов, называемых формулами и термами, и множество некоторых простых операций, производимых над этими последовательностями. Формулы и термы, получаемые с помощью нескольких простых правил, служат заменой для предложении и функций интуитивной математической теории. Операции над формулами соответствуют элементарным шагам дедукции в математических рассуждениях. Формулы, соответствующие аксиомам интуитивной теории, играют особую роль — они являются аксиомами формализованной теории. Формулы, которые могут быть выведены из аксиом посредством принятых операции, соответствуют теоремам теории.