VIPBOOK.SU
ЭЛЕКТРОННАЯ БИБЛИОТЕКА






Добро пожаловать на сайт электронной библиотеки!
Здесь можно найти произведения русских и зарубежных авторов.
Скачать множество книг и журналов различных жанров и направлений.
Большой выбор художественной, бизнес, учебной и технической литературы.
Все представленные здесь книги и журналы имеют подробное описание и обложку.
Наша библиотека регулярно пополняется только новыми и интересными материалами!

«Подробнее о сайте»            «Правила сайта»            «Написать нам»            «Статьи»

Основания интуиционистской математики

Наука и познание >> Математика





Разместил: na5ballov

11-10-2017, 17:51

Просмотров: 253





Основания интуиционистской математики


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


Название: Основания интуиционистской математики
Автор: Клини С.К., Весли Р.Е.
Формат: PDF
Размер: 12 mb
Качество: Отличное
Язык: Русский
Год издания: 1978










Похожие публикации

Клини С.К. - Математическая логика (1973) Клини С.К. - Математическая логика (1973)
Книга может быть использована как учебное пособие по курсу математической логики в университетах и пединститутах; таким образом, она адресована прежде всего преподавателям, аспирантам и студентам. Она привлечет также внимание всех занимающихся или

Множества. Логика. Аксиоматические теории Множества. Логика. Аксиоматические теории
В книге дается элементарное изложение важнейших понятий, идей, методов и результатов теории множеств (включая алгебру операций над множествами), математической логики (элементы логики высказываний и логики предикатов), оснований математики

Теория восстановления Теория восстановления
Монография Д. Р. Кокса «Теория восстановления» написана в плане прикладной математики и доступна широкому кругу инженеров. Статья В. Л. Смита «Теория восстановления и смежные с ней вопросы» посвящена более тонким вопросам теории восстановления. В

Основания геометрии. Часть 1 Основания геометрии. Часть 1
Первая часть, составляющая содержание настоящего тома, посвящена обстоятельному изложению геометрии Лобачевского, этого основного творения, на котором прежде всего построено современное учение об основаниях геометрии, если не об обосновании всей

Очерки развития математики в СССР Очерки развития математики в СССР
В предлагаемой книге освещены основные направления развития фундаментальных и прикладных исследований в советской математике. Приведены обзоры наиболее важных результатов, полученных советскими математиками в области математической логики, алгебры,

Крайзель Г. - Исследования по теории доказательств Крайзель Г. - Исследования по теории доказательств
Сборник работ крупного американского специалиста по математической логике и основаниям математики. В нем дается обзор основных результатов математической теории доказательств и ее методов. Уделяется место происхождению методов теории доказательств и

Конструктивная теория доказательств и нестандартный анализ Конструктивная теория доказательств и нестандартный анализ
А. Г. Драгалин (1941-1998) — выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены труды А. Г. Драгалина по

Теория представлений и автоморфные функции Теория представлений и автоморфные функции
Теория представлений групп позволила по-новому понять классические результаты теории автоморфных функций, шире поставить задачи этой теории и получить ряд новых важных результатов. Важную роль играет также язык теории аделей — недавно возникшего

В. Альсведе, И. Вегенер. Задачи поиска В. Альсведе, И. Вегенер. Задачи поиска
Монография западно-германских специалистов посвящена теории поиска - новому направлению математики на стыке комбинаторики, математической статистики и теории информации. Книга представляет собой сравнительно элементарный обзор методов построения и

Математическая логика Математическая логика
В настоящее издание включены два учебника А. Н. Колмогорова и А. Г. Драгалина "Введение в математическую логику" и "Математическая логика. Дополнительные главы», ранее издававшиеся по отдельности. Они содержат классическое изложение понятий и




Отзывы и Комментарии





Добавление комментария

Ваше Имя:
Ваш E-Mail:(необязательно)
  • bowtiesmilelaughingblushsmileyrelaxedsmirk
    heart_eyeskissing_heartkissing_closed_eyesflushedrelievedsatisfiedgrin
    winkstuck_out_tongue_winking_eyestuck_out_tongue_closed_eyesgrinningkissingstuck_out_tonguesleeping
    worriedfrowninganguishedopen_mouthgrimacingconfusedhushed
    expressionlessunamusedsweat_smilesweatdisappointed_relievedwearypensive
    disappointedconfoundedfearfulcold_sweatperseverecrysob
    joyastonishedscreamtired_faceangryragetriumph
    sleepyyummasksunglassesdizzy_faceimpsmiling_imp
    neutral_faceno_mouthinnocent

Книги