Книга: Рекурсивный математический анализ

Скачать

Основу этой книги составляют две монографии Р. Л. Гудстейна: «Рекурсивная теория чисел» и «Рекурсивный анализ». Монография «Рекурсивная теория чисел» содержит систематическое и обстоятельное описание и исследование построенного Гудстейном исчисления п. р. равенств и некоторых модификаций этого исчисления; в ней описываются и изучаются также некоторые „надстройки“ над исчислением равенств, использующие определенные расширения языка исчисления равенств и допускающие „переводы“ в исчисление равенств; излагаются и некоторые традиционные разделы теории рекурсивных функций, а также некоторые разделы элементарной теории чисел, допускающие „вложение“ в исчисление равенств. В монографии «Рекурсивная теория чисел» устанавливается также, что теорема о неполноте аксиоматизаций арифметики, доказанная К. Гёделем для традиционной аксиоматизации арифметики и ее расширений, переносится и на исчисление равенств и его расширения. Монография «Рекурсивный анализ» суммирует основные результаты ее автора в области рекурсивного анализа (этим термином Гудстейн называет разрабатываемый им вариант конструктивного математического анализа).

Информация о документе

Формат документа: PDF, DJVU
Кол-во страниц: 236 страниц
Загрузил(а): Афонин Сергей
Лицензия: —
Доступ: Всем

Информация о книге

Издательство: ИЗДАТЕЛЬСТВО НАУКА
Год публикации: 1970
Автор(ы): Гудстейн Р.Л.
Ключевые фразы: анализ
Каталог SCI: Математика

Статистика просмотров

Статистика просмотров книги за 2025 год.

Все права на тексты и товарные знаки принадлежат их законным владельцам. Подробнее...

Сайт https://scinetwork.ru (далее – Сайт) представляет собой платформу, на которой пользователи самостоятельно добавляют и публикуют метаинформацию о материалах разных видов (названия, обложки, аннотации, данные об авторах и т.п.). Администрация Сайта не занимается самостоятельным сбором или первоначальной публикацией этих сведений.

Модерация контента

На Сайте действует постмодерация. Это означает, что материалы, добавляемые пользователями, становятся общедоступными сразу после публикации и проверяются Администрацией Сайта постфактум в разумные сроки.

Использование информации

Администрация Сайта не использует метаданные и обложки документов в коммерческих или рекламных целях для продвижения товаров или услуг и не заявляет о каких-либо правах на представленные объекты интеллектуальной собственности. Все права на документы и сопутствующие материалы принадлежат их законным правообладателям.

Отказ от гарантий

Администрация Сайта не гарантирует точность, полноту и достоверность метаинформации, размещенной пользователями, поскольку не осуществляет ее предварительную проверку.

Ответственность

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