Показать сокращенную информацию

dc.contributor.authorКлини С., Весли Р.
dc.date.accessioned2016-03-24T15:51:20Z
dc.date.available2016-03-24T15:51:20Z
dc.date.issued1978
dc.identifier.isbn
dc.identifier.issn
dc.identifier.urihttp://libarch.nmu.org.ua/handle/GenofondUA/80321
dc.description.abstractВ последние годы в связи с ростом интереса к эффективной математике большое внимание привлекают метаматематические, теоретико-модельные и семантические аспекты интуиционизма. Предлагаемая книга, написанная выдающимся американским математиком и логиком С.К.Клини в сотрудничестве с Р.Ю.Весли, будет способствовать знакомству читателя с этим кругом вопросов. В книге детально излагается принадлежащая Клини формализация интуиционистского анализа и рассматриваются интерпретации этого формализма средствами теории рекурсивных функций. На этой основе устанавливается ряд интересных метаматематических результатов. Одна из глав посвящена изложению развиваемой в книге формальной системы брауэровской теории континуума. Книга несомненно представит интерес как для специалистов в области математической логики и оснований математики, так и для более широкого круга читателей, интересующихся вопросами построения «эффективной» математики.
dc.language.isoRussian
dc.publisherНаука
dc.subjectМатематика\\Математическая логика
dc.subjectMathematics\\Logic
dc.subject.ddc
dc.subject.lcc
dc.titleОснования интуиционистской математики с точки зрения теории рекурсивных функций
dc.typeother
dc.identifier.aichLI6P2BJNAQDUYWBUDV4L5JI2VFCYLFD3
dc.identifier.crc320BE80C12
dc.identifier.doi
dc.identifier.edonkey86F0339D1556B7979820C6D2A65C9ECD
dc.identifier.googlebookid
dc.identifier.openlibraryid
dc.identifier.udk
dc.identifier.bbk
dc.identifier.libgenid1405283
dc.identifier.md5f73499f76dd153306ec647b354362e13
dc.identifier.sha13HNTBYOP4NGQDLSJZKJ4OZPC6KQPVXDJ
dc.identifier.tth5XMATFDZNH7UFNLKG5CTOYSTFMBAWVEIAKU454I


Файлы в этом документе

Thumbnail

Данный элемент включен в следующие коллекции

Показать сокращенную информацию