Alan Robinson

Biografie

John Alan Robinson, genannt Alan Robinson, war ein britischer Philosoph und Logiker, der wichtige Beiträge zur Logikprogrammierung geleistet hat. Nach einem abgeschlossenen Studium der Klassischen Altertumswissenschaft an der Universität Cambridge ging er 1952 in die USA. Dort studierte er zunächst Philosophie an der University of Oregon und erlangte 1956 in Princeton den Titel Doctor of Philosophy. Danach arbeitete er beim Chemiekonzern DuPont, wo er Programmieren und Mathematik lernte. 1961 wechselte er an die Rice University, wo er sich weiter mit Mathematik beschäftigte. 1965 veröffentlichte er mit „A machine-oriented logic based on the resolution principle“ wichtige Grundlagen zur... ~ de.wikipedia.org