Уведомления
Уведомлений еще не было
Восьмая личность
Восьмая личность

Мей-Фан Чан Максин

7.0
81 оценка
Странные игры
Странные игры

Майк Омер

8.0
1 оценка
Мрачный Жнец
Мрачный Жнец

Терри Пратчетт

8.0
5623 оценки
Азиль
Азиль

Анна Семироль

8.6
28 оценок
Пойдем играть к Адамсам
Пойдем играть к Адамсам

Джонсон Мендал У.

9.0
1 оценка
Те, кто желает мне смерти
Те, кто желает мне смерти

Майкл Корита

7.6
81 оценка

Книги Стивена Коула Клини

Стивен Коул Клини - автор 2 книг. Из известных произведений можно выделить: Введение в метаматематику, Основания интуиционистской математики с точки зрения теории рекурсивных функций. Все книги можно читать онлайн и бесплатно скачивать на нашем портале.

Фильтры
Год написания

Тип сюжета
Тема
Герои
Место действия
Время действия
Математика
0.0
0
0
Введение в метаматематику
Стивен Коул Клини
Введение в метаматематику

Настоящая книга, написанная выдающимся американским математиком Стивеном Клини, является одной из самых обширных из имеющихся монографий по математической логике и теории рекурсивных функций. Этот фундаментальный труд по праву стал настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики. Цель автора - дать читателю связное введение в облас...

Стивен Коул Клини Введение в метаматематику
0.0
0
0
Основания интуиционистской математики с точки зрения теории рекурсивных функций
Стивен Коул Клини
Основания интуиционистской математики с точки зрения теории рекурсивных функций

В своем интуиционистском анализе Л.Э.Я.Брауэр создал теорию, которая расходится с классической математикой и которая в своих деталях не стала широко известной или понятой. Поэтому, как кажется авторам книги, эта теория представляет собой вызов метаматематическим и теоретико-модельным методам. В главе I авторы строят ее формализацию, отличную от выполненной в 1930 г. Рейтингом. Эта формализация вкл...

Стивен Коул Клини Основания интуиционистской математики с точки зрения теории рекурсивных функций

Книгогид использует cookie-файлы для того, чтобы сделать вашу работу с сайтом ещё более комфортной. Если Вы продолжаете пользоваться нашим сайтом, вы соглашаетесь на применение файлов cookie.