Книга: Рейбен Луис Гудстейн «Рекурсивный математический анализ»
|
Серия: "Математическая логика и основания математики" Основу этой книги составляют две монографии Р. Л. Гудстейна: "Рекурсивная теория чисел" и "Рекурсивный анализ" . Монография "Рекурсивная теория чисел" содержит систематическое и обстоятельное описание и исследование построенного Гудстейном исчисления п. р. равенств и некоторых модификаций этого исчисления; в ней описываются и изучаются также некоторые "надстройки" над исчислением равенств, использующие определенные расширения языка исчисления равенств и допускающие "переводы" в исчисление равенств; излагаются и некоторые традиционные разделы теории рекурсивных функций, а также некоторые разделы элементарной теории чисел, допускающие "вложение" в исчисление равенств. В монографии "Рекурсивная теория чисел" устанавливается также, что теорема о неполноте аксиоматизаций арифметики, доказанная К. Гёделем для традиционной аксиоматизации арифметики и ее расширений, переносится и на исчисление равенств и его расширения. Монография "Рекурсивный анализ" суммирует основные результаты... Издательство: "Главная редакция физико-математической литературы издательства "Наука"" (1970) Формат: 84x108/32, 472 стр.
Купить за 740 руб на Озоне |
Другие книги схожей тематики:
| Автор | Книга | Описание | Год | Цена | Тип книги |
|---|
См. также в других словарях:
КОНСТРУКТИВНЫЙ АНАЛИЗ — рекурсивный анализ, вычислимый анализ, название, объединяющее различные течения в основаниях математики и математич. анализе. При развитии К. а., как правило, преследуются обе или вторая из следующих двух принципиальных целей: (1) нетрадиционное… … Математическая энциклопедия
КОНСТРУКТИВНОЕ НАПРАВЛЕНИЕ — в математике и логике, подход в основаниях этих наук, при котором их сфера ограничивается конструктивными объектами и такими рассуждениями об этих объектах, в которых не присутствует идея актуальной бесконечности. Конструктивными наз.… … Философская энциклопедия
Числовая функция — В математике числовая функция это функция, области определения и значений которой являются подмножествами числовых множеств как правило, множества вещественных чисел или множества комплексных чисел . Содержание 1 График функции … Википедия
Алгоритм — У этого термина существуют и другие значения, см. Алгоритм (значения). Для улучшения этой статьи желательно?: Переработать оформление в соответствии с правил … Википедия
