Название: Основания интуиционистской математики Автор: Клини С.К., Весли Р.Е. Издательство: М.: Наука, Физматлит Год: 1978 Формат: pdf Страниц: 271 Размер: 12 mb Язык: Русский
В книге детально излагается принадлежащая Клини формализация интуиционистского анализа и рассматриваются интерпретации этого формализма средствами теории рекурсивных функций. На этой основе устанавливается ряд интересных метаматематических результатов. Одна из глав посвящена изложению развиваемой в книге формальной системы брауэровской теории континуума. Книга несомненно представит интерес как для специалистов в области математической логики и оснований математики, так и для более широкого круга читателей, интересующихся вопросами построения «эффективной» математики.
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
С этой публикацией часто скачивают:
Теория доказательств Название: Теория доказательств Автор: Такеути Г. Издательство: М.: Мир Год: 1978 Cтраниц: 208 Формат: pdf Размер: 32 мб Язык: русский Кроме...
Основные понятия вычислительной математики Название: Основные понятия вычислительной математики Автор: В.Ф. Дьяченко Издательство: Наука Год: 1972 Формат: pdf Страниц: 120 Размер: 1,4 Мб Язык:...
Теория доказательств Название: Теория доказательств Автор: Такеути Г. Издательство: М.: Мир Год: 1978 Формат: PDF Страниц: 412 Размер: 32.9 MB Язык: Русский Книга...
Основания теории множеств Название: Основания теории множеств Автор: Френкель А., Бар-Хиллел И. Издательство: Мир Год: 1966 Формат: pdf Страниц: 557 Размер: 58 Mb Язык:...
Введение в метаматематику Название: Введение в метаматематику Автор: Клини С.К. Издательство: Изд-во иностранной лит-ры Год издания: 1957 Страниц: 524 Язык: Русский Формат:...
Курс высшей математики. Том V Название: Курс высшей математики. Том V Автор: Смирнов В.И. Издательство: ОГИ3 ГИТТЛ Год: 1947 Страниц: 584 Формат: pdf и djvu Качество: хорошее...
Очерки развития математики в СССР Название: Очерки развития математики в СССР Автор: Штокало И.З., Боголюбов А.Н., Юшкевич А.П. (ред.) Издательство: Наук. думка Год: 1983 Страниц: 766...
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.
Навигация
Вход на сайт
Реклама
Основания интуиционистской математики 
