URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Клини С., Весли Р. Основания интуиционистской математики с точки зрения теории рекурсивных функций. Пер. с англ.
Id: 16588
 
999 руб.

Основания интуиционистской математики с точки зрения теории рекурсивных функций. Пер. с англ.

1978. 272 с. Твердый переплет. Букинист. Состояние: 4+. .

 Аннотация

В книге детально излагается принадлежащая Клини формализация интуиционистского анализа и рассматриваются интерпретации этого формализма средствами теории рекурсивных функций.


 ОГЛАВЛЕНИЕ

От переводчиков.................... 7

Предисловие...................... 9

Глава I

Формальная система интуиционистского анализа. С. К. Клини 11

§ 1. Введение (в монографию)........... 11

§ 2. Статус формальной системы........... 15

§ 3. Правила образования.............. 19

§ 4. Постулаты исчисления предикатов, арифметики и касающиеся функций (постулаты групп А - С)24

§ 5. Постулаты для некоторых примитивно рекурсивных

функций и их следствия (постулаты группы D) 32

§ 6. Постулаты для потоков (бар-теорема)..... 65

§ 7. Постулаты, касающиеся сопоставления функций

последовательностям выбора (принцип Брауэра) 100

Глава II

Различные понятия реализуемости. С. К. Клини..... 127

§ 8. Определение реализуемости........... 127

§ 9. Реализуемость и выводимость в интуиционистской

формальной системе............... 147

§ 10. Специальная реализуемость........... 166

§ 11. Специальная реализуемость и выводимость в интуиционистской формальной системе........ 176

Глава III

Интуиционистский континуум. Р. Ю. Ввели....... 184

§ 12. Введение.................... 184

§ 13. Действительные числовые генераторы и действительные числа................. 185

§ 14. Представление потоком; основные свойства континуума......................

§ 16. Теорема о равномерной непрерывности.....

§ 16. Структура континуума.............

Глава IV

О порядке на континууме. С. К- Клини..........

§ 17. Введение и предварительные замечания.....

§ 18. Опровержение или доказательство независимости некоторых классических свойств порядка....

Библиография. С. К. Клини..............

Указатель имен.....................

Предметный указатель.................

Указатель обозначений................

 
© URSS 2016.

Информация о Продавце