Jump to content

Герберт Гелернтер

Хербет Лео Гелернтер
Рожденный ( 1929-12-17 ) 17 декабря 1929 г.
Умер 28 мая 2015 г. ) ( 2015-05-28 ) ( 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 года. [ нужна ссылка ]

См. также

[ редактировать ]
  1. ^ Jump up to: Перейти обратно: а б Американские мужчины и женщины науки, 21-е издание, том. 3, Томсон/Гейл, 2009, с. 76
  2. ^ Вехи в области компьютерных наук и информационных технологий, Эдвин Д. Рейли, Greenwood Press, 2003, стр. 318
  3. ^ «Герберт Гелернтер | Кафедра компьютерных наук» .
  4. ^ Jump up to: Перейти обратно: а б «Университет Стоуни-Брук» . Проверено 26 ноября 2011 г.
  5. ^ Двухнуклонное взаимодействие при высоких энергиях и потенциал Леви, Рочестерский университет. Кафедра физики, (1957) - 260 страниц получено в 18:03 (GMT), 26 октября 2011 г.
  6. ^ Крайдж, Джон (апрель 1987 г.). «Разработка методов анализа изображений трековых камер в ЦЕРН» (PDF) . ЦЕРН - Исследования по истории ЦЕРН . Проверено 12 июля 2019 г.
  7. ^ Гелернтер, Х.Л.; Рочестер, Н. (октябрь 1958 г.). «Интеллектуальное поведение машин, решающих задачи» . Журнал исследований и разработок IBM . 2 (4): 336–345. дои : 10.1147/рд.24.0336 . ISSN   0018-8646 . S2CID   28472029 .
  8. ^ Гелернтер, Х.; Хансен-младший; Лавленд, 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 .
  9. ^ Х, Гелернтер (1963). «Реализация машины для доказательства геометрических теорем» . Компьютеры и мысль : 134–152.
  10. ^ «Герберт Гелернтер и американская наука» . Национальное обозрение . 6 июня 2015 г.
  11. ^ Гелернтер, Х.; Хансен-младший; Герберих, CL (1 апреля 1960 г.). «Язык обработки списков, скомпилированный на Фортране» . Журнал АКМ . 7 (2): 87–101. дои : 10.1145/321021.321022 . ISSN   0004-5411 . S2CID   47551654 .
  12. ^ Предыстория LISP Джон Маккарти, 26 июля, 22:37 по тихоокеанскому времени 1996 г., получено в 17:48 (GMT) 26 октября 2011 г. [см. Также: Lisp (язык программирования) и Джон Маккарти.
  13. ^ Кто есть кто в религии, том. 1, Маркиз Кто есть Кто, 1975, с. 343
  14. ^ «РУТ ЛЬЮИС ОБРУЧЕНА; аспирантка Мичиганского университета, невеста Герберта Гелернтера» . Нью-Йорк Таймс . 31 октября 1951 года.
  15. ^ Для воспоминаний см. «Жизнь, которая имела смысл», Дэвид Гелернтер, The Weekly Standard, 7 сентября 2015 г., стр. 5.
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 01cdea867e18c97ce4c6c68a86b206bb__1718684520
URL1:https://arc.ask3.ru/arc/aa/01/bb/01cdea867e18c97ce4c6c68a86b206bb.html
Заголовок, (Title) документа по адресу, URL1:
Herbert Gelernter - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)