«И» «ИЛИ»  
© Публичная Библиотека
 -  - 
Универсальная библиотека, портал создателей электронных книг. Только для некоммерческого использования!
Клини Стивен Коул

Стивен Коул Клини 110k

(Stephen Cole Kleene)

(05.01.1909 - 25.01.1994)

  ◄  СМЕНИТЬ  ►  |▼ О СТРАНИЦЕ ▼
▼ ОЦИФРОВЩИКИ ▼|  ◄  СМЕНИТЬ  ►  
Большая советская энциклопедия: Клини (Kleene) Стивен Коул (р. 5.1.1909, Хартфорд, штат Коннектикут), американский логик и математик. В 1934 получил степень доктора философии в Принстонском университете. Профессор Висконсинского университета (Мадисон) с 1948. Основные работы посвящены теории алгоритмов и рекурсивных функций, а также проблемам интуиционистской логики и математики. В частности, им доказана эквивалентность введенного А. Черчем понятия l-определимости функций с общерекурсивностью. Введенное К. понятие (рекурсивной) реализуемости формул лежит в основе интуиционистской интерпретации арифметических суждений. К. - автор ряда широко известных монографий по математической логике, основаниям математики и теории рекурсивных функций.
:
...




  • Клини С.К. Введение в метаматематику. (Introduction to Metamathematics, 1952) [Djv- 9.1M] Перевод с английского А.С. Есенина-Вольпина. Под редакцией В.А. Успенского.
    (Москва: Издательство иностранной литературы. Редакция литературы по математическим наукам, 1957)
    Скан: ???, обработка, формат Djv: Raidar, 2013
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      От переводчика (5).
      Предисловие (7).
      Часть первая. ПРОБЛЕМЫ ОСНОВАНИЙ МАТЕМАТИКИ
      Глава I. Теория множеств (11).
      Глава II. Некоторые основные концепции (25).
      Глава III. Критика математических рассуждений (39).
      Часть вторая. МАТЕМАТИЧЕСКАЯ ЛОГИКА
      Глава IV. Формальная система (67).
      Глава V. Формальный вывод (81).
      Глава VI. Исчисление высказываний (100).
      Глава VII. Исчисление предикатов (130).
      Глава VIII. Формальная арифметика. (165).
      Часть третья. РЕКУРСИВНЫЕ ФУНКЦИИ
      Глава IX. Примитивно-рекурсивиые функции (195).
      Глава X. Арифметизация метаматематики (221).
      Глава XI. Обще-рекурсивные функции (234).
      Глава XII. Частично-рекурсивные функции (283).
      Глава XIII. Функции, вычислимые по Тьюрингу (317).
      Часть четвертая. МАТЕМАТИЧЕСКАЯ ЛОГИКА (дополнительные разделы)
      Глава XIV. Исчисление предикатов и системы аксиом (343).
      Глава XV. Непротиворечивость; классическая и интуиционистская системы (389).
      Добавления переводчика (459).
      Библиография (493).
      Символы и обозначения (510).
      Список сокращений (511).
      Предметный и авторский указатель (511).
ИЗ ИЗДАНИЯ: Книга является самой обширной из имеющихся монографий по математической логике и теории рекурсивных функций. Она не предполагает со стороны читателя никаких специальных познаний и поэтому может считаться общедоступной. Книга предназначена для глубокого изучения предмета и рассчитана как на специалистов по математической логике и теории рекурсивных функций, так и на лиц, желающих впервые, но серьезно, изучить эти науки.
  • Клини С.К. Математическая логика. (Mathematical Logic, 1967) [Djv- 4.8M] Перевод с английского Ю.А. Гастева. Под редакцией Г.Е. Минца.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1973)
    Скан: ???, обработка, формат Djv: Raidar, 2013
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие к русскому изданию (5).
      Предисловие (7).
      Часть I. ЭЛЕМЕНТАРНАЯ МАТЕМАТИЧЕСКАЯ ЛОГИКА
      Глава I. Исчисление высказываний (11).
      Глава II. Исчисление предикатов (93).
      Глава III. Исчисление предикатов с равенством (177).
      Часть II. МАТЕМАТИЧЕСКАЯ ЛОГИКА И ОСНОВАНИЯ МАТЕМАТИКИ
      Глава IV. Основания математики (206).
      Глава V. Вычислимость и разрешимость (270).
      Глава VI. Исчисление предикатов (дополнительные разделы) (339).
      Приложения. Г.Е. Минц (442).
      Список литературы (451).
      Список теорем и лемм (466).
      Список постулатов (467).
      Символы и обозначения (468).
      Авторский и предметный указатель (470).
ИЗ ИЗДАНИЯ: Имя одного из крупнейших современных специалистов в области математической логики С.К. Клини знакомо советскому читателю по русскому переводу его фундаментального труда «Введение в метаматематику» (ИЛ, 1957), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики. Новая его книга представляет собой существенно усовершенствованный, расширенный и приближенный к нуждам университетского преподавания вариант «чисто логической» части этой всемирно известной монографии. Тщательно продуманные иллюстративные упражнения помогают читателю усвоить излагаемый материал.
Книга может быть использована как Учебное пособие по курсу математической логики в университетах и пединститутах; таким образом, она адресована прежде всего преподавателям, аспирантам и студентам. Она привлечет также внимание всех занимающихся или интересующихся математической логикой.