Рекурсивные функции, Петер Р., 1954


Книга Рекурсивные функции, Петер Р., 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Мб

    Юрий Иванович - Миры Доставки. Книга 3. На родном Оилтоне rtf 15,05Мб

    Мне же сразу бросилась в глаза та прыть, с которой Патрисия, с присущей только ей ловкостью, оттеснила Малыша в сторону и сама взяла Синяву Кассиопейскую под руку. И лично повела на почётное место, о . . .

  • Книга Тимур Рымжанов - Колдун. Руны грома rtf  12,27Мб

    Тимур Рымжанов - Колдун. Руны грома rtf 12,27Мб

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

  • Книга Флэшмен на острие удара pdf 34,98Мб

    Флэшмен на острие удара pdf 34,98Мб

    Название: Флэшмен на острие удараАвтор: Фрейзер ДжорджИздательство: Вече Год: 2011 Страниц: 384Формат: pdfРазмер: 34,98 мбКачество: хорошееЯзык: русскийВ России Флэшмена ждет славная мясорубка! Крымск . . .

  • Книга Ольга Романовская. Чужие воспоминания rtf, pdf 10,01Мб

    Ольга Романовская. Чужие воспоминания rtf, pdf 10,01Мб

    Случайно спася темного мага Лэрзена, Одана и не предполагала, что вскоре он окажется единственным, кто согласится, пусть и за деньги, помочь ей. На девушку, ничем не примечательную библиотекаршу, откр . . .

  • Книга Барбара Эрскин - Дом на краю прошлого (аудиокнига)  1054,72Мб

    Барбара Эрскин - Дом на краю прошлого (аудиокнига) 1054,72Мб

    Семья Грант попала в затруднительное положение: обанкротилась фирма, где работал муж. Но неожиданно приходит спасение. Героиня получает в наследство дом от родной матери, которая по непонятной причине . . .

  • Книга Леонид Кондратьев, Владимир Мясоедов - Торговец rtf 12,06Мб

    Леонид Кондратьев, Владимир Мясоедов - Торговец rtf 12,06Мб

    Я даже на гашетку от изумления забыл нажать, но тут две светящихся белым светом стрелы, прилетевшие откуда-то с позиции братьев-эльфов, ударили в глаза твари… и исчезли в них, не оставив и следа. Лишь . . .

  • Книга "Пощады никто не желает!" АнтиЦУСИМА rtf 1,72Мб

    "Пощады никто не желает!" АнтиЦУСИМА rtf 1,72Мб

    Название: "Пощады никто не желает!" АнтиЦУСИМААвтор: Глеб ДойниковИздательство: Эксмо, ЯузаISBN: 978-5-699-50971-3Год издания: 2011Страниц: 288Язык: РусскийФормат: rtfРазмер: 1.72 МбОписание:«Наверх в . . .

  • Книга Ледяной Сфинкс pdf 1,4Мб

    Ледяной Сфинкс pdf 1,4Мб

    Название: Ледяной Сфинкс Автор: Жюль ВернИздательство: Ладомир Год издания: 1994Страниц: 164Язык: РусскийФормат: pdfРазмер: 1,4 МбЖюль Верн — один из основоположников фантастико приключенческой . . .

  • Книга Троя. Повелитель Серебряного лука rtf+fb2+txt 6,37Мб

    Троя. Повелитель Серебряного лука rtf+fb2+txt 6,37Мб

    Автор:Дэвид ГеммелНазвание: Троя. Повелитель Серебряного лукаИздательство: Хранитель, Харвест, АСТ Москва, АСТГод: 2007Формат: rtf+fb2+txtРазмер: 6.37 мбТроя. Процветающий город Малой Азии. Город, гд . . .

  • Книга Андрей Буревой. Одержимый rtf, pdf 7,95Мб

    Андрей Буревой. Одержимый rtf, pdf 7,95Мб

    Начало новой книги о бедном стражнике, которому волей случая пришлось связаться со злокозненными бесами. Название: ОдержимыйАвтор: Андрей БуревойСерия: ОдержимыйНомер книги в серии: 1Издательство: Сам . . .


Вы не зарегистрированы!

Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.

Отзывы читателей


Ой!

К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Рекурсивные функции, Петер Р., 1954. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.