Рекурсивные функции, Петер Р., 1954
Рекурсивные функции, Петер Р., 1954.
Во всем современном математическом мышлении большое место занимает различение между «конструктивным» и «неконструктивным». Даже математики, которые спокойно признают «неконструктивные» доказательства существования, не могут отрицать, что чистое (неконструктивное) доказательство существования какого-либо математического объекта естественно влечет за собой проблему восполнения этого доказательства соответствующей конструкцией.
РЕКУРСИВНЫЕ ФУНКЦИИ И ОТНОШЕНИЯ.
В предыдущем параграфе мы дали определения целого ряда функций, употребляемых в элементарной теории чисел. Как отмечалось, каждое из этих определений позволяет для любого конкретного значения аргумента фактически вычислять значение соответствующей функции. При этом нигде не требуется производить выбор числа с каким-либо определенным свойством из совокупности всех натуральных чисел и нигде не используется то обстоятельство, что все натуральные числа обладают каким-либо определенным свойством. Сколем [1] впервые заметил, что в этом смысле элементарная теория чисел может быть построена конструктивно. Было установлено, что часть упомянутых определений составляют определения посредством рекурсии, т. е. такие определения, при которых задается значение определяемой функции в некоторой начальной точке и указывается, как значения функции в остальных точках вычислять по значениям в предшествующих точках. Другие функции конструируются из уже полученных путем подстановки. Первой встретившейся нам функцией, которая строится посредством подстановки, была функция в1(m, n) из п. 5 §1. Она строится так: сначала в функции а—n производятся замена n на m и подстановка п+1 вместо а, а затем полученная функция (n+1)-n подставляется в sg(n) вместо n.
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12866 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Юрий Иванович - Миры Доставки. Книга 3. На родном Оилтоне rtf 15,05Мб
Мне же сразу бросилась в глаза та прыть, с которой Патрисия, с присущей только ей ловкостью, оттеснила Малыша в сторону и сама взяла Синяву Кассиопейскую под руку. И лично повела на почётное место, о . . .
-
Тимур Рымжанов - Колдун. Руны грома rtf 12,27Мб
На расстоянии примерно в двадцать шагов я уже мог встать на ноги и, пригнувшись, пробраться к стогу. Отсюда было видно лишь край ворот, возле которых дремал стражник, и глухой частокол, тянущийся вдол . . .
-
Флэшмен на острие удара pdf 34,98Мб
Название: Флэшмен на острие удараАвтор: Фрейзер ДжорджИздательство: Вече Год: 2011 Страниц: 384Формат: pdfРазмер: 34,98 мбКачество: хорошееЯзык: русскийВ России Флэшмена ждет славная мясорубка! Крымск . . .
-
Ольга Романовская. Чужие воспоминания rtf, pdf 10,01Мб
Случайно спася темного мага Лэрзена, Одана и не предполагала, что вскоре он окажется единственным, кто согласится, пусть и за деньги, помочь ей. На девушку, ничем не примечательную библиотекаршу, откр . . .
-
Барбара Эрскин - Дом на краю прошлого (аудиокнига) 1054,72Мб
Семья Грант попала в затруднительное положение: обанкротилась фирма, где работал муж. Но неожиданно приходит спасение. Героиня получает в наследство дом от родной матери, которая по непонятной причине . . .
-
Леонид Кондратьев, Владимир Мясоедов - Торговец rtf 12,06Мб
Я даже на гашетку от изумления забыл нажать, но тут две светящихся белым светом стрелы, прилетевшие откуда-то с позиции братьев-эльфов, ударили в глаза твари… и исчезли в них, не оставив и следа. Лишь . . .
-
"Пощады никто не желает!" АнтиЦУСИМА rtf 1,72Мб
Название: "Пощады никто не желает!" АнтиЦУСИМААвтор: Глеб ДойниковИздательство: Эксмо, ЯузаISBN: 978-5-699-50971-3Год издания: 2011Страниц: 288Язык: РусскийФормат: rtfРазмер: 1.72 МбОписание:«Наверх в . . .
-
Ледяной Сфинкс pdf 1,4Мб
Название: Ледяной Сфинкс Автор: Жюль ВернИздательство: Ладомир Год издания: 1994Страниц: 164Язык: РусскийФормат: pdfРазмер: 1,4 МбЖюль Верн — один из основоположников фантастико приключенческой . . .
-
Троя. Повелитель Серебряного лука rtf+fb2+txt 6,37Мб
Автор:Дэвид ГеммелНазвание: Троя. Повелитель Серебряного лукаИздательство: Хранитель, Харвест, АСТ Москва, АСТГод: 2007Формат: rtf+fb2+txtРазмер: 6.37 мбТроя. Процветающий город Малой Азии. Город, гд . . .
-
Андрей Буревой. Одержимый rtf, pdf 7,95Мб
Начало новой книги о бедном стражнике, которому волей случая пришлось связаться со злокозненными бесами. Название: ОдержимыйАвтор: Андрей БуревойСерия: ОдержимыйНомер книги в серии: 1Издательство: Сам . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Рекурсивные функции, Петер Р., 1954. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.