https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=John_Alan_RobinsonJohn Alan Robinson - Versionsgeschichte2026-06-07T03:10:43ZVersionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale KopieMediaWiki 1.43.8https://wiki-de.moshellshocker.dns64.de/index.php?title=John_Alan_Robinson&diff=448753&oldid=previmported>Maxeto0910 am 27. Juli 2025 um 20:15 Uhr2025-07-27T20:15:49Z<p></p>
<p><b>Neue Seite</b></p><div>[[Datei:John Alan Robinson IMG 0493.jpg|mini|John Alan Robinson (2012)]]<br />
'''John Alan Robinson''', genannt '''Alan Robinson''' (* [[9. März]] [[1930]] in [[Halifax (West Yorkshire)|Halifax]], [[Yorkshire]], Großbritannien<ref>[https://www.upm.es/sfs/Gabinete%20del%20Rector/Honoris%20Causa/curriculum/john.pdf CV John Alan Robinson] bei upm.es, abgerufen am 12. August 2016</ref>; † [[5. August]] [[2016]] in [[Portland (Maine)|Portland]], [[Maine]], Vereinigte Staaten<ref>[https://www.legacy.com/obituaries/nytimes/obituary.aspx?n=john-robinson&pid=181092820 Obituary], [[New York Times]], abgerufen am 17. August 2016</ref>), war ein [[Vereinigtes Königreich|britischer]] [[Philosoph]] und [[Logik]]er, der wichtige Beiträge zur [[Logikprogrammierung]] geleistet hat.<br />
<br />
Nach einem abgeschlossenen Studium der [[Klassische Altertumswissenschaft|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 University|Princeton]] den Titel [[Doctor of Philosophy]]. Danach arbeitete er beim Chemiekonzern [[E. I. du Pont de Nemours and Company|DuPont]], wo er [[Programmieren]] und [[Mathematik]] lernte. 1961 wechselte er an die [[Rice University]], wo er sich weiter mit Mathematik beschäftigte.<br />
<br />
1965 veröffentlichte er mit „A machine-oriented logic based on the resolution principle“ wichtige Grundlagen zur automatisierbaren [[Resolution (Logik)|Resolution]] in der [[Logik]]. Auf ihn geht ein Algorithmus zur [[Unifikation (Logik)|Unifikation]] von [[Prädikatenlogik|prädikatenlogischen]] Formeln zurück, der entscheidend beim Nachweis der Unerfüllbarkeit einer prädikatenlogischen Formel ist.<br />
<br />
Seine Arbeiten sind maßgeblich in die Entwicklung der Logikprogrammiersprache [[Prolog (Programmiersprache)|Prolog]] eingeflossen. Von [[Stephen Muggleton]], [[Donald Michie]] und [[Koichi Furukawa]] wurde Robinson deshalb in einem 1994 erschienenen Buch als der Begründer der modernen programmierbaren Logik bezeichnet.<br />
<br />
Auf Wunsch von [[Wolfgang Bibel]] erhielt er 1994 den Humboldt-Preis, der einen sechsmonatigen Aufenthalt an der [[Technische Universität Darmstadt|Technischen Universität Darmstadt]] beinhaltete.<ref>{{Literatur |Autor=Leonhard Wolfgang Bibel |Titel=Reflexionen vor Reflexen - Memoiren eines Forschers |Hrsg= |Sammelwerk= |Band= |Nummer= |Auflage=1 |Verlag=Cuvillier Verlag |Ort=Göttingen |Datum=2017-05-05 |ISBN=9783736995246 |Seiten=}}</ref> 1996 erhielt er den [[Herbrand Award]].<br />
<br />
== Siehe auch ==<br />
*[[Resolventenmethode]]<br />
<br />
== Weblinks ==<br />
* [https://zbmath.org/authors/robinson.john-alan John Alan Robinson] in der Datenbank [[zbMATH]]<br />
<br />
== Einzelnachweise ==<br />
<references /><br />
<br />
{{Normdaten|TYP=p|GND=124196306|LCCN=n79050611|VIAF=162625411}}<br />
<br />
{{SORTIERUNG:Robinson, John Alan}}<br />
[[Kategorie:Absolvent der University of Cambridge]]<br />
[[Kategorie:Philosoph (20. Jahrhundert)]]<br />
[[Kategorie:Mathematiker (20. Jahrhundert)]]<br />
[[Kategorie:Logiker]]<br />
[[Kategorie:Brite]]<br />
[[Kategorie:US-Amerikaner]]<br />
[[Kategorie:Geboren 1930]]<br />
[[Kategorie:Gestorben 2016]]<br />
[[Kategorie:Mann]]<br />
<br />
{{Personendaten<br />
|NAME=Robinson, John Alan<br />
|ALTERNATIVNAMEN=Robinson, Alan<br />
|KURZBESCHREIBUNG=britischer Philosoph und Logiker<br />
|GEBURTSDATUM=9. März 1930<br />
|GEBURTSORT=[[Halifax (West Yorkshire)|Halifax]], Yorkshire, Vereinigtes Königreich<br />
|STERBEDATUM=5. August 2016<br />
|STERBEORT=[[Portland (Maine)|Portland]], [[Maine]], Vereinigte Staaten<br />
}}</div>imported>Maxeto0910