Леон Хенкин
- Алонзо Хенкин был американским логиком и математиком, известным своими исследованиями в области алгебры и полноты формальных систем.
- Он получил степень доктора философии в Принстоне и был блестящим исследователем, преподавателем и человеком, проявлявшим солидарность со своим сообществом.
- Хенкин сосредоточился на цилиндрических алгебрах, которые предоставляют структуры, аналогичные булевой алгебре для логики высказываний.
- Он доказал полноту логики первого порядка, что является сильным результатом и может быть легко адаптировано для доказательства полноты других дедуктивных систем.
- Хенкин пришел к доказательству полноты логики первого порядка случайно, пытаясь доказать совершенно другой результат.
- Он изучал элементы, которые были названы в теории типов Черча, и пытался указать, какие функции над этими элементами могут быть названы.
- Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.
Полный текст статьи: