S. Barry Cooper - S. Barry Cooper

S. Barry Cooper
Barry Cooper.jpg
Née ( 1943-10-09 )9 octobre 1943
Bognor Regis , West Sussex , Angleterre
Décédés 26 octobre 2015 (2015-10-26)(72 ans)
Nationalité Royaume-Uni
mère nourricière Université d'Oxford ( Jésus College )
Connu pour Association CiE , Année Alan Turing
Récompenses Docteur honoris causa ( Université de Sofia , 2011)
Carrière scientifique
Établissements Université de Leeds
Thèse Degrés d'insolvabilité  (1970)
Conseiller de doctorat Ruben Goodstein , CEM Yates
1er Président de l' Association CiE
En poste
2008-2015
succédé par Dag Normann

S. Barry Cooper (9 octobre 1943 - 26 octobre 2015) était un mathématicien et théoricien de la calculabilité anglais . Il a été professeur de mathématiques pures à l' Université de Leeds .

Première vie et éducation

Cooper a grandi à Bognor Regis et a fréquenté le Chichester High School for Boys , période au cours de laquelle il a joué le demi de mêlée pour l'équipe de rugby d'Angleterre des moins de 15 ans.

Cooper est diplômé du Jesus College d'Oxford en 1966 et en 1970 a obtenu son doctorat de l' Université de Leicester sous la direction de Reuben Goodstein et CEM Yates, avec une thèse intitulée Degrees of Unsolvability .

Carrière universitaire

Cooper a été nommé maître de conférences à l'École de mathématiques de l'Université de Leeds en 1969, où il est resté pour le reste de sa carrière. Il a été promu lecteur en logique mathématique en 1991 et professeur de mathématiques pures en 1996. En 2011, il a reçu un doctorat honorifique à l' Université de Sofia "St. Kliment Ohridski".

Son livre Computability Theory a rendu le domaine de la recherche technique accessible à une nouvelle génération d'étudiants. Il a été l'un des principaux acteurs du retour aux questions fondamentales du type de celles envisagées par Alan Turing , et des développements interdisciplinaires liés à la calculabilité. Il a été président de l'Association Computability in Europe , et président du Turing Centenary Advisory Committee (TCAC), qui a coordonné l'année Alan Turing . Le livre Alan Turing : His Work and Impact , édité par Cooper et Jan van Leeuwen , a remporté le prix RR Hawkins de l' Association of American Publishers .

Cooper était membre du comité de rédaction du Rutherford Journal .

Intérêts

Cooper était un passionné de course de fond et s'intéressait également au jazz et à la musique improvisée, fondant Leeds Jazz et s'impliquant dans le Termite Club.

Dans les années 1970, il a également été une figure de proue de la Campagne de solidarité chilienne, accueillant des réfugiés chiliens à Leeds.

Décès

Cooper est décédé le 26 octobre 2015 après une courte maladie.

Publications sélectionnées

  • SB Cooper, 2004. Théorie de la calculabilité , Chapman & Hall/CRC. ISBN  1-58488-237-9
  • SB Cooper ; J. van Leeuwen (éd.), 2013. Alan Turing – Son travail et son impact , New York : Elsevier , ISBN  978-0-123-86980-7
  • SB Cooper, B. Löwe , A. Sorbi (éds.), 2008. Nouveaux paradigmes informatiques – Conceptions changeantes de ce qui est calculable , Springer. ISBN  978-1-58488-237-4
  • Cooper, SB ; Harrington, L.; Lachlan, AH ; Lempp, S.; Soare, RI (1991). "Les degrés dre ne sont pas denses" . Annales de logique pure et appliquée . 55 (2) : 125-151. doi : 10.1016/0168-0072(91)90005-7 .
  • Cooper, SB (2006). « Définition comme effet hypercomputational » (PDF) . Mathématiques appliquées et calcul . 178 : 72-82. arXiv : 0904.2874 . doi : 10.1016/j.amc.2005.09.072 . S2CID  1487739 .
  • Cooper, SB (2004). "L'incalculable Alan Turing". Alan Mathison Turing 2004 : Une célébration de sa vie et de ses réalisations, Université de Manchester, 5 juin 2004 . ScienceOpen . doi : 10.14236/ewic/TUR2004.2 .
  • Cooper, SB ; Odifreddi, P. (2003). « L'incalculabilité dans la nature ». Dans SB Cooper ; SS Gontcharov (éd.). Calculabilité et modèles : Perspectives Est et Ouest (PDF) . Plenum Publishers, New York, Boston, Dordrecht, Londres, Moscou. p. 137-160.
  • Cooper, SB (1999). "Mécanique ou Turing U/univers?". Dans SB Cooper ; JK Truss (éd.). Modèles et calculabilité (PDF) . London Mathematical Society Lecture Notes Series 259, Cambridge University Press, Cambridge, New York, Melbourne. p. 63–116.

Les références

Liens externes

Bureaux académiques
Précédé par
Nouveau poste 		Président de l'Association CiE
2008-2015 		Succédé par
Dag Normann