Математическая логика и основания математики
- 25 книг
Ваша оценкаНазвание этой книги — вовсе не каламбур, как это может показаться на первый взгляд.
Метаматематика — это теория, изучающая формализованные математические теории. Формализованная теория — это, грубо говоря, множество некоторых конечных последовательностей символов, называемых формулами и термами, и множество некоторых простых операций, производимых над этими последовательностями. Формулы и термы, получаемые с помощью нескольких простых правил, служат заменой для предложений и функций интуитивной...
Жанры
Рейтинг LiveLib
0
0 оценок
Ваша оценкаХотят прочитать 4
Подборки с этой книгой
Логика и математика
- 81 книга
