Рекурсивные функции, Петер Р., 1954.
Во всем современном математическом мышлении большое место занимает различение между «конструктивным» и «неконструктивным». Даже математики, которые спокойно признают «неконструктивные» доказательства существования, не могут отрицать, что чистое (неконструктивное) доказательство существования какого-либо математического объекта естественно влечет за собой проблему восполнения этого доказательства соответствующей конструкцией.
РЕКУРСИВНЫЕ ФУНКЦИИ И ОТНОШЕНИЯ.
В предыдущем параграфе мы дали определения целого ряда функций, употребляемых в элементарной теории чисел. Как отмечалось, каждое из этих определений позволяет для любого конкретного значения аргумента фактически вычислять значение соответствующей функции. При этом нигде не требуется производить выбор числа с каким-либо определенным свойством из совокупности всех натуральных чисел и нигде не используется то обстоятельство, что все натуральные числа обладают каким-либо определенным свойством. Сколем [1] впервые заметил, что в этом смысле элементарная теория чисел может быть построена конструктивно. Было установлено, что часть упомянутых определений составляют определения посредством рекурсии, т. е. такие определения, при которых задается значение определяемой функции в некоторой начальной точке и указывается, как значения функции в остальных точках вычислять по значениям в предшествующих точках. Другие функции конструируются из уже полученных путем подстановки. Первой встретившейся нам функцией, которая строится посредством подстановки, была функция в1(m, n) из п. 5 §1. Она строится так: сначала в функции а—n производятся замена n на m и подстановка п+1 вместо а, а затем полученная функция (n+1)-n подставляется в sg(n) вместо n.
Рейтинг: | 4.8 баллов / 2537 оценок |
Формат: | Книга |
Уже скачали: | 12868 раз |
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
Название: Грузинский легион вермахта Автор: Г. Г. Мамулиа Издательство: Вече Год издания: 2011 Страниц: 420 Язык: Русский Формат: pdf Размер: 20 МбОписание: Долгие годы история Грузии была тесно свя . . .
Название: КрестьянкаАвтор: коллективИздательство: ООО "ИДР-Формат"Год / месяц: 2012 / майНомер: 5Формат: pdfСтраниц: 116Качество: хорошееЯзык: русский Размер: 39,49 Мб Самый известный российский журна . . .
Название: Рассказы из правого ботинка Автор: Александр Рудазов Издательство: Альфа-книга Год издания: 2007 Язык: Русский Формат: pdf+fb2 Качество: хорошее Размер: 2.16 МбОписание: Существует тема, н . . .
Название: Architectural DigestГод / месяц: Aprile 2012Номер: La Casa degli Italiani 1861/2011Формат: PDFРазмер: 49 MbСтраниц: 192Язык: italianВашему вниманию предлагается специальный выпуск от итальян . . .
Название: The bead bookГод / месяц: не указанНомер: 34Формат: jpgРазмер: 31,2 МБ Язык: английскийThe Beadbook is a bi-monthly magazine which will teach you how to make your own exquisite jewellery, a . . .
Название: EthimoГод / месяц: 2012Номер: CollezioneФормат: PDFРазмер: 36 MbСтраниц: 148Язык: italianВашему вниманию предлагается каталог продукции итальянского производителя Ethimo мебели для отдыха на . . .
Название: Eco-Structure - №3-4 2012Автор: коллектив редакцииИздатель: Hanley Wood, LLCГод: 2012Страниц: 80Выпуск: March/April 2012Формат: PDFЯзык: English / английскийКачество: отличноеРазмер: 102 МбШ . . .
Название: Непогребенные (аудиокнига) Автор: Сергей Антонов Серия или выпуск: Метро 2033 Год издания: 2012 Язык: Русский Формат: МР3 Битрейт аудио: 128 kbps Время звучания: 07:51:09 Читает: Андрей Кра . . .
Название:Autosan H9-21Номер:2Издательство:AnswerГод: 2010Масштаб : 1:25Страниц/выкройки: 29/21 Формат: jpeg + rarРазмер: 32.47 МбЯзык: польскийdepositfilesrapidshare . . .
Название: Перспектива Автор: Жданова Н.С. Издательство: Владос Год издания: 2004 Страниц: 224 Язык: Русский Формат: pdf Качество: хорошее Размер: 8 МбОписание: Учебное пособие содержит основные поня . . .
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Рекурсивные функции, Петер Р., 1954. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.