О предикативности лямбда-исчисления
Автор: Чечулин В.Л.
Журнал: Вестник Пермского университета. Серия: Математика. Механика. Информатика @vestnik-psu-mmi
Рубрика: Математика
Статья в выпуске: 4 (12), 2012 года.
Бесплатный доступ
На основании теоремы Нагорного об удвоении слов в алфавите показана предикативность лямбда исчисления, т. е. неформализуемость в лямбда-исчислении непредикативных конструкций. Этот результат совпадает с аналогичным выводом, полученным в теории мно -жеств с cамопринадлеженостью.
Лямбда-исчисление, иерархия логических структур, предикативность, непредикативность
Короткий адрес: https://sciup.org/14729822
IDR: 14729822
Список литературы О предикативности лямбда-исчисления
- Артемов С.Н. Погружение модального тисчисления в логику доказательств//Математическая логика и алгебра: тр. матем. ин-та им. В.А.Стеклова. 2003. Т. 242. С.44-58.
- Барендрегдт Х. Лямбда-исчисление: его синтаксис и семантика/пер. с англ. М.: Мир, 1985. 608 с.
- Карри Х. Основания математической логики/пер. с англ. М.: Мир, 1969. 568 с.
- Нагорный Н.М. К усилению теоремы приведения теории алгоритмов//Докл. Акад. наук СССР. 1953. Т. 90, №3. С. 341-342.
- Хендерсон П. Функциональное программирование: применение и реализация/пер. с англ. М.: Мир,1983. 350 с.
- Чечулин В.Л. О приложениях семантики самопринадлежности//Вестник Пермского университета. Сер. Математика Механика. Информатика. 2009. Вып. 3 (29). C.10-17.
- Чечулин В.Л. Ограничения информационных методов//Искусственный интеллект: философия, методология, инновации: матер. III Всерос. конф. МИРЭАМ: "СвязьПринт", 2009. С. 47-48.
- Чечулин В.Л. Об одном варианте модельной области лямбда-исчисления//Синтаксис и семантика логических систем: матер. 3-й Рос. школы-семинара. Иркутск, 2010. С.112-114.
- Чечулин В.Л. О последовательности 6 исторических этапов появления основных математических понятий//Вестник Пермского университета. Сер. Математика. Механика. Информатика. Вып. 2 (2). 2010. С.115-124.
- Чечулин В.Л. Теория множеств с самопринадлежностью (основания и некоторые приложения)/Перм. гос. ун-т. Пермь, 2010. 100с.
- Чечулин В.Л. О непротиворечивости лямбда-исчисления//В мире научных открытий. Сер. Математика. Механика. Информатика. 2011, №1. С. 203-206. URL: http://www.nkras.ru/articles/2011/1/vypusk12011.pdf
- Chechulin V.L. About the selfconsidering semantic in the mathematical logic//Bull. Symbolic Logic. 2010. Vol.16, Is.1. P.111-112.
- Чёрч А. Введение в математическую логику. Т. 1/пер. с англ. М.: Иностр. лит., 1961.
Статья научная
