Основания интуиционистской математики с точки зрения теории рекурсивных функций, С.К.Клини, Ричард Весли, В своем интуиционистском анализе Л.Э.Я.Брауэр создал теорию, которая расходится с классической математикой.....(623/л)
Удалён продавцом.
8 апр 2021 14:47
вбЮ/ОзЮ(00-40)Яковлев В., Студенецкий Н. Игры пионеров, Изд. 1951 г
4 000 руб.вб/oz(4092357)Отверженный с божьей отметиной, Кучмаев Борис Г.
1 800 руб.вб/oz(4092359)Яблочный спас. Из истории садов Красноярья, Лалетина Н., Исследование, построенное на солидной документальной базе, с использованием архивных материалов, охватывает период с середины 18 века...
2 000 руб.ВбР/Oz(4092374)Цветов Я. Синие берега
1 000 руб.оз..вбр...(4092392) Тайны политических убийств Виктор Кожемяко. Серия Политический компромат.
3 500 руб.оз..вбр..(4092392) Пионеры, Идите в ж....! Ф. Раневская.
1 000 руб.(4092357)Миротин Л.Б., Ташбаев Ы.Э Системный анализ в логистике.
300 руб.вбР(4092357)Ламли Брайан. Мифы Ктулху. Серия: Город крови
600 руб.Основания интуиционистской математики с точки зрения теории рекурсивн...
Цена
400 руб.
Цена
400 руб.
Удалён(8 апр 2021 14:47)
Описание
Год выпуска 1978
Сохранность Хорошая
Авторы Стивен Коул Клини, Ричард Весли
Формат издания 130х200 мм (средний формат)
Количество страниц 270
Тираж 8000
Издательство Главная редакция физико-математической литературы издательства "Наука"
Серия Математическая логика и основания математики
Переплет Твердый переплет
Тип издания Отдельное издание
Вес в упаковке, г 320
В своем интуиционистском анализе Л.Э.Я.Брауэр создал теорию, которая расходится с классической математикой и которая в своих деталях не стала широко известной или понятой. Поэтому, как кажется авторам книги, эта теория представляет собой вызов метаматематическим и теоретико-модельным методам. В главе I авторы строят ее формализацию, отличную от выполненной в 1930 г. Рейтингом. Эта формализация включает в себя продолжение формального развертывания интуиционистской и классической элементарной теории чисел (арифметики), которое должно заинтересовать читателя монографии Ст.Клини "Введение в метаматематику", где такое развертывание формализованной математики в части II обрывается несколько неожиданно. Интерпретация, или теоретико-модельная трактовка, предпринята в главе II с использованием теории рекурсивных функций из части III "Введения в метаматематику". Эта глава содержит две новые интерпретации (с вариациями) посредством реализуемости (одна из них в другой форме была кратко объявлена Ст.Клини в 1957 г.). Написанная Весли третья глава формализует брауэровскую теорию континуума и, наконец, в главе IV как метаматематические, так и теоретико-модельные рассмотрения применяются к некоторым спорным вопросам рассматриваемой теории. У читателя не предполагается никаких предварительных знаний, за исключением знакомства с некоторым материалом, который можно найти в главах I - XII "Введения в метаматематику" или где-нибудь еще.
Сохранность Хорошая
Авторы Стивен Коул Клини, Ричард Весли
Формат издания 130х200 мм (средний формат)
Количество страниц 270
Тираж 8000
Издательство Главная редакция физико-математической литературы издательства "Наука"
Серия Математическая логика и основания математики
Переплет Твердый переплет
Тип издания Отдельное издание
Вес в упаковке, г 320
В своем интуиционистском анализе Л.Э.Я.Брауэр создал теорию, которая расходится с классической математикой и которая в своих деталях не стала широко известной или понятой. Поэтому, как кажется авторам книги, эта теория представляет собой вызов метаматематическим и теоретико-модельным методам. В главе I авторы строят ее формализацию, отличную от выполненной в 1930 г. Рейтингом. Эта формализация включает в себя продолжение формального развертывания интуиционистской и классической элементарной теории чисел (арифметики), которое должно заинтересовать читателя монографии Ст.Клини "Введение в метаматематику", где такое развертывание формализованной математики в части II обрывается несколько неожиданно. Интерпретация, или теоретико-модельная трактовка, предпринята в главе II с использованием теории рекурсивных функций из части III "Введения в метаматематику". Эта глава содержит две новые интерпретации (с вариациями) посредством реализуемости (одна из них в другой форме была кратко объявлена Ст.Клини в 1957 г.). Написанная Весли третья глава формализует брауэровскую теорию континуума и, наконец, в главе IV как метаматематические, так и теоретико-модельные рассмотрения применяются к некоторым спорным вопросам рассматриваемой теории. У читателя не предполагается никаких предварительных знаний, за исключением знакомства с некоторым материалом, который можно найти в главах I - XII "Введения в метаматематику" или где-нибудь еще.
Доставка в другие города
Почта России
вбЮ/ОзЮ(00-40)Яковлев В., Студенецкий Н. Игры пионеров, Изд. 1951 г
4 000 руб.вб/oz(4092357)Отверженный с божьей отметиной, Кучмаев Борис Г.
1 800 руб.вб/oz(4092359)Яблочный спас. Из истории садов Красноярья, Лалетина Н., Исследование, построенное на солидной документальной базе, с использованием архивных материалов, охватывает период с середины 18 века...
2 000 руб.ВбР/Oz(4092374)Цветов Я. Синие берега
1 000 руб.оз..вбр...(4092392) Тайны политических убийств Виктор Кожемяко. Серия Политический компромат.
3 500 руб.оз..вбр..(4092392) Пионеры, Идите в ж....! Ф. Раневская.
1 000 руб.(4092357)Миротин Л.Б., Ташбаев Ы.Э Системный анализ в логистике.
300 руб.вбР(4092357)Ламли Брайан. Мифы Ктулху. Серия: Город крови
600 руб.Поделиться этим лотом: