Математическая логика и ее применения, Сборник статей, Нагел Э., Саппс П., Тарский А., 1965

Математическая логика и ее применения, Сборник статей, Нагел Э., Саппс П., Тарский А., 1965.

   Предлагаемая читателю книга является сборником, составленным из докладов, представленных выдающимися зарубежными учеными на первом Международном конгрессе по логике, методологии и философии науки, состоявшемся в 1960 г. в Станфорде (США). В сборник включены наиболее интересные доклады по математической логике, теории множеств, теории моделей, теории алгоритмов, основаниям математики и математической лингвистике, не только освещающие последние достижения в данной области науки, но и намечающие задачи и проблематику дальнейших исследований.
Книга представляет интерес для широких кругов математиков, занимающихся основаниями математики и математической логикой, для философов и представителей других наук, интересующихся методологическими проблемами математики, а также для лингвистов, работающих над проблемами кодирования и обработки информации с помощью вычислительных машин. Она доступна также аспирантам и студентам старших курсов соответствующих высших учебных заведений.

Математическая логика и ее применения, Сборник статей, Нагел Э., Саппс П., Тарский А., 1965


Теория иерархий.
Мы будем вести наше исследование в рамках языка чистой простой теории типов, т. е. чистого исчисления предикатов 2) порядка w. Для этого языка мы рассмотрим различные способы задания фиксированных интерпретаций различных классов переменных, или, иными словами, мы рассмотрим языки различных прикладных исчислений предикатов порядка w.

Совершенно не существенно, какую из различных формулировок этих языков выбрать. Для наших целей неважно, будет ли в числе исходных символов равенство и будут ли входить в их число функциональные переменные вместо предикатных переменных или в дополнение к ним. Хотя такие различия ведут к некоторым изменениям в деталях теории, в частности в результатах начального уровня, относящихся к низшему типу, теории по большей части легко переводимы одна в другую. Мы будем обычно считать, что в числе исходных понятий нет равенства и функциональных переменных. С другой стороны, желательно, чтобы допускалось бесконечно много постоянных и, возможно, также бесконечно много переменных, хотя последними мы здесь не будем пользоваться.

ОГЛАВЛЕНИЕ.
Предисловие к русскому изданию.
Дж. Робинсон. Неразрешимость показательных диофантовых уравнений. Перевод М.А. Тайцлина.
Р. Boot. О теореме Кобхама, касающейся неразрешимых теорий. Перевод М.А. Тайцлина.
Дж. Аддисон. Теория иерархий. Перевод А.А. Виноградова С. Клини. Функционалы конечных типов, вычислимые на машинах Тьюринга. Перевод Н.В. Белянина.
Дж. Майхилл. Типы рекурсивной эквивалентности и комбинаторные функции. Перевод Б. А. Трахтенброта.
Дж. Шёнфилд. Некоторые приложения степеней. Перевод Б.А. Трахтенброта.
А. Робинсон. Последние достижения в теории моделей. Перевод В.Н. Кобкова и А.Д. Тайманова.
X. Кейслер. Некоторые применения теории моделей к теории множеств. Перевод Ж. Алмагамбетова.
А. Леви. К принципам отражения в аксиоматической теории множеств. Перевод В.Д. Лучкина.
Р. Моитэгю. Две теоремы, относящиеся к основаниям теории множеств. Перевод В.Д. Лучкина.
Д. Скотт. Индивиды Куайна. Перевод А.П. Мацака.
Э. Шпек к ер. Типовая неопределенность. Перевод А.В. Гладкого, М.А. Тайцлина.
A. Тарский. Некоторые проблемы и результаты, связанные с основаниями теории множеств. Перевод Ж. Алмагамбетова.
Е. Лось. Общее расширение в эквациональных классах. Перевод Ж. Алмагамбетова.
Р. Линдон. Метаматематика и алгебра: пример. Перевод Е.И. Кузьмина.
М. Рабин. Диофантовы уравнения и нестандартные модели арифметики. Перевод Е.Н. Кузьмина.
B. Швабхойзер. О полноте и разрешимости некоторых неопределимых понятий элементарной гиперболической геометрии. Перевод А.И. Фета.
В. Шмелева. Новые основания абсолютной геометрии. Перевод А. И. Фета.
П. Бернайс. Замечания о формализации и моделях. Перевод А.В. Гладкого.
А. Чёрч. Математика и логика. Перевод А.В. Гладкого. Л. Генкин. Номиналистический анализ математического языка. Перевод А.В. Гладкого.
А. Гейтиyг. Тридцать лет спустя. Перевод А.В. Гладкого. Г. Крейсел. Основания интуиционистской логики. Перевод А.В. Гладкого.
Н. Хомский. Объяснительные модели в лингвистике. Перевод М.В. Рыбаковой.
И. Бар-Хиллел. Некоторые новые результаты в теоретической лингвистике. Перевод Л.С. Модиной, В.А. Фаткулина, Н.Г. Щербаковой.
Чжао Юань-жень. Модели в лингвистике и модели вообще. Перевод Т.П. Мельниковой. И.Г. Самойловой, М. А. Рвачевой.
Ф. Хаусхолдер. Списки в грамматике. Перевод А.Я. Диковского, Г.А. Клочкова, С.П. Кузькина, Э.А. Любинской, Э.А. Пыльцевой.
Ф. Уитфилд. Критерии для додели языка. Перевод Э.И. Борисовой. Т.Г. Котеленец.
Ван Ха о. Процесс и существование в математике. Перевод Д.А. Захарова.



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Математическая логика и ее применения, Сборник статей, Нагел Э., Саппс П., Тарский А., 1965 - fileskachat.com, быстрое и бесплатное скачивание.

Скачать pdf
Ниже можно купить эту книгу по лучшей цене со скидкой с доставкой по всей России.Купить эту книгу



Скачать - pdf - Яндекс.Диск.
Дата публикации:





Теги: :: :: :: ::


Следующие учебники и книги:
Предыдущие статьи:


 


 

Книги, учебники, обучение по разделам




Не нашёл? Найди:





2021-09-17 23:06:56