Еще
Логотип LiveLibЛента
Елена Расёва, Роман Сикорский - Математика метаматематики
18+
User AvatarВаша оценка
0
(0)

Математика метаматематики

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

Жанры

Издательство:

Наука

Серия:

Математическая логика и основания математики

Год издания:

1972

Язык:

Русский

Возрастные ограничения:

18+

Рейтинг LiveLib

0
0 оценок
Эту книгу пока никто не оценил, ваша оценка может стать первой
User AvatarВаша оценка
Хотят прочитать 5

Рецензии

На эту книгу еще нет ни одной рецензии. Ваша может стать первой.

Популярное

Цитаты

Еще не добавлена ни одна цитата из книги. Ваша может стать первой.