После чего уже совсем нетрудно проверить, является ли данное выражение формулой или доказательством нашего исчисления (ср. предыдущее примечание). — Прим. перев.

От англ. demonstration (доказательство). — Прим. перев.

Цифра — это числовой знак, или имя числа (ср. выше примечание авторов на с. 35–36). — Прим. перев.

«Подстановка» — по-английски «substitution». — Прим. перев.

Напоминаем, что «цифрой» мы здесь всюду называем всю запись числа, а не отдельный знак такой записи, как обычно; скажем, «10» есть цифра, обозначающая число 10, хотя обычно и говорят, что это число записывается посредством двух цифр «1» и «0». — Прим. перев.

Это свойство называют чаще непополнимостью. — Прим. перев.

При всем правдоподобии последней фразы она никак не следует из предыдущего. Вообще, далеко не ясно, как распространенный тезис об ограниченности возможностей моделирования человеческого мышления можно согласовать с материалистической гипотезой о его природе. Ср., впрочем, заключительные два абзаца авторского текста. — Прим. перев.

Цитируем по сборнику статей «Основания математики» выпущенному в Нью-Йорке в честь 60-летия К. Гёделя (оттуда же взяты приведенные выше краткие биографические сведения).

1 ... 10 11 12 13 14 15 16 17 18 19

На этой странице вы можете бесплатно читать книгу Teopeма Гёделя - Эрнст Нагель бесплатно.

Похожие на Teopeма Гёделя - Эрнст Нагель книги

Это база: Зачем нужна математика в повседневной жизни - Йэн Стюарт - Зарубежная образовательная литература / Математика
Введение в теорию риска (динамических систем) - Владимир Живетин - Математика
Том. 22. Сон разума. Математическая логика и ее парадоксы - Хавьер Фресан - Математика
Для юных математиков. Веселые задачи - Яков Перельман - Математика
Мир математики. т.32. Бабочка и ураган. Теория хаоса и глобальное потепление - Карлос Мадрид - Математика
Мир математики: т.6 Четвертое измерение. Является ли наш мир тенью другой Вселенной? - Рауль Ибаньес - Математика
Том 31. Тайная жизнь чисел. Любопытные разделы математики - Хоакин Наварро - Математика
Математика для любознательных - Яков Перельман - Математика
Математика для любознательных - Яков Перельман - Математика
Искатели необычайных автографов - Эмилия Александрова - Математика

Оставить комментарий