School of Mathematics
University of Leeds, Leeds LS2 9JT, U.K.
| Research group: |
|
Email:
s.b.cooper @ leeds.ac.uk
|
|
|||
|
|
Prof. S BARRY COOPER
School of Mathematics University of Leeds, Leeds LS2 9JT, U.K.
Email:
s.b.cooper @ leeds.ac.uk
|
||
|
|
|||
| Contents | Research | Logic | Computability | Seminars | PhD students | Conferences | Personal | Teaching | Leeds |
|
|
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, or
Definability as hypercomputational effect
(pdf files); complexity theory;
combinatorics and graph theory.
Recent
PREPRINTS, PAPERS AND
TALKS etc. See also books:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
To buy:
|
||||||
|
Books in preparation:
Current and recent research students:
Phil Ellison
- arrived from Cambridge Sept. 2007
|
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
|
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!
|
Benedict Durrant - 'arrived' from sunny Leeds,
October 2010 ...
|
Andrew E M Lewis - at a conference in Kazan, July, 2004. At Badaling, China, 2006. Royal
Society advanced fellow in Leeds
from Oct. 2007
|
|
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
|
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
|
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 ... now in Amsterdam
|
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 Edinburgh
|
Matthew B Giorgi - back in the UK (but sadly not Leeds) from
two years in Siena
|
Current and recent courses:
|
MATH0111/
0131:
Elementary Differential Calculus Available class handouts |
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 -
and some 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 seven conferences CiE 2005, CiE 2006,
CiE 2007,
CiE 2008,
CiE 2009,
CiE 2010,
CiE 2011 and
CiE 2012
|
|
| Many thanks to everyone who visited my sponsor page for the 2010 London Marathon - we raised over 1,690 pounds for Age Concern, a great result. |
The old
Logic Colloquium '97 webpage
(also
large photo of
the participants)
The
Recursive Function Theory Newsletter
(for internal use)
Research funding information
BinaryPigeon's Blog - please visit
|
|
