Робинсон, Джон Алан
Из Википедии, свободной энциклопедии
Из Википедии, свободной энциклопедии
Джон Алан Робинсон (англ. John Alan Robinson; 1930, Йоркшир, Великобритания — 5 августа 2016) — британский философ и логик, внёс важный вклад в становление логического программирования.
| Джон Алан Робинсон | |
|---|---|
| англ. John Alan Robinson | |
 | |
| Дата рождения | 1930 |
| Место рождения | |
| Дата смерти | 5 августа 2016 (86 лет) |
| Место смерти | |
| Страна | |
| Род деятельности | математик, специалист в области информатики, инженер, философ |
| Научная сфера | математика, логика, философия |
| Место работы | |
| Альма-матер | |
| Научный руководитель | Карл Густав Гемпель |
| Награды и премии | |
Изучал антиковедение в Кембриджском университете и после окончания в 1952 году переехал в США. Там начал изучение философии сперва в Орегонском университете, затем в Принстонском университете ему была присуждена степень доктора философии. Работал в химическом концерне DuPont, где он получил знания в области программирования и математики. В 1961 году сменил место работы на Университет Райса, где стал заниматься математикой.
В 1965 году опубликовал работу Машинно-ориентированная логика, основанная на принципе резолюции, которая является основополагающей в автоматизации правила резолюций в логике. Его работы были решающими в развитии языка логического программирования Пролог.
Его называют одним из основателей современной программируемой логики. В 1996 г. Робинсон получил премию имени Жака Эрбрана за выдающийся вклад в развитие автоматизации рассуждений.
 | Для улучшения этой статьи по логике желательно:
|
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
