Рекурсивные функции, Петер Р., 1954.
Во всем современном математическом мышлении большое место занимает различение между «конструктивным» и «неконструктивным». Даже математики, которые спокойно признают «неконструктивные» доказательства существования, не могут отрицать, что чистое (неконструктивное) доказательство существования какого-либо математического объекта естественно влечет за собой проблему восполнения этого доказательства соответствующей конструкцией.
РЕКУРСИВНЫЕ ФУНКЦИИ И ОТНОШЕНИЯ.
В предыдущем параграфе мы дали определения целого ряда функций, употребляемых в элементарной теории чисел. Как отмечалось, каждое из этих определений позволяет для любого конкретного значения аргумента фактически вычислять значение соответствующей функции. При этом нигде не требуется производить выбор числа с каким-либо определенным свойством из совокупности всех натуральных чисел и нигде не используется то обстоятельство, что все натуральные числа обладают каким-либо определенным свойством. Сколем [1] впервые заметил, что в этом смысле элементарная теория чисел может быть построена конструктивно. Было установлено, что часть упомянутых определений составляют определения посредством рекурсии, т. е. такие определения, при которых задается значение определяемой функции в некоторой начальной точке и указывается, как значения функции в остальных точках вычислять по значениям в предшествующих точках. Другие функции конструируются из уже полученных путем подстановки. Первой встретившейся нам функцией, которая строится посредством подстановки, была функция в1(m, n) из п. 5 §1. Она строится так: сначала в функции а—n производятся замена n на m и подстановка п+1 вместо а, а затем полученная функция (n+1)-n подставляется в sg(n) вместо n.
Рейтинг: | 4.8 баллов / 2537 оценок |
Формат: | Книга |
Уже скачали: | 12864 раз |
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
Ле Боэк Я. Римская армия эпохи Ранней Империи. Пер. с франц. М. Н. Челинцевой. М.: «Российская политическая энциклопедия» (РОССПЭН), 2001. 442 с.Аннотация. Книга известного французского исследователя, . . .
Название: Развод. Алименты, раздел имущества. Как правильно подать иск в суд?Автор: М. Н. ДолговаИздательство: "ГроссМедиа, РОСБУХ"Год: 2008Язык: РусскийФормат: PDFРазмер: 18.48 Mb МбКачеств . . .
Название: Домашние заготовки №10 2009. КапустаАвтор: ред. Е. СвириденкоИздательство: Новая детская литератураГод: 2009Выпуск: 10Страниц: 32Формат: DJVU JPGРазмер: 1.1 7.88 Мб Капуста бывает разная: . . .
Название: Оперативно-розыскные мероприятия на каналах связиАвтор: Евстратиков Б.М., Захарцев С.И., Медведев В.Н., Сальников В.П. Издательство: Фонд «Университет»Год: 2005Язык: РусскийФормат: PDFРазмер . . .
Пученков А.С. Украина и Крым в 1918 - начале 1919 года. Очерки политической истории. СПб., Нестор-история, 2013.Описание. Книга рассказывает об истории Украины и Крыма в 1918 – начале 1919 гг. В моног . . .
Название: Законодательные основы оперативно-розыскной деятельности: Курс лекцийАвтор: Кваша Ю.Ф., Сурков К.В., Васильев Н.Н. Издательство: МоскваГод: 2005Язык: РусскийФормат: DOCРазмер: 10.77 Mb МбКач . . .
Булдаков В.П. Утопия, агрессия, власть. Психосоциальная динамика постреволюционного времени. Россия, 1920-1930 гг. М., 2012.Аннотация. Автор объясняет, как и почему большевистский нэп оказался пролого . . .
Журнал: Худеем правильно №4 (апрель 2015)Первый и единственный журнал на российском рынке с эксклюзивной методикой по снижению веса. Эксклюзивные рецепты вкусных блюд для похудения; советы ведущих дие . . .
Колоницкий Б. "Трагическая эротика": Образы императорской семьи в годы Первой мировой войны. М., 2010.Аннотация. Верноподданным российского императора следовало не только почитать своего государя, но . . .
Ленин. Собрание фотографий и кинокадров. В двух томах. Под ред. А. Сандлера. М., 1970.Том 1. Фотографии. 1874-1923.Том 2. Кинокадры. 1918-1922.Аннотация. Книга-альбом издана к 100-летию со дня рождени . . .
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Рекурсивные функции, Петер Р., 1954. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.