Леон Хенкин
Леон Хенкин · Технологии и инженерия
Леон Хенкин был американским логиком, наиболее известным «доказательством Хенкина» теоремы о полноте для логики первого порядка — приёмом, ставшим стандартным в математической логике, — а также конструкцией Хенкина и работами по теории типов.
1921, Brooklyn, New York, USA — 2006, Oakland, California, USA
United States · University of California, Berkeley
Леон Хенкин был американским логиком, наиболее известным «доказательством Хенкина» теоремы о полноте для логики первого порядка — приёмом, ставшим стандартным в математической логике, — а также конструкцией Хенкина и работами по теории типов. Он преподавал в Калифорнийском университете в Беркли и отстаивал математическое образование и доступ к нему. Он был евреем.
Проверьте и углубитесь с помощью этих внешних источников.
Источник: Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
Эта страница выходит на семи языках и переведена с английского. Переводы проверяются, но ошибка может проскользнуть. Если вы заметили её на этой карточке — неверное слово, потерянную дату, фразу, которой нет в английском, — сообщите нам.
Леон Хенкин был американским логиком, наиболее известным «доказательством Хенкина» теоремы о полноте для логики первого порядка — приёмом, ставшим стандартным в математической логике, — а также конструкцией Хенкина и работами по теории типов.
Источник: Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
