Математическая логика

Математическая логика

Для скачивания материала заполните поле ниже и нажмите скачать.

Сколько будет 3 + 3?

Год: 2007
Автор: Стивен Коул Клини
Описание: Настоящая книга, написанная выдающимся заокеанским математиком Стивеном Клини, является одной из самых обширных из имеющихся монографий по математической логике и теории рекурсивных функций. Настоящая книга, написанная выдающимся заокеанским математиком Стивеном Клини, является одной из самых обширных из имеющихся монографий по математической логике и теории рекурсивных функций. Этот капитальный труд по праву стал настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики. Этот капитальный труд по праву стал настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики. Клини "Вступление в метаматематику", где такое развертывание формализованной математики в части II обрывается несколько неожиданно. Брауэр сотворил теорию, которая расходится с классической математикой и которая в своих деталях не стала обширно вестимой либо понятой. Поэтому, как кажется авторам книги, эта теория представляет собой вызов метаматематическим и теоретико-модельным методам. В главе I авторы строят ее формализацию, хорошую от исполненной в 1930 г. Эта формализация включает в себя продолжение формального развертывания интуиционистской и классической элементарной теории чисел (арифметики), которое должно заинтересовать читателя монографии Ст. Интерпретация, либо теоретико-модельная трактовка, предпринята в главе II с применением теории рекурсивных функций из части III "Вступления в метаматематику". Эта глава содержит две новые интерпретации (с вариациями) посредством реализуемости (одна из них в иной форме была коротко объявлена Ст. Написанная Весли третья глава формализует брауэровскую теорию континуума и, наконец, в главе IV как метаматематические, так и теоретико-модельные рассмотрения используются к некоторым спорным вопросам рассматриваемой теории. У читателя не предполагается никаких заблаговременных умений, за исключением знакомства с некоторым материалом, тот, что дозволено обнаружить в главах I - XII "Вступления в метаматематику" либо где-нибудь еще. Цель автора - дать читателю связное вступление в область данных научных дисциплин, а также в изыскания по основаниям математики вообще. Первая часть книги содержит нужный подготовительный материал. В восьмой главе 2-й части высказаны известные теоремы Гёделя о неполноте. Третья часть, содержащая в числе прочего изложение теории общерекурсивных и частично-рекурсивных функций, может служить начальством для постижения теории рекурсивных функций.

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *