
Название: Математика метаматематики
Автор: Расева Е., Сикорский Р.
Издательство: Наука
Год: 1972
Формат: DjVu
Качество: Отсканированные страницы
Страниц: 592
Размер: 10.1 MB
Язык: Русский
Название этой книги — вовсе не каламбур, как это может показаться на первый взгляд.
Метаматематика — это теория, изучающая формализованные математические теории. Формализованная теория — это, грубо говоря, множество некоторых конечных последовательностей символов, называемых формулами и термами, и множество некоторых простых операций, производимых над этими последовательностями. Формулы и термы, получаемые с помощью нескольких простых правил, служат заменой для предложении и функций интуитивной математической теории.