Герберт Гелернтер
Хербет Лео Гелернтер | |
---|---|
Рожденный | 17 декабря 1929 г. |
Умер | 28 мая 2015 г. | ( 85 лет
Занятие | Профессор |
Академическое образование | |
Альма-матер | Рочестерский университет |
Академическая работа | |
Дисциплина | Информатика |
Учреждения | Университет Стоуни-Брук |
Известные работы | Средство доказательства теорем геометрии |
Герберт Лео Гелернтер (17 декабря 1929 г. - 28 мая 2015 г.) [1] [2] [3] был профессором факультета компьютерных наук Университета Стоуни-Брук . [4]
Краткая биография
[ редактировать ]Получив степень бакалавра в 1951 году в Бруклинском колледже , [1] Гелернтер получил докторскую степень. в Рочестерском университете в 1957 году. [4] [5]
Длительный визит Гелернтера в Европейскую организацию ядерных исследований (ЦЕРН) в 1960/61 году, когда он разрабатывал прототип своего «видикона» (системы, которая обходилась без пленки и использовала трубку телевизионной камеры для записи искровой камеры). событие и хранить его в виде оцифрованных данных на магнитной ленте) стимулировали разработку системы обработки данных для искровых камер в начале 1961 года. [6]
Во время работы в IBM он написал одно из первых программ искусственного интеллекта. [7] - его «машина для теорем геометрии» [8] [9] была первой и третьей программой искусственного интеллекта за всю историю. [10] Это логическая система искусственного интеллекта, которая может доказывать теоремы планарной геометрии о параллельных прямых, конгруэнтности, равенстве и неравенстве отрезков и углов. Как и Logic Theorist , он использует эвристику.
он реализовал Вместе с Натаниэлем Рочестером компьютерный язык для обработки списков в FORTRAN . [11] Работа над этим была проделана совместно с Карлом Герберихом из IBM , с этой целью создавшим язык обработки списков Фортран (FLPL). [12]
Его самым амбициозным проектом во время его пребывания в Университете Стоуни-Брук была экспертная система решения проблем SYNCHEM для открытия потенциальных путей к полному синтезу органических молекул посредством самостоятельного интеллектуального поиска и применения большой базы знаний графовых преобразований. правила и сложные эвристики, представляющие обобщенные органические реакции, организованные вокруг признанных функциональных групп. [ нужна ссылка ]
В 1952 году Гелернтер женился на Рут, дочери раввина Теодора Нортона Льюиса. [13] [14] Его сыновья — генетик и профессор Йельского университета Джоэл Гелернтер и ученый-компьютерщик и социальный комментатор Дэвид Гелернтер , также профессор Йельского университета. [15] Его дочь Джудит — научный сотрудник лаборатории информационных технологий Национального института стандартов и технологий . [ нужна ссылка ]
Леред умер 28 мая 2015 года. [ нужна ссылка ]
См. также
[ редактировать ]- Список американских ученых-евреев-компьютерщиков
- История искусственного интеллекта
- Хронология искусственного интеллекта
Ссылки
[ редактировать ]- ^ Jump up to: Перейти обратно: а б Американские мужчины и женщины науки, 21-е издание, том. 3, Томсон/Гейл, 2009, с. 76
- ^ Вехи в области компьютерных наук и информационных технологий, Эдвин Д. Рейли, Greenwood Press, 2003, стр. 318
- ^ «Герберт Гелернтер | Кафедра компьютерных наук» .
- ^ Jump up to: Перейти обратно: а б «Университет Стоуни-Брук» . Проверено 26 ноября 2011 г.
- ^ Двухнуклонное взаимодействие при высоких энергиях и потенциал Леви, Рочестерский университет. Кафедра физики, (1957) - 260 страниц получено в 18:03 (GMT), 26 октября 2011 г.
- ^ Крайдж, Джон (апрель 1987 г.). «Разработка методов анализа изображений трековых камер в ЦЕРН» (PDF) . ЦЕРН - Исследования по истории ЦЕРН . Проверено 12 июля 2019 г.
- ^ Гелернтер, Х.Л.; Рочестер, Н. (октябрь 1958 г.). «Интеллектуальное поведение машин, решающих задачи» . Журнал исследований и разработок IBM . 2 (4): 336–345. дои : 10.1147/рд.24.0336 . ISSN 0018-8646 . S2CID 28472029 .
- ^ Гелернтер, Х.; Хансен-младший; Лавленд, DW (3 мая 1960 г.). «Эмпирические исследования машины для решения геометрических теорем» . Доклады, представленные на Западной совместной компьютерной конференции IRE-AIEE-ACM 3-5 мая 1960 г. IRE-AIEE-ACM '60 (вестерн). Нью-Йорк, штат Нью-Йорк, США: Ассоциация вычислительной техники. стр. 143–149. дои : 10.1145/1460361.1460381 . ISBN 978-1-4503-7869-7 . S2CID 18265039 .
- ^ Х, Гелернтер (1963). «Реализация машины для доказательства геометрических теорем» . Компьютеры и мысль : 134–152.
- ^ «Герберт Гелернтер и американская наука» . Национальное обозрение . 6 июня 2015 г.
- ^ Гелернтер, Х.; Хансен-младший; Герберих, CL (1 апреля 1960 г.). «Язык обработки списков, скомпилированный на Фортране» . Журнал АКМ . 7 (2): 87–101. дои : 10.1145/321021.321022 . ISSN 0004-5411 . S2CID 47551654 .
- ^ Предыстория LISP Джон Маккарти, 26 июля, 22:37 по тихоокеанскому времени 1996 г., получено в 17:48 (GMT) 26 октября 2011 г. [см. Также: Lisp (язык программирования) и Джон Маккарти.
- ^ Кто есть кто в религии, том. 1, Маркиз Кто есть Кто, 1975, с. 343
- ^ «РУТ ЛЬЮИС ОБРУЧЕНА; аспирантка Мичиганского университета, невеста Герберта Гелернтера» . Нью-Йорк Таймс . 31 октября 1951 года.
- ^ Для воспоминаний см. «Жизнь, которая имела смысл», Дэвид Гелернтер, The Weekly Standard, 7 сентября 2015 г., стр. 5.