John Alan Robinson
Royaume-Uni · Sur la carte · Universitaires · 1930 - 2016 · 86 ans
John Alan Robinson (né le 9 mars 1930 à Halifax (Royaume-Uni), et mort le 5 août 2016 à Portland (Maine)) est un philosophe, mathématicien et informaticien. Il termine sa carrière comme professeur émérite à l'université de Syracuse.
Texte issu de Wikipédia, CC BY-SA 4.0
John Alan Robinson : environ 7 lectures par jour, en 12 langues.
Un jour typique, sur 30 jours jusqu'au 18 juin 2026
Le jour médian de la période comptée : une semaine d'actualité ne peut donc pas le faire bouger. La courbe en dessous montre les 60 derniers jours, un point par jour.
Une erreur ?Médias et musique
Photos 1
Distinctions
À propos de cette personne
La contribution majeure d'Alan Robinson est aux fondements de la démonstration automatique de théorèmes. Son algorithme d'unification a éliminé une source d'explosion combinatoire dans les démonstrateurs de résolution ; il a également préparé le terrain pour le paradigme de programmation logique, en particulier pour le langage Prolog. Robinson reçoit le prix Herbrand 1996 pour ses « contributions remarquables au raisonnement automatisé ».
Texte issu de Wikipédia, CC BY-SA 4.0