Talks and Publications

TALKS ARTICLES & BOOKS

  • Title: Typecasting Non-Locality
    Author: S. Barry Cooper
    Format:
    Status: Slides from invited talk at Logic, Relativity and Beyond - 2nd International Conference, Budapest, Hungary, 9-13 August, 2015

  • Title: Natural Language, Embodied Computation, and "The Two Cultures"
    Author: S. Barry Cooper
    Format:
    Status: Slides from invited talk at the Mal'tsev Meeting 2015, Novosibirsk, Russia, 3-7 May, 2015

  • Title: Computing the Rainbow
    Author: S. Barry Cooper
    Format:
    Status: Slides from The HAPOC Symposium at Conference of the International Association for Computing and Philosophy (IACAP 14), Thessaloniki, Greece, 2-4 July, 2014

  • Title: Questions Turing Left Behind
    Author: S. Barry Cooper
    Format: ,
    Status: Slides from two invited talks at the 11th Annual Conference on Theory and Applications of Models of Computation (TAMC 2014), 11-13 April, 2014, Anna University, Chennai, India. The first on Saturday 12th April was part of a public pre-dinner session on Saluting the Pioneers; the second on Sunday 13th April was a more detailed conference presentation.

  • Title: Art and Computing - A Marriage Made in Mathematics
    Author: S. Barry Cooper
    Format:
    Status: Slides from The Future of Art and Computing - A Post-Turing Centennial Perspective, a Symposium of AISB-50, Goldsmiths, University of London, 1-4 April, 2014

  • Title: Alan Turing - 'Can Machines ... Decode?'
    Author: S. Barry Cooper
    Format:
    Status: Slides of invited talk at CODEBREAKERS' LEGACY, Bletchley Park, 9 November, 2013

  • Title: Types of Thinking
    Author: S. Barry Cooper
    Format:
    Status: Slides of invited plenary talk at HaPoC 2013 : 2nd International Conference on the History and Philosophy of Computing 2013, Ecole Normale Superieure (ENS) Paris, 31 October, 2013

  • Title: Alan Turing - The Building of a Brain
    Author: S. Barry Cooper
    Format:
    Status: Slides of talk at Nottingham Culture and Café Scientifique, Lord Roberts, Nottingham, 13 May, 2013

  • Title: Turing and the Computational Content of Causality
    Author: S. Barry Cooper
    Format:
    Status: Slides of the Enriques Lecture, University of Milan, Italy, December 10, 2012

  • Title: ALAN TURING and the Computing Revolution: Ten Big Ideas that Changed the World
    Author: S. Barry Cooper
    Format:
    Status: Slides of 3 lectures as part of a Turing centenary lecture tour of Brazil comprised of:

  • Title: Alan Turing - The Building of a Brain
    Author: S. Barry Cooper
    Format:
    Status: Slides of talk at Leeds CAFÉ SCIENTIFIQUE, Seven Arts, Leeds, 20 November, 2012

  • Title: Alan Turing - Thinking & Living Outside the Box
    Author: S. Barry Cooper
    Format:
    Status: Slides of invited talk at 2013 LGBT History Month Pre-Launch , Bletchley Park, 15 Nov. 2012

  • Title: Embodying Computation at Higher Types
    Author: S. Barry Cooper
    Format:
    Status: Slides of invited talk at TURING 100 at Boston University Center for Philosophy and History of Science, 11-12 November, 2012

  • Title: The Computer as Computational Data - a Multifaceted Turing Legacy
    Author: S. Barry Cooper
    Format:
    Status: Slides of invited talk at the Universidad Nacional Autónoma de México, 9 November, 2012

  • Title: Emergence as Computation: the Causal Content of Turing Invariance
    Author: S. Barry Cooper
    Format:
    Status: Slides of invited talk for "Turing under Discussion" - Swiss Society for Logic and Philosophy of Science Annual Meeting 2012, ETH Zürich, Switzerland, October 26-27, 2012

  • Title: Turing Machines, Embodied Information, and Higher Type Computation
    Author: S. Barry Cooper
    Format:
    Status: Slides of Turing in Context II, Royal Flemish Academy of Belgium for Science and the Arts, Brussels, Belgium, 10-12 October, 2012

  • Title: From Newton to Turing: Physics and the Computational Constraint
    Author: S. Barry Cooper
    Format:
    Status: Slides of The Rutherford Appleton Laboratory Lecture, Rutherford Appleton Laboratory, Harwell, Oxford, 27th September 2012

  • Title: From Natural Philosophy to Computation, and Back Again
    Author: S. Barry Cooper
    Format:
    Status: Slides of invited talk for Interdisciplinary Symposium on Complex Systems at the International Conference Numerical Analysis and Applied Mathematics (ICNAAM 2012), 19-25 September, 2012

  • Title: Different Types of Computation (literally) at the Turing Centennial
    Author: S. Barry Cooper
    Format:
    Status: Slides of invited lecture for Dni Alana Turinga, University of Bratislava, Slovakia, September 13-14, 2012

  • Title: Description versus Computation ... and Levels of Abstraction
    Author: S. Barry Cooper
    Format:
    Status: Slides of invited lecture for First International Conference on Logic and Relativity: Honoring István Németi's 70th Birthday, Sept. 8 - 12, 2012, Hungarian Academy of Sciences, Budapest

  • Title: From Newton to Turing: Physics and the Computational Constraint
    Author: S. Barry Cooper
    Format:
    Status: Slides for the 2012 Learned Society of Wales Lecture, given Thursday 30 August, 2012, as part of 5th International Workshop on Physics and Computation (PC 2012), Swansea University, Swansea, UK, Wednesday 29 August - Friday 31 August 2012

  • Title: AI - Hobby or Science? Structure, Embodied Cognition, and the Turing Legacy
    Author: S. Barry Cooper
    Format:
    Status: Slides of keynote lecture for AISB/IACAP WORLD CONGRESS 2012, University of Birmingham, July 2-6, 2012

  • Title: What Makes a Computation Unconventional?
    Author: S. Barry Cooper
    Format:
    Status: Slides of invited lecture for Symposium on Natural/Unconventional Computing and Its Philosophical Significance, AISB/IACAP WORLD CONGRESS 2012, University of Birmingham, July 2-6, 2012

  • Title: Computability and Nature Inspired Computing
    Authors: S. Barry Cooper
    Formats:
    Status: Slides of opening lecture (given via Internet link) Computability, Complexity and the Digital Era one-day seminar, Kolkata, India, 23 June, 2012

  • Title: Alan Turing and the Computing Revolution: Ten Big Ideas that Changed the World
    Authors: S. Barry Cooper
    Formats:
    Status: Slides of 2012 Alan Turing Year in Hong Kong Public Seminar: A centenary celebration of Alan Turing, the Father of Computer Science, 23 May 2012 - see YouTube recording, in 3 Parts:

  • Title: The Turing Centenary and the Second Computing Revolution: From the Invention of the Computer to Intelligent Machines
    Authors: S. Barry Cooper
    Formats:
    Status: Slides for Hong Kong Computer Society Distinguished Speaker Luncheon: 2012 Alan Turing Year in Hong Kong, at Cyberport, Hong Kong, 24 May 2012 - see YouTube recording, in 3 Parts:


  • Title: From Turing Machine to Morphogenesis - Forming and Informing Computation
    Authors: S. Barry Cooper
    Formats:
    Status: Slides of invited plenary talk for THE TURING LECTURES, 9th Annual Conference on Theory and Applications of Models of Computation (TAMC 2012), Chinese Academy of Sciences, Beijing, China, 16-21 May, 2012

  • Title: Alan Turing and the Second Computing Revolution
    Authors: S. Barry Cooper
    Formats:
    Status: Slides of invited talk for Beijing high school students as part of 2012 China Science Future Star, Chinese Academy of Sciences, Beijing, China, 18 May, 2012

  • Title: How Does the World Compute? Embodied and disembodied computing at the Turing Centenary
    Authors: S. Barry Cooper
    Formats:
    Status: Slides of invited tutorial for Swiss Graduate Society of Logic and Philosophy of Science (SGSLPS) one-day conference on COMPUTABILITY AND LOGIC, Bern, Switzerland, 5 April, 2012

  • Title: Mathematics, Metaphysics and the Multiverse
    Authors: S. Barry Cooper
    Formats:
    Status: Slides of invited lecture at Computation, Physics and Beyond - International Workshop on Theoretical Computer Science (WTCS 2012), Dedicated to Prof. Cristian S. Calude's 60th Birthday, Auckland, New Zealand, February 21-24, 2012

  • Title: Computing in an Incomputable World
    Authors: S. Barry Cooper
    Formats:
    Status: Slides of academic lecture on the occasion of the award of an honorary degree at the University of Sofia, Bulgaria, October 27, 2011

  • Title: 'The Mathematician's Bias', and the Return to Embodied Computation
    Authors: S. Barry Cooper
    Formats:
    Status: Slides of seminar for the York Centre for Complex Systems Analysis (YCCSA), University of York, June 3, 2011

  • Title: 'The Mathematician's Bias', and the Return to Embodied Computation
    Authors: S. Barry Cooper
    Formats:
    Status: Slides of invited talk at the Workshop in Computability Theory (WCT 2011), University of San francisco, March 22-23, 2011

  • Title: The Incomputable Alan Turing
    Authors: S. Barry Cooper
    Formats:
    Status: Slides of the Courtauld Lecture given to the Manchester Literary and Philosophical Society, at the Royal Northern College of Music, Manchester, Thursday 10th February, 2011

  • Title: Causality, Computability and Definability
    Authors: S. Barry Cooper
    Formats:
    Status: Slides of invited talk at the International Conference N. A. Vasiliev's "Imaginary Logic" and the Modern Nonclassical Logics, Kazan, Russia, October 11 - 15, 2010

  • Title: Aspects of the Ershov Hierarchy: Uncertainty, Definability, Computation
    Authors: S. Barry Cooper
    Formats:
    Status: Slides of invited talk at the Mal'tsev Meeting 2010 , dedicated to the 70th birthday of Yurii Leonidovich Ershov, Novosibirsk, Russia, May 2 - 6, 2010

  • Title: Causality in a Computability Theoretic Context
    Authors: S. Barry Cooper
    Formats:
    Status: Slides of invited talk for the Lorentz Center workshop on Philosophy of the Information and Computing Sciences , Leiden, Netherlands, February 8 - 12, 2010

  • Title: The Computational Roots of Hyper-Causality
    Authors: S. Barry Cooper
    Formats:
    Status: Slides of talk for Hypercomputation Workshop at Unconventional Computation 2009, Ponta Delgada (Azores), Portugal, September 7 - 11, 2009

  • Title: Definability in the Real Universe
    Authors: S. Barry Cooper
    Formats:
    Status: Slides of plenary talk at Logic Colloquium 2009, Sofia, Bulgaria, July 31 - August 5, 2009

  • Title: Computability in Europe - Beyond the Fragments
    Authors: S. Barry Cooper
    Formats:
    Status: Slides of welcome address to conference Computability in Europe 2009, Heidelberg, Germany, July 19 - 24, 2009

  • Title: The Extended Turing Universe as a Contextual Tool
    Authors: S. Barry Cooper
    Formats:
    Status: Slides of talk in Special Session on Models of Computation at the 6th Annual Conference on Theory and Applications of Models of Computation (TAMC'09), ChangSha, P.R. China, May 18 - 22, 2009.

  • Title: Turing Invariance and Many Worlds
    Authors: S. Barry Cooper
    Formats:
    Status: Slides of invited talk given to The Science and Philosophy of Unconventional Computing (SPUC09), Cambridge (UK), March 23-25, 2009.

  • Title: From Descartes to Turing: the Computational Content of Supervenience
    Authors: S. Barry Cooper
    Formats:
    Status: Slides of talk given to Joint Mathematics-Philosophy Workshop, University of Leeds, 11 February, 2009.

  • Title: Incomputability, Emergence and the Turing Universe
    Authors: S. Barry Cooper
    Formats:
    Status: Slides of invited talk, Informatics Section of Academia Europaea workshop on Grand Challenges of Unconventional Computation, University of Liverpool, UK, September 17, 2008.

  • Title: Emergence as a Computability Theoretic Phenomenon
    Authors: S. Barry Cooper
    Formats:
    Status: Slides of invited sectional talk, 12th All-Kazakhstan Conference in Mathematics, Mechanics and Informatics, Almaty, Kazakhstan, September 11-13, 2008.

  • Title: Computability, Enumerability, and the Structure of Information
    Authors: S. Barry Cooper
    Formats:
    Status: Slides of short postgraduate course, given at the Kazakh National University, Almaty, Kazakhstan, September 8-13, 2008.

  • Title: Emergence as a Computability Theoretic Phenomenon
    Authors: S. Barry Cooper
    Formats:
    Status: Slides of invited talk, Physics and Computation International Workshop, at the 7th International Conference on Unconventional Computation 2008 (UC'08), Vienna, Austria, August 26, 2008.

  • Title: Could a Computer Write Hamlet?
    Authors: S. Barry Cooper
    Formats:
    Status: Slides of invited Evening Lecture at the European Summer School in Logic, Language and Information, ESSLLI 2008, Hamburg, Germany, August 12, 2008.

  • Title: Incomputability, Emergence, and the Turing Universe
    Authors: S. Barry Cooper
    Formats:
    Status: Slides of talk at the University of Sofia, Bulgaria, June 26, 2008.

  • Title: Post's Programme and the Algorithmic Structure of Information: An Update
    Authors: S. Barry Cooper
    Formats:
    Status: Slides of talk given at the University of Sofia, Bulgaria, June 24, 2008.

  • Title: Incomputability, Emergence, and the Turing Universe
    Authors: S. Barry Cooper
    Formats:
    Status: Slides of invited talk at International Colloquium on Causality, Meaningful Complexity and Knowledge Construction, Rome, June 5-7, 2008.

  • Title: The Non-Isolating Degrees Are Upwards dense in the Computably Enumerable Degrees
    Authors: S. Barry Cooper
    Formats:
    Status: Slides of contributed talk given at 5th Annual Conference on Theory and Applications of Models of Computation (TAMC08), held in Xi'an, China, April 25-29, 2008.

  • Title: Total Degrees and Nonsplitting Properties of Σ20 Enumeration Degrees
    Authors: S. Barry Cooper
    Formats:
    Status: Slides of contributed talk given at 5th Annual Conference on Theory and Applications of Models of Computation (TAMC08), held in Xi'an, China, April 25-29, 2008.

  • Title: How Computationally Relevant is Definability?
    Authors: S. Barry Cooper
    Formats:
    Status: Slides of talk given to the Oxford Advanced Seminar on Informatic Structures (OASIS), Oxford University Computing Laboratory, March 7, 2008.

  • Title: Post's Programme: an update for the new century
    Authors: S. Barry Cooper
    Formats:
    Status: Slides of invited talk given at the Russian Conference Mathematics in the Modern World, dedicated to the Fiftieth Anniversary of the Sobolev Institute of Mathematics, Novosibirsk, September 17-23, 2007.

  • Title: Post's Programme and the Algorithmic Structure of Information: An Update
    Authors: S. Barry Cooper
    Formats:
    Status: Slides of invited talk given at the British Logic Colloquium 2007, De Morgan House, London, September 6-8, 2007.

  • Title: The Interactive Structure of Information: Post's Programme Revisited
    Authors: S. Barry Cooper
    Formats:
    Status: Slides of invited talk given at the 6th Panhellenic Logic Symposium, Volos, Greece, July 5-8, 2007.

  • Title: Post's Programme: an update
    Authors: S. Barry Cooper
    Formats:
    Status: Slides of two invited talks given at the IPM Logic Conference 2007, Tehran, Iran, June 10-15, 2007.

  • Title: How Can Nature Help Us Compute? - a computability theoretic overview
    Authors: S. Barry Cooper
    Formats:
    Status: Slides of invited talk given at SOFSEM 2006: Theory and Practice of Computer Science - 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, 24 January 2006.

  • Title: Computability in Europe - a very brief introduction
    Authors: S. Barry Cooper
    Formats:
    Status: Slides accompanying introductory remarks at the First Conference on Computability in Europe, CiE 2005: New Computational Paradigms, Amsterdam, The Netherlands, June 2005. Also - suggestions received of missing faces from the slide of people from computability in Europe before 1945.

  • Title: Genericity and Enumeration Reducibility
    Authors: S. Barry Cooper
    Formats:
    Status: Talk given at the Second Annual Conference on Computation and Logic, 17-20th May 2005, Kunming, P. R. China.

  • Title: Incomputability, 50 Years After Alan Turing
    Authors: S. Barry Cooper
    Formats: (Heidelberg version), (Kazan version)
    Status: Slides of invited talks given 19th September, 2004, during Colloquium Logicum 2004, Biennual Meeting of the German Society for Mathematical Logic (DVMLG), September 17 - 19, 2004, University of Heidelberg, Germany; and 5th July, 2004, during Algebra and Analysis 2004, international conference dedicated to 200-years anniversary of Kazan State University, Russia, Kazan, 2 - 9 July 2004 (similar to the talk titled The Incomputable Alan Turing given in Manchester).

  • Title: The Incomputable Alan Turing
    Authors: S. Barry Cooper
    Formats:
    Status: Slides of a talk given for Turing 2004: A celebration of his life and achievements , held at the University of Manchester, June 5th, 2004, and run jointly by the British Logic Colloquium and the British Society for the History of Mathematics.

  • Title: Incomputability 50 Years After Alan Turing
    Authors: S. Barry Cooper
    Formats:
    Status: Slides of two talks given 17th and 19th May, 2004, at the Fragrant Hills Villa, Beijing, as part of the Beijing Summer Workshop on Computation and Logic, Chinese Academy of Sciences, Beijing (longer version of the talks given in Heidelberg, Kazan and Manchester).

  • Title: An Introduction to the Construction of a Nontrivial Turing Automorphism
    Author: S. Barry Cooper
    Formats: Part 1: , Part 2:
    Status:Slides from invited plenary talks at 1999 AMS-IMS-SIAM Summer Research Conference on Computability Theory and Applications, University of Colorado, Boulder, Colorado, June 13 - 17, 1999.

  • Title: Nonrigidity as Paradigm Shift
    Author: S. Barry Cooper
    Formats: |
    Status: Copy of slides of invited talk at "Colloquium Logicum '98", Freie Universität Berlin, August 1998.

  • Title: Turing Definability
    Author: S. Barry Cooper
    Formats: |
    Status: Copy of slides of invited talk (49th British Mathematical Colloquium, Royal Holloway, University of London, April 1997).


  • Title: Alan M. Turing
    Author: S. Barry Cooper
    Formats:
    Status: To appear in the Encyclopedia of Communication Theory and Philosophy, Wiley-Blackwell, 2016.

  • Title: The Machine as Data: A Computational View of Emergence and Definability
    Author: S. Barry Cooper
    Formats:
    Status: In Synthese, 2015. See published version at http://link.springer.com/article/10.1007/s11229-015-0803-4. The final publication is available at link.springer.com.

  • Title: Automorphisms of η-Like Computable Linear Orderings and Kierstead's Conjecture
    Authors:Charles M. Harris, Kyung Il Lee and S. Barry Cooper
    Formats:
    Status: To appear in the Mathematical Logic Quarterly.

  • Title: Embodying Computation at Higher Types
    Authors: S. Barry Cooper
    Formats:
    Status: To appear in Turing 100 - Philosophical Explorations of the Legacy of Alan Turing (eds. Alisa Bokulich and Juliet Floyd), in Springer series Boston Studies in the Philosophy and History of Science.

  • Title: 'Real' Information is not Flat - and why it matters
    Authors: S. Barry Cooper
    Formats:
    Status: Journal of Experimental & Theoretical Artificial Intelligence, 27(1) (2015), 3-11

  • Title: Alan Turing - His Work and Impact
    Editors: S. Barry Cooper and Jan van Leeuwen
    Formats: Amazon logo Amazon UK logo
    Status: Published by Elsevier, Amsterdam, Boston, Heidelberg, London, New York, Oxford, Paris, San Diego, San Francisco, Singapore, Sydney, Tokyo, May-June 2013

  • Title: What Makes a Computation Unconventional?
    Authors: S. Barry Cooper
    Formats:
    Status: In: Computing Nature: Turing Centenary Perspective (Gordana Dodig-Crnkovic and Raffaella Giovagnoli, eds.), Studies in Applied Philosophy, Epistemology and Rational Ethics, Springer, 2013, pp. 255-269

  • Title: Alan Turing and Enigmatic Statistics
    Authors: Kanti V. Mardia and S. Barry Cooper
    Formats:
    Status: Bulletin of the Brasilian Section of the International Society for Bayesian Analysis, 5(2) (Decemmber 2012), 2-7

  • Title: Incomputability after Alan Turing
    Authors: S. Barry Cooper
    Formats:
    Status: Notices of the American Mathematical Society, 59(6) (June/July 2012), 776-784; Chinese translation - Mathematical Advances in Translation, 33(4) (2014), 296-306

  • Title: From Natural Philosophy to Computation, and Back Again
    Authors: S. Barry Cooper
    Formats:
    Status: In NUMERICAL ANALYSIS AND APPLIED MATHEMATICS ICNAAM 2012: proceedings of the International Conference of Numerical Analysis and Applied Mathematics, 19-25 September, 2012 - American Institute of Physics (AIP) Conf. Proc. 1479, pp. 616-619; doi:http://dx.doi.org/10.1063/1.4756208

  • Title: Turing's Titanic Machine?
    Authors: S. Barry Cooper
    Formats:
    Status: Communications of the ACM, 55 (3) (March 2012), 74-83

  • Title: Mathematics, Metaphysics and the Multiverse
    Authors: S. Barry Cooper
    Formats:
    Status: In Computation, Physics and Beyond 2012 (eds. M. J. Dinneen, B. Khoussainov, A. Nies), International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Lecture Notes in Computer Science 7160, Springer, pp.252-267

  • Title: Pushing Back the Incomputable - Alan Turing's Ten Big Ideas
    Authors: S. Barry Cooper
    Formats:
    Status: Asia Pacific Mathematics Newsletter, 2 (1) (January 2012), 2-6

  • Title: The Mathematician's Bias - and the Return to Embodied Computation
    Authors: S. Barry Cooper
    Formats:
    Status: In A Computable Universe: Understanding and Exploring Nature as Computation (H. Zenil, ed.), World Scientific, 2012

  • Title: The Incomputable Reality
    Authors: S. Barry Cooper
    Formats:
    Status: Nature, 482 (23 February 2012), p.465

  • Title: Computability Theory
    Authors: S. Barry Cooper
    Formats:
    Status: In Logic and Philosophy Today (A. Gupta and J. van Benthem, eds.), special issue of Journal of Indian Council of Philosophical Research, pp.199-220

  • Title: Definability in the Real Universe
    Authors: S. Barry Cooper
    Formats:
    Status: In Computability in Context: Computation and Logic in the Real World (S. B. Cooper and A. Sorbi, eds.), Imperial College Press/World Scientific, 2011, pp. 131-167.

  • Title: The Computational Roots of Hyper-Causality
    Authors: S. Barry Cooper
    Formats:
    Status: International Journal of Unconventional Computing, 6 (2010), 437-449.

  • Title: Incomputability, Emergence and the Turing Universe
    Authors: S. Barry Cooper
    Formats:
    Status: In Causality, Meaningful Complexity and Embodied Cognition (A. Carsetti, Ed.), Springer, 2010, pp.135-153.

  • Title: From Descartes to Turing: The Computational Content of Supervenience
    Authors: S. Barry Cooper
    Formats:
    Status: In Information and Computation (editors Mark Burgin and Gordana Dodig-Crnkovic), World Scientific Publishing Co., 2011, pp.107-148.

  • Title: The Extended Turing Model as Contextual Tool
    Authors: S. Barry Cooper
    Formats:
    Status: In Theory and Applications of Models of Computation: 6th International Conference, TAMC 2009, ChangSha, China, May 18-22, 2009, Proceedings (J. Chen and S. B. Cooper, eds.), Springer, 2009.

  • Title: Splitting and Nonsplitting in the Σ20 Enumeration Degrees
    Authors: M. M. Arslanov, S. B. Cooper, I. Sh. Kalimullin and M. I. Soskova
    Formats:
    Status: Theoretical Computer Science, 412 (2011), 1669-1685.

  • Title: Extending and Interpreting Post's Programme
    Authors: S. Barry Cooper
    Formats:
    Status: Annals of Pure and Applied Logic, 161 (2010), 775-788.

  • Title: Splitting and Jump Inversion in the Turing Degrees
    Authors: S. Barry Cooper, Angsheng Li and Mingji Xia
    Formats:
    Status: To appear.

  • Title: Emergence as a Computability-Theoretic Phenomenon
    Authors: S. Barry Cooper
    Formats:
    Status: Applied Mathematics and Computation, 215 (2009), 1351-1360.

  • Title: Computability
    Authors: S. Barry Cooper
    Formats:
    Status: In Wiley Encyclopedia of Computer Science and Engineering (ed. B. W. Wah), Wiley-Interscience, 2009, pp. 490-500.

  • Title: Total Degrees and Nonsplitting Properties of Σ20 Enumeration Degrees
    Authors: Marat M. Arslanov, S. Barry Cooper, Iskander Sh. Kalimullin and Mariya I. Soskova
    Formats:
    Status: In Theory and Applications of Models of Computation: 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings (M. Agrawal, D. Du, Z. Duan, A. Li, eds.), LNCS 4978, Springer, 2008, pp. 568-578.

  • Title: The Non-Isolating Degrees Are Upwards dense in the Computably Enumerable Degrees
    Authors: S. Barry Cooper, Matthew C. Salts and Guohua Wu
    Formats:
    Status: In Theory and Applications of Models of Computation: 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings (M. Agrawal, D. Du, Z. Duan, A. Li, eds.), LNCS 4978, Springer, 2008, pp. 588-596.

  • Title: How Enumeration Reducibility Yields Extended Harrington Non-Splitting
    Authors: Mariya Ivanova Soskova and S. Barry Cooper
    Formats:
    Status: Journal of Symbolic Logic, 73 (2008), 634-655.

  • Title: The Strongest Nonsplitting Theorem
    Authors: Mariya Ivanova Soskova and S. Barry Cooper
    Formats:
    Status: In Theory and Applications of Models of Computation: 4th International Conference, TAMC 2007, Shanghai, China, May 2007, Proceedings (J.-Y. Cai, S.B. Cooper, H. Zhu, eds.), Springer Lecture Notes in Computer Science, LNCS 4484, 2007, pp. 199-211.

  • Title: Post's Programme for the Ershov Hierarchy
    Authors: Bahareh Afshari, George Barmpalias, S. Barry Cooper and Frank Stephan
    Formats:
    Status: In Journal of Logic and Computation, 17 (2007), 1025 - 1040.

  • Title: Review of "The Man Who Knew Too Much: Alan Turing and the Invention of the Computer" by David Leavitt (Great Discoveries series, W. W. Norton, Dec. 2005, ISBN 0-393-05236-2)
    Authors: S. Barry Cooper
    Formats:
    Status: In Notices of the American Mathematical Society, November 2006, Vol. 53, No. 10, pp. 1213 - 1217.

  • Title: Immunity properties and the n-c.e. hierarchy
    Authors: Bahareh Afshari, George Barmpalias and S. Barry Cooper
    Formats:
    Status: In Theory and Applications of Models of Computation - Proceedings of the Third Annual Conference on Computation and Logic, TAMC06, Beijing, May 2006 (Jin-Yi Cai, S. Barry Cooper, Angsheng Li, eds.), Springer Lecture Notes in Computer Science No. 3959, 2006, pp. 694-703.

  • Title: How Can Nature Help Us Compute?
    Authors: S. Barry Cooper
    Formats:
    Status: In SOFSEM 2006: Theory and Practice of Computer Science - 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 2006 (Jiri Wiedermann, Julius Stuller, Gerard Tel, Jaroslav Pokorny, Maria Bielikova, editors), Springer Lecture Notes in Computer Science No. 3831, 2006, pp. 1-13.

  • Title: Definability as hypercomputational effect
    Authors: S. Barry Cooper
    Formats:
    Status: Applied Mathematics and Computation (Special Issue on Hypercomputation, edited by Francisco António Dória and José Felix Costa), 178 (2006), 72-82.

  • Title: Computation and Computability
    Authors: S. Barry Cooper
    Formats:
    Status: Position paper for The Grand Challenge in Non-Classical Computation International Workshop, 18-19th April 2005, The King's Manor, University of York.

  • Title: If CiE did not exist, it would be necessary to invent It
    Authors: S. Barry Cooper
    Formats:
    Status: Introduction to CiE 2005: New Computational Paradigms - Papers presented at the conference in Amsterdam, June 8-12, 2005 (eds. S. B. Cooper, B. Löwe, L. Torenvliet), Springer Lecture Notes in Computer Science No. 3526, 2005, pp. 1-7.

  • Title: Computability and emergence
    Authors: S. Barry Cooper
    Formats:
    Status: In Mathematical Problems from Applied Logic I. Logics for the XXIst Century (eds. D.M. Gabbay, S.S. Goncharov, M. Zakharyaschev), Springer International Mathematical Series, Vol. 4, 2006, pp. 193-231.

  • Title: The Incomputable Alan Turing
    Authors: S. Barry Cooper
    Formats: |
    Status: In the Proceedings of Turing 2004: A celebration of his life and achievements , electronically published by the British Computer Society.

  • Title: There Is No Low Maximal d.c.e. Degree - Corrigendum
    Authors: Marat Arslanov, S. Barry Cooper and Angsheng Li
    Formats:
    Status: Mathematical Logic Quarterly, 50 (2004), 628-636.

  • Title: Properly Σ2 minimal degrees and 0'' complementation
    Authors: S. Barry Cooper, Andrew E.M. Lewis and Y. Yang
    Formats:
    Status: Mathematical Logic Quarterly, 51 (2005), 274-276.

  • Title: The minimal e-degree problem in fragments of Peano arithmetic
    Authors: M.M. Arslanov, C.T. Chong, S. Barry Cooper and Y. Yang
    Formats:
    Status: Annals of Pure and Applied Logic, 131 (2005), 159-175.

  • Title: Computability Theory
    Authors: S. Barry Cooper
    Status: Chapman Hall/ CRC Press Mathematics Series Vol. 26 - for details see CRC. There is a list of errata for the book (last updated Oct. 20, 2006).

  • Title: Bounding and nonbounding minimal pairs in the enumeration degrees
    Authors: S. Barry Cooper, Angsheng Li, Andrea Sorbi and Yue Yang
    Formats:
    Status: Journal of Symbolic Logic 70 (2005), 741-766.

  • Title: Incomputability in Nature
    Authors: S. Barry Cooper and Piergiorgio Odifreddi
    Formats:
    Status: In Computability and Models: Perspectives East and West (S. B. Cooper and S. S. Goncharov, eds.), Kluwer Academic/Plenum Publishers, New York, Boston, Dordrecht, London, Moscow, 2003, pp. 137-160.

  • Title: Computability and Models: Perspectives East and West
    Authors: S. Barry Cooper and Sergei S. Goncharov (eds.)
    Status: Published by Kluwer Academic/Plenum Publishers, 2003 - for details see Kluwer.

  • Title: Splitting and cone avoidance in the d.c.e. degrees
    Authors: S. Barry Cooper and Angsheng Li
    Formats:
    Status: Science in China (Series A), 45 (2002), 1135-1146.

  • Title: Turing definability in the Ershov hierarchy
    Authors: S. Barry Cooper and Angsheng Li
    Formats:
    Status: Journal of the London Mathematical Society (2), 66 (2002), 513-528.

  • Title: On Lachlan's major subdegree problem
    Authors: S. Barry Cooper and Angsheng Li
    Formats:
    Status: Archive for Mathematical Logic, 47 (2008), 341-434.

  • Title: On the intensionality of Turing definitions
    Author: S. Barry Cooper
    Formats:
    Status: In Proceedings of International Conferences on Mathematical Logic, Honouring Yu. L. Ershov on his 60-th birthday anniversary and honouring A. I. Mal'tsev on his 90-th birthday anniversary and 275-th anniversary of the Russian Academy of Sciences, Novosibirsk State University Press, Novosibirsk, 2002, pp. 40-58.

  • Title: There exists a maximal 3-c.e. enumeration degree
    Authors: S. Barry Cooper, Angsheng Li, Andrea Sorbi and Yue Yang
    Formats:
    Status: Israel Journal of Mathematics 137 (2003), 285-320.

  • Title: Splitting and nonsplitting, II: A low2 c.e. degree above which 0' is not splittable
    Authors: S. Barry Cooper and Angsheng Li
    Formats:
    Status: Journal of Symbolic Logic 67 (2002), 1391-1430.

  • Title: On the intensionality of Turing definitions
    Author: S. Barry Cooper
    Formats:
    Status: Copy of slides from talk at International conference ``Logic and Applications", Novosibirsk, Russia, May 4-6, 2000.

  • Title: On a conjecture of Kleene and Post
    Author: S. Barry Cooper
    Formats: Available in pdf form: Edited copy of slides from presentation in the Leeds Computability Theory Seminar, Winter 1999-2000: Part 1: , Part 2: , Part 3: .
    Status: Math. Logic Quarterly 47 (2001), 3-33.

  • Title: Splitting properties of total enumeration degrees
    Authors: Marat M. Arslanov, S. Barry Cooper and I. Sh. Kalimullin
    Formats:
    Status: Algebra and Logic 42 (2003), 1-13.

  • Title: Non-uniformity and generalised Sacks splitting
    Authors: S. Barry Cooper and Angsheng Li
    Formats:
    Status: Acta Mathematica Sinica, English Series 18 (2002), 327-334.

  • Title: There Is No Low Maximal d.c.e. Degree
    Authors: Marat Arslanov, S. Barry Cooper and Angsheng Li
    Formats:
    Status: Math. Logic Quarterly 46 (2000), 409-416.
    But see "There Is No Low Maximal d.c.e. Degree - Corrigendum", listed above.

  • Title: On the Distribution of Lachlan Nonsplitting Bases
    Authors: S. Barry Cooper, Angsheng Li and Xiaoding Yi
    Formats:
    Status: Archive for Math. Logic 41 (2002), 455-482.

  • Title: Clockwork or Turing U/universe? - Remarks on causal determinism and computability
    Author: S. Barry Cooper
    Formats: |
    Status: In 'Models and Computability' (S. B. Cooper and J. K. Truss, eds.), London Mathematical Society Lecture Notes Series 259, Cambridge University Press, Cambridge, New York, Melbourne, 1999, pp.63-116.

  • Title: Sets and Proofs
    Authors: S. Barry Cooper and John K. Truss (eds.)
    Status: Published by Cambridge University Press, June 1999 - for details see CUP

  • Title: Models and Computability
    Authors: S. Barry Cooper and John K. Truss (eds.)
    Status: Published by Cambridge University Press, June 1999 - for details see CUP

  • Title: Upper cones as automorphism bases
    Author: S. Barry Cooper
    Formats: |
    Status: Siberian Advances in Math. 9, No. 3 (1999) 1--61.

  • Title: Beyond Gödel's Theorem: Turing nonrigidity revisited
    Author: S. Barry Cooper
    Formats: |
    Status: In 'Logic Colloquium '95' (eds. J. A. Makowsky and E. V. Ravve), Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995, Lecture Notes in Logic, vol. 11, Springer, Berlin, New York, Tokyo, 1998, pp. 44-50.

  • Title: The Turing Universe Is Not Rigid
    Author: S. Barry Cooper
    Formats: |
    Status: University of Leeds Pure Mathematics Preprint Series 1997, no. 16 (revised February 1998).

  • Title: Initial segments of recursive linear orders
    Authors: Klaus Ambos-Spies, S. Barry Cooper and Steffen Lempp
    Formats: |
    Status: Order 14, no. 2 (1997-98) 101-105.

  • Title: Beyond Gödel's Theorem: The failure to capture information content
    Author: S. Barry Cooper
    Formats: |
    Status: In "Complexity, Logic and Recursion Theory" (ed. A. Sorbi), Lecture Notes in Pure and Applied Mathematics, vol. 187, Marcel Dekker, New York, 1997, pp. 93-122.

  • Title: Local degree theory
    Author: S. Barry Cooper
    Formats: |
    Status: In the Handbook of Computability Theory (ed. E.R. Griffor), Studies in Logic and the Foundations of Mathematics 140, North-Holland/Elsevier, Amsterdam, Lausanne, New York, Oxford, Shannon, Singapore, Tokyo, 1999, pp. 121-153.

  • Title: Cupping and noncupping in the enumeration degrees of Sigma-zero-two sets
    Authors: S. Barry Cooper, Andrea Sorbi and Xiaoding Yi
    Formats: |
    Status: Annals of Pure and Applied Logic 82 (1996) 317-342.

  • Title: Discontinuous phenomena and Turing definability
    Author: S. Barry Cooper
    Formats:
    Status: In "Algebra and Analysis" (eds. M.M. Arslanov, A.N. Parshin and I.R. Shafarevich), Proceedings of the International Centennial Chebotarev Conference held in Kazan, Russia, June 5-11, 1994, Walter de Gruyter, Berlin, New York, 1996, pp. 41-55.

  • Title: Isolated D.R.E. Degrees
    Authors: S. Barry Cooper and Xiaoding Yi
    Formats: |
    Status: Preprint.

  • Title: Noncappable enumeration degrees below 0'
    Authors: S. Barry Cooper and Andrea Sorbi
    Formats: |
    Status: J. of Symbolic Logic 61 (1996) 1347-1363.

  • Title: A characterisation of the jumps of minimal degrees below 0'
    Author: S. Barry Cooper
    Formats: |
    Status: In "Computability, Enumerability, Unsolvability: Directions in Recursion Theory" (eds. S.B. Cooper, T.A. Slaman and S.S. Wainer), London Mathematical Society Lecture Notes, Cambridge University Press, 1996, pp. 81-92.

  • Title: Computability, Enumerability, Unsolvability: Directions in Recursion Theory
    Editors: S. B. Cooper, T. A. Slaman and S. S. Wainer
    Formats: See CUP
    Status: London Mathematical Society Lecture Notes Series 224, Cambridge University Press, 1996.

  • Title: Strong minimal covers for recursively enumerable degrees
    Author: S. Barry Cooper
    Formats: |
    Status: Math. Logic Quarterly 42 (1996) 191-196.

  • Title: The discontinuity of splitting in the recursively enumerable degrees
    Authors: S. Barry Cooper and Xiaoding Yi
    Formats: |
    Status: Archive for Math. Logic, 34 (1995) 247-256.

  • Title: Rigidity and definability in the noncomputable universe
    Author: S. Barry Cooper
    Formats: |
    Status: In "Logic, Methodology and Philosophy of Science IX" (eds. D. Prawitz, B. Skyrms and D. Westerstahl), Proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991, North-Holland, Amsterdam, New York, Oxford, Tokyo, 1994, pp. 209-236.

  • Title: Definability and global degree theory
    Author: S. Barry Cooper
    Formats: |
    Status: In "Logic Colloquium '90" (eds. J. Oikkonen and J. Väänänen), Proceedings of the ASL Summer Meeting in Helsinki, Lecture Notes in Logic vol. 2, Springer-Verlag, Berlin, Heidelberg, New York, 1993, pp. 25-45.

  • Title: A splitting theorem for the n-r.e. degrees
    Author: S. Barry Cooper
    Formats: |
    Status: Proc. Amer. Math. Soc. 115 (1992) 461-471.

  • Title: The density of the Low2 n-r.e. degrees
    Author: S. Barry Cooper
    Formats: |
    Status: Archive for Math. Logic 31 (1991) 19-24.

  • Title: Enumeration reducibility, nondeterministic computations and relative computability of partial functions
    Author: S. Barry Cooper
    Formats:
    Status: In "Recursion Theory Week, Oberwolfach 1989" (eds. K. Ambos-Spies, G. Müller, G. E. Sacks), Springer-Verlag, Berlin, Heidelberg, New York, 1990, pp. 57-110.

  • Title: On conjectures of Erdös, Ko, Rado and Frankl
    Author: S. Barry Cooper
    Formats: |
    Status: Preprint (revised April 1990).

  • Title: On systems of finite sets with multiple intersections
    Author: S. Barry Cooper
    Formats: |
    Status: Preprint (revised May 1990).

  • Title: The jump is definable in the structure of the degrees of unsolvability
    Authors: S. Barry Cooper
    Formats:
    Status: Bull. Amer. Math. Soc., 23 (1990) 151-158.

  • Title: Properly Σ2 enumeration degrees
    Authors: S. B. Cooper and C. S. Copestake
    Formats:
    Status: Zeitschr. f. math. Logik und Grundlagen d. Math., 34 (1988) 491-522.
  • Title: Degrees of Unsolvability
    Authors: Stuart Barry Cooper
    Formats:
    Status: Thesis submitted in partial fulfilment of the requirements for the degree of Doctor of Philosophy at the University of Leicester Awarded 1971; downloadable from the Leicester Research Archive (protected by copyright).


Return to: ... or to Barry Cooper's homepage: