Barry Cooper

Životopis

Narození	1943 Bognor Regis
Smrt	26. října 2015
Státní příslušnost	britský
Výcvik	Jesus College University of Leicester
Činnosti	Filozof , matematik

Jiná informace

Pracoval pro	University of Leeds (od1 st September 1969)
Vedoucí práce	Reuben Goodstein , CE Mike Yates ( d )

Barry Cooper (nar9. října 1943 a mrtvý 26. října 2015) je britský matematik , teoretik vypočítatelnosti . Byl profesorem čisté matematiky na univerzitě v Leedsu .

Životopis

Cooper vyrostl v Bognor Regis a navštěvoval střední školu v Chichesteru. Vystudoval Jesus College v Oxfordu v roce 1966 a v roce 1970 získal doktorát na univerzitě v Leicesteru pod vedením Reubena Goodsteina a CEM Yates s diplomovou prací s názvem Stupně neřešitelnosti . V 70. letech byl také vůdčí osobností kampaně Solidarity s Chile a vítal chilské uprchlíky v Leedsu.

Cooper byl jmenován lektorem na Matematické škole na univerzitě v Leedsu v roce 1969, kde zůstal po zbytek své kariéry. V roce 1991 byl povýšen na Reader v Mathematical Logic a profesorem čisté matematiky v roce 1996. V roce 2011 získal čestný doktorát na univerzitě v Sofii .

Jeho kniha Teorie vypočítatelnosti je netechnická a přístupná mnoha kategoriím studentů. Byl jednou z hnacích sil návratu k základním otázkám, jako jsou otázky Alana Turinga a interdisciplinární vývoj týkající se vypočítatelnosti. Cooper působil jako předseda sdružení Computability in Europe Association a předseda Turing Centennial Advisory Committee (TCCA), který koordinoval rok Alana Turinga. Kniha Alan Turing: Jeho práce a dopad , kterou vydali Cooper a Jan van Leeuwenovi, získala cenu RR Hawkins Award od Asociace amerických vydavatelů.

Cooper byl členem redakční rady na Rutherford Journal .

Publikace (výběr)

The Computability Theory , Chapman & Hall / CRC, 2004 ( ISBN 1-58488-237-9 )
(s J. van Leeuwenem, ed.), Alan Turing - Jeho práce a dopad , New York, Elsevier , 2013 ( ISBN 978-0-123-86980-7 )
(s B. Löwe a A. Sorbi, eds.), New Computational Paradigms - Changing Conceptions of What is Computable , Springer, 2008 ( ISBN 978-1-58488-237-4 )
SB Cooper, L. Harrington, AH Lachlan a S. Lempp, „ Tyto tři stupně nejsou husté “, Annals of Pure and Applied Logic , sv. 55, n O 21991, str. 125–151 ( DOI 10.1016 / 0168-0072 (91) 90005-7 , číst online )
SB Cooper, „ Definovatelnost jako hyperpočítačový efekt, “ Applied Mathematics and Computation , sv. 178,2006, str. 72–82 ( DOI 10.1016 / j.amc.2005.09.072 , arXiv 0904.2874 )
SB Cooper (2004). „ Nepopiratelný Alan Turing “ Alan Mathison Turing 2004: Oslava jeho života a úspěchů ( DOI : 10.14236 / ewic / TUR2004.2 ).
SB Cooper a P. Odifreddi , Vyčíslitelnost a modely: Perspektivy Východ a Západ , Plenum Publishers,2003, „Nepočítatelnost v přírodě“, s. 137–160
SB Cooper , Models and Computability , Cambridge University Press , coll. "Londýn matematická společnost Přednáškové Series" ( n o 259)1999„Hodinový stroj nebo Turing U / vesmír? », P. 63–116

Poznámky a odkazy

Peter Lazenby, „nekrolog,“ ranní hvězda .
(in) „ S. Barry (Stuart) Cooper ) na webu Matematický genealogický projekt
„ Redakční rada “ , The Rutherford Journal (přístup 19. prosince 2016 ) .

Barry Cooper

Životopis

Publikace (výběr)

Poznámky a odkazy

externí odkazy