Can I read Основания интуиционистской математики с точки зрения теории рекурсивных функций on EtoBox?

Основания интуиционистской математики с точки зрения теории рекурсивных функций by Стивен Коул Клини, Ричард Весли is a nonfiction available to read on EtoBox.

What is Основания интуиционистской математики с точки зрения теории рекурсивных функций about?

В своем интуиционистском анализе Л.Э.Я.Брауэр создал теорию, которая расходится с классической математикой и которая в своих деталях не стала широко известной или понятой. Поэтому, как кажется авторам книги, эта теория представляет собой вызов метаматематическим и теоретико-модельным методам. В главе I авторы строят ее формализацию, отличную от выполненной в 1930 г. Рейтингом. Эта формализация включает в себя продолжение формального развертывания интуиционистской и классической элементарной теории чисел (арифметики), которое должно заинтересовать читателя монографии Ст.Клини "Введение в метаматематику", где такое развертывание формализованной математики в части II обрывается несколько неожиданно. Интерпретация, или теоретико-модельная трактовка, предпринята в главе II с использованием теории рекурсивных функций из части III "Введения в метаматематику". Эта глава содержит две новые интерпретации (с вариациями) посредством реализуемости (одна из них в другой форме была кратко объявлена Ст.Клини в 1957 г.). Написанная Весли третья глава формализует брауэровскую теорию континуума и, наконец, в главе IV как метаматематические, так и теоретико-модельные рассмотрения применяются к некотор

Who reads Основания интуиционистской математики с точки зрения теории рекурсивных функций?

Author

Стивен Коул Клини, Ричард Весли

Publisher

Наука

Published

1978

Language

RU

Category

nonfiction