Barry Cooper's Home Page

Professor S. BARRY COOPER

School of Mathematics
University of Leeds, Leeds LS2 9JT, U.K.

Research
group:

Phone: 0113 343 5165 - FAX: 0113 343 5090
Email: s.b.cooper @ leeds.ac.uk

RESEARCH INTERESTS : Mathematical logic (see Mathematical Logic Around the World);

COMPUTABILITY THEORY and applications to science and the humanities - see papers Incomputability in Nature, Clockwork or Turing U/universe, Computability and emergence, Definability as hypercomputational effect, or Alan Turing and Enigmatic Statistics (pdf files); complexity theory; combinatorics and graph theory.
A short computability in context reading list.
See the February 2005 University of Leeds Reporter for a rather journalistic slant on incomputability.
Or how about a March 2013 talk in a pub on Alan Turing: The Building of a Brain
For the record, here's my Amazon author page
And a June 2013 Elsevier Connect interview for launch of Alan Turing - His Work and Impact

Recent PREPRINTS, PAPERS AND TALKS etc. See also books:




					To buy:

Books in preparation:

S. B. Cooper and A. Hodges: The Once and Future Turing: Computing the World, Cambridge University Press
S. B. Cooper and A. Sorbi: Computing with Incomplete Information: The Mathematics of Enumeration and Positive Reducibilities , World Scientific Publishing
S. B. Cooper: Machines, Memes and Incomputability: Alan Turing's Other Great Legacy , World Scientific Publishing

Editorial Boards of journals:

Current and recent research students:

Liliana Badillo - Arrived in Leeds from sunny Mexico in October 2009, read Los Detectives Salvajes - had art classes at Frida Kahlo's house (spot logician Jan van Heijenoort)	Stijn Vermeeren - arriving from Aarschot, Belgium, via Part 3 at Cambridge, Oct. 2009 - represented Belgium in Int. Mathematical Olympiad! Hiking in Scotland, February 2013
James Gay - arrived from Manchester Sept. 2012	Daoud Siniora - arrived in Leeds from East Jerusalem, via Edinburgh, in April 2013
Kyung Il Lee - arrived in Leeds from Western Illinois University in September, 2006. Married April 2007. My students at CiE07. March 2008 - Hyun Jin has a baby! - Chae-Un. Graduated 2012, now lecturing in Seoul	Phil Ellison - arrived from Cambridge Sept. 2007 - graduated 2011
Charles Harris - we seek him here, we seek him there ... but caught (with Andrea Sorbi) by Bahareh at CiE 2006. Another at CiE06. Back in Leeds as an EPSRC Fellow from Oct. 2008 to 2011 - now in Bristol	Mariya Soskova - speaking. On steam bus in Whitby Feb, 2006. At Great Wall, and Forbidden City. Bletchley Park, 2006. CiE06. Singapore. CiE07. Olympos 2007. Sofia 2008. Dr M. I. Soskova - now in Berkeley
Anthony Morphett from Melbourne. George and Elaine's housewarming, June 2006 - and Great Wall, Simatai, 2006. Colossus rebuild, Bletchley. CiE06 RatPack - now lecturing back in Australia	George Barmpalias - on holiday in Greece - and back in the Leeds winter, working with Andy Lewis. Our favourite photo of George and Elaine . In New Zealand Oct. 2007-08 ... then Amsterdam ... now Beijing
Bahareh Afshari - at home in Tehran, with some light reading. Mashhad, New Year 2005-06. A wild winters day, Whitby beach. Concentrating, IPM, Tehran, 2006. Now in Oxford	Andrew E M Lewis - at a conference in Kazan, July, 2004. At Badaling, China, 2006. Royal Society advanced fellow in Leeds from Oct. 2007 - summer 2013. Now at LSE in London
Matthew B Giorgi - back in the UK (but sadly not Leeds) from two years in Siena

Current and recent courses:

MATH0111: Elementary Differential Calculus Available class handouts	MATH1060: Introductory Linear Algebra Available class handouts, currently only via the VLE
MATH3163/ 5164: Computability and Unsolvability Available class handouts (for 2011-12)	MATH3102: Mathematical Logic 2 Available class handouts (for 2010-11)
MATH3032: Graph Theory Available class handouts (for 2009-10)	MATH2040: Mathematical Logic 1 Available class handouts (for 2005-06)
MATH2210: Intro. to Discrete Mathematics Available class handouts (for 2004-05)

Some biographical notes (very out-of-date)- and some not-so-recent conference photographs.

Some seminars of interest: Leeds Logic Seminar , the Computability Theory Seminar and the SIGLaC - Special Interest Group in Logic and Computation - seminars

Opportunities for postgraduate research in logic at Leeds - and a brief genealogy

Information on the association Computability In Europe - and its first nine conferences CiE 2005, CiE 2006, CiE 2007, CiE 2008, CiE 2009, CiE 2010, CiE 2011, CiE 2012 and CiE 2013

CiE 2009 small poster