Основания интуиционистской математики с точки зрения теории рекурсивных функций
Клини С., Весли Р.
В последние годы в связи с ростом интереса к эффективной математике большое внимание привлекают метаматематические, теоретико-модельные и семантические аспекты интуиционизма. Предлагаемая книга, написанная выдающимся американским математиком и логиком С.К.Клини в сотрудничестве с Р.Ю.Весли, будет способствовать знакомству читателя с этим кругом вопросов.
В книге детально излагается принадлежащая Клини формализация интуиционистского анализа и рассматриваются интерпретации этого формализма средствами теории рекурсивных функций. На этой основе устанавливается ряд интересных метаматематических результатов. Одна из глав посвящена изложению развиваемой в книге формальной системы брауэровской теории континуума.
Книга несомненно представит интерес как для специалистов в области математической логики и оснований математики, так и для более широкого круга читателей, интересующихся вопросами построения «эффективной» математики.
В книге детально излагается принадлежащая Клини формализация интуиционистского анализа и рассматриваются интерпретации этого формализма средствами теории рекурсивных функций. На этой основе устанавливается ряд интересных метаматематических результатов. Одна из глав посвящена изложению развиваемой в книге формальной системы брауэровской теории континуума.
Книга несомненно представит интерес как для специалистов в области математической логики и оснований математики, так и для более широкого круга читателей, интересующихся вопросами построения «эффективной» математики.
श्रेणियाँ:
साल:
1978
प्रकाशन:
Наука
भाषा:
russian
पृष्ठ:
272
श्रृंखला:
Математическая логика и основания математики, 17
फ़ाइल:
DJVU, 3.53 MB
IPFS:
,
russian, 1978