S. Barry Cooper

Biografie

Naștere	1943 Bognor Regis
Moarte	26 octombrie 2015
Naţionalitate	britanic
Instruire	Universitatea Jesus College din Leicester
Activități	Filozof , matematician

Alte informații

Lucrat pentru	Universitatea din Leeds (din1 st luna septembrie anul 1969)
Directorii tezei	Reuben Goodstein , CE Mike Yates ( d )

S. Barry Cooper (născut la9 octombrie 1943 și a murit 26 octombrie 2015) este un matematician britanic , teoretician al calculabilității . A fost profesor de matematică pură la Universitatea din Leeds .

Biografie

Cooper a crescut în Bognor Regis și a urmat liceul Chichester. A absolvit Jesus College, Oxford în 1966 și a obținut un doctorat în 1970 la Universitatea din Leicester sub supravegherea lui Reuben Goodstein și CEM Yates, cu o teză intitulată Degrees of Unsolvability . În anii 1970, el a fost, de asemenea, o figură de frunte în campania de solidaritate cu Chile, găzduind refugiați chilieni la Leeds.

Cooper a fost numit lector la Școala de Matematică de la Universitatea din Leeds în 1969, unde a rămas pentru restul carierei sale. A fost promovat ca cititor de logică matematică în 1991 și profesor de matematică pură în 1996. În 2011, a primit un doctorat onorific la Universitatea din Sofia .

Cartea sa Teoria calculabilității este non-tehnică și accesibilă multor categorii de studenți. El a fost una dintre forțele motrice din spatele revenirii la întrebări fundamentale precum cele ale lui Alan Turing și dezvoltările interdisciplinare legate de calculabilitate. Cooper a ocupat funcția de președinte al Asociației Computabilitate în Europa și președinte al Comitetului consultativ Centennial Turing (TCCA), care a coordonat anul Alan Turing. Cartea Alan Turing: His Work and Impact , editată de Cooper și Jan van Leeuwen, a câștigat premiul RR Hawkins de la Association of American Publishers.

Cooper a fost membru al consiliului de redacție al Rutherford Journal .

Publicații (selecție)

Teoria calculabilității , Chapman & Hall / CRC, 2004 ( ISBN 1-58488-237-9 )
(cu J. van Leeuwen, ed.), Alan Turing - His Work and Impact , New York, Elsevier , 2013 ( ISBN 978-0-123-86980-7 )
(cu B. Löwe și 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 și S. Lempp, „ Gradele dre nu sunt dense ”, Annals of Pure and Applied Logic , vol. 55, n o 21991, p. 125–151 ( DOI 10.1016 / 0168-0072 (91) 90005-7 , citiți online )
SB Cooper, „ Definability as hypercomputational effect ” , Matematică aplicată și calcul , vol. 178,2006, p. 72–82 ( DOI 10.1016 / j.amc.2005.09.072 , arXiv 0904.2874 )
SB Cooper (2004). „ Incomputabilul Alan Turing ” Alan Mathison Turing 2004: O sărbătoare a vieții și realizărilor sale ( DOI : 10.14236 / ewic / TUR2004.2 ).
SB Cooper și P. Odifreddi , Computabilitate și modele: perspective Est și Vest , editori Plenum,2003, „Incomputabilitatea în natură”, p. 137–160
SB Cooper , Models and Computability , Cambridge University Press , col. "London Mathematical Society Lecture Notes Series" ( nr . 259)1999, „Clockwork sau Turing U / univers? », P. 63-116

Note și referințe

Peter Lazenby, „Obituary”, Morning Star .
(în) „ S. Barry (Stuart) Cooper ” pe site-ul Mathematics Genealogia Project
„ Editorial board ” , The Rutherford Journal (accesat la 19 decembrie 2016 ) .

S. Barry Cooper

Biografie

Publicații (selecție)

Note și referințe

linkuri externe