Книга: Чёрч А. «Введение в математическую логику»
Серия: "Физико-математическое наследие: математика (основания математики и логика)" Эта монография принадлежит перу одного из самых известных специалистов в области математической логики. Она задумана автором в качестве учебника для студентов, атакже в известной мере в качестве справочника. Предполагая у читателя только общую математическую культуру, книга с первых же страниц вводит его в глубокую проблематику, связанную с основными понятиями математической логики. Изложенный в ней материал представляет ценность для всякого математика, в том числе и для специалиста по математической логике. В качестве справочника ею могут пользоваться также и не математики. Издательство: "URSS" (2009)
ISBN: 978-5-397-00468-8 Купить за 607 руб в My-shop |
Черч А.
Алонзо Чёрч (англ. Alonzo Church; 14 июня 1903, Вашингтон, США — 11 августа 1995, Хадсон, Огайо, США) — американский математик и логик, внесший вклад в основы информатики. Получил степень бакалавра в Принстонском университете в 1924 году, и кандидатскую в 1927 под руководством Освальда Веблена. Чёрч стал профессором математики в Принстоне в 1929 году.
Чёрч прославился разработкой теории лямбда-исчислений, последовавшей за его знаменитой статьёй 1936 года, в которой он показал существование т. н. «неразрешимых задач». Эта статья предшествовала знаменитому исследованию Алана Тьюринга на тему проблемы остановки, в котором также было продемонстрировано существование задач, неразрешимых механическими способами. Впоследствии Чёрч и Тьюринг показали, что лямбда-исчисления и машина Тьюринга имели одинаковые свойства, таким образом доказывая, что различные «механические процессы вычислений» могли иметь одинаковые возможности. Эта работа была оформлена как тезис Чёрча — Тьюринга.
Чёрч оставался профессором математики в Принстоне до 1967 года, после чего он переехал в Калифорнию. Помимо прочего, его система лямбда-исчислений легла в основу функциональных языков программирования, в частности семейства Лисп (например,
См. также
- Лямбда-исчисление
- Тезис Чёрча — Тьюринга
- Функциональное программирование
- Теория вычислимости
- Теория алгоритмов
Источник: Черч А.
Другие книги схожей тематики:
Автор | Книга | Описание | Год | Цена | Тип книги |
---|---|---|---|---|---|
Мендельсон Э. | Введение в математическую логику | В книге Э. Мендельсона "Введение в математическую логику" даётся доступное для начинающего читателя и… — ЁЁ Медиа, - Подробнее... | 1971 | 2003 | бумажная книга |
Э. Мендельсон | Введение в математическую логику | В книге Э. Мендельсона`Введение в математическую логику`даётся доступное для начинающего читателя и… — Книга по Требованию, Подробнее... | 2012 | 2252 | бумажная книга |
Чёрч А. | Введение в математическую логику | Эта монография принадлежит перу одного из самых известных специалистов в области математической логики… — URSS, Физико-математическое наследие: математика (основания математики и логика) Подробнее... | 2009 | 607 | бумажная книга |
Зюзьков В.М. | Введение в математическую логику | Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и… — Лань, - Подробнее... | 2018 | 1384 | бумажная книга |
Зюзьков В.М. | Введение в математическую логику | Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и… — Лань, (формат: 70x100/16, 268 стр.) Подробнее... | 2018 | 1790 | бумажная книга |
А. Черч | Введение в математическую логику. Том 1 | Эта монография принадлежит перу одного из самых известных специалистов в области математической логики… — Либроком, (формат: 60x90/16, 480 стр.) Природа Дальнего Востока Подробнее... | 2009 | 486 | бумажная книга |
Зюзьков Валентин Михайлович | Введение в математическую логику. Учебное пособие | Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и… — Лань, Учебники для вузов. Специальная литература Подробнее... | 2018 | 2735 | бумажная книга |
Зюзьков В. | Введение в математическую логику Учебное пособие | Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и… — (формат: Твердая глянцевая, 268 стр.) Подробнее... | 2018 | 1622 | бумажная книга |
Колмогоров А.Н. | Математическая логика. Введение в математическую логику | Авторы настоящей книги - А. Н. Колмогоров и А. Г. Драгалин - выдающиеся отечественные математики, оказавшие… — URSS, Классический университетский учебник Подробнее... | 2017 | 568 | бумажная книга |
Колмогоров А., Драгалин А. | Математическая логика Введение в математическую логику | Авторы настоящей книги - А. Н. Колмогоров и А. Г. Драгалин - выдающиеся отечественные математики, оказавшие… — (формат: Твердая глянцевая, 240 стр.) Подробнее... | 2017 | 583 | бумажная книга |
См. также в других словарях:
ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… … Философская энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
МЕТАЛОГИКА — раздел логики, в котором изучаются логические исчисления и формализованные логические теории. В рамках данного раздела изучаются все те универсальные отношения, которые могут иметь место между смысловыми значениями символов того или иного языка;… … Философская энциклопедия
ЧЁРЧ — (Church) Алонзо (р. 14.6.1903, Вашингтон), амер. логик и математик. Работы Ч. относятся к различным областям логики. Он развил мысль об отделении понятия функции от понятия множества. В 1936 выдвинул осн. гипотезу теории вычислимых… … Философская энциклопедия
ЛОГИКА СИМВОЛИЧЕСКАЯ — ЛОГИКА СИМВОЛИЧЕСКАЯ математическая логика. теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин “символическая логика” был, по видимому … Философская энциклопедия