{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T17:50:19Z","timestamp":1649008219454},"reference-count":22,"publisher":"Cambridge University Press (CUP)","issue":"5","license":[{"start":{"date-parts":[[2012,9,6]],"date-time":"2012-09-06T00:00:00Z","timestamp":1346889600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[2012,10]]},"abstract":"<jats:p>Albert Einstein encapsulated a commonly held view within the scientific community when he wrote in his book <jats:italic>Out of My Later Years<\/jats:italic> (Einstein 1950, page 54)\n<jats:disp-quote><jats:p>\u2018When we say that we understand a group of natural phenomena, we mean that we have found a constructive theory which embraces them.\u2019<\/jats:p><\/jats:disp-quote>\nThis represents a dual challenge to the scientist: on the one hand, to explain the real world in a very basic, and if possible, mathematical, way; but on the other, to characterise the extent to which this is even possible. Recent years have seen the mathematics of computability play an increasingly vital role in pushing forward basic science and in illuminating its limitations within a creative coming together of researchers from different disciplines. This special issue of <jats:italic>Mathematical Structures in Computer Science<\/jats:italic> is based on the special session \u2018Computability of the Physical\u2019 at the International Conference <jats:italic>Computability in Europe 2010<\/jats:italic>, held at Ponta Delgada, Portugal, in June 2010, and it, together with the individual papers it contains, forms what we believe to be a special contribution to this exciting and developing process.<\/jats:p>","DOI":"10.1017\/s0960129511000491","type":"journal-article","created":{"date-parts":[[2012,9,6]],"date-time":"2012-09-06T11:32:55Z","timestamp":1346931175000},"page":"723-728","source":"Crossref","is-referenced-by-count":0,"title":["Introduction: computability of the physical"],"prefix":"10.1017","volume":"22","author":[{"given":"CRISTIAN S.","family":"CALUDE","sequence":"first","affiliation":[]},{"given":"S. BARRY","family":"COOPER","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2012,9,6]]},"reference":[{"key":"S0960129511000491_ref8","volume-title":"Out of My Later Years","author":"Einstein","year":"1950"},{"key":"S0960129511000491_ref6","doi-asserted-by":"publisher","DOI":"10.1145\/321892.321894"},{"key":"S0960129511000491_ref9","volume-title":"Generative Social Science: Studies in Agent-based Computational Modeling","author":"Epstein","year":"2007"},{"key":"S0960129511000491_ref17","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-0615-1","volume-title":"A Course in Mathematical Logic","author":"Manin","year":"2010"},{"key":"S0960129511000491_ref21","unstructured":"Tadaki K. (2008) A statistical mechanical interpretation of algorithmic information theory. In: Local Proceedings of Computability in Europe 2008, University of Athens, Greece 425\u2013434."},{"key":"S0960129511000491_ref12","volume-title":"1993 Lecture Notes in Complex Systems: Proceedings of the 1993 Complex Systems Summer School","author":"Kittock","year":"1994"},{"key":"S0960129511000491_ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2006.07.003"},{"key":"S0960129511000491_ref2","doi-asserted-by":"publisher","DOI":"10.1109\/18.681318"},{"key":"S0960129511000491_ref19","doi-asserted-by":"publisher","DOI":"10.1007\/BF01341281"},{"key":"S0960129511000491_ref1","volume-title":"Growing Artificial Societies: Social Science from the Bottom Up","author":"Axtell","year":"1996"},{"key":"S0960129511000491_ref7","doi-asserted-by":"publisher","DOI":"10.1142\/9789812700988_0016"},{"key":"S0960129511000491_ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2005.06.004"},{"key":"S0960129511000491_ref15","unstructured":"Longo L. (2012) Interfaces de l'incompl\u00e8tude, pour \u2018Les Math\u00e9matiques\u2019, Editions du CNRS. (English version available at http:\/\/www.di.ens.fr\/users\/longo\/download.html.)"},{"key":"S0960129511000491_ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BF01857727"},{"key":"S0960129511000491_ref20","doi-asserted-by":"publisher","DOI":"10.14492\/hokmj\/1350911778"},{"key":"S0960129511000491_ref16","first-page":"181","volume-title":"S\u00e9minaires et Congr\u00e8s","author":"Manin","year":"2011"},{"key":"S0960129511000491_ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.aam.2007.01.001"},{"key":"S0960129511000491_ref14","first-page":"83","article-title":"The complexity of finite objects and the development of the concepts of information and randomness by means of the theory of algorithms","volume":"256","author":"Levin","year":"1970","journal-title":"Russian Mathematics Surveys"},{"key":"S0960129511000491_ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-92687-0_29"},{"key":"S0960129511000491_ref11","unstructured":"G\u00e0cs P. , Hoyrup M. and Rojas C. (2009) Randomness on computable metric spaces: A dynamical point of view. In: Albers S. and Marion J.-Y. (eds.) 26th International Symposium on Theoretical Aspects of Computer Science (STACS) 469\u2013480."},{"key":"S0960129511000491_ref13","first-page":"3","article-title":"Three approaches to the definition of the quantity of information","volume":"1","author":"Kolmogorov","year":"1965","journal-title":"Problems of Information Transmission"},{"key":"S0960129511000491_ref18","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(64)90223-2"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129511000491","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,24]],"date-time":"2019-04-24T22:45:03Z","timestamp":1556145903000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129511000491\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,6]]},"references-count":22,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2012,10]]}},"alternative-id":["S0960129511000491"],"URL":"https:\/\/doi.org\/10.1017\/s0960129511000491","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,9,6]]}}}