{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:21:56Z","timestamp":1740122516673,"version":"3.37.3"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2016,10,6]],"date-time":"2016-10-06T00:00:00Z","timestamp":1475712000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["681404"],"award-info":[{"award-number":["681404"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Minds & Machines"],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1007\/s11023-016-9401-6","type":"journal-article","created":{"date-parts":[[2016,10,6]],"date-time":"2016-10-06T11:00:12Z","timestamp":1475751612000},"page":"341-357","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["There\u2019s Plenty of Boole at the Bottom: A Reversible CA Against Information Entropy"],"prefix":"10.1007","volume":"26","author":[{"given":"Francesco","family":"Berto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacopo","family":"Tagliabue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriele","family":"Rossi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,6]]},"reference":[{"key":"9401_CR4","volume-title":"Cities and complexity, understanding cities with cellular automata, agent-based models, and fractals","author":"M Batty","year":"2005","unstructured":"Batty, M. (2005). Cities and complexity, understanding cities with cellular automata, agent-based models, and fractals. Cambridge, MA: MIT Press."},{"key":"9401_CR5","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1147\/rd.176.0525","volume":"6","author":"C Bennett","year":"1973","unstructured":"Bennett, C. (1973). Logical reversibility of computation. IBM Journal of Research and Development, 6, 525\u2013532.","journal-title":"IBM Journal of Research and Development"},{"key":"9401_CR6","volume-title":"Winning ways for your mathematical plays","author":"ER Berkelamp","year":"1982","unstructured":"Berkelamp, E. R., Conway, J. H., & Guy, R. K. (1982). Winning ways for your mathematical plays. New York: Academic Press."},{"key":"9401_CR3","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1007\/s11229-013-0285-1","volume":"191","author":"F Berto","year":"2014","unstructured":"Berto, F., & Tagliabue, J. (2014). The world is either digital or analogue. Synthese, 191, 481\u2013497.","journal-title":"Synthese"},{"issue":"7388","key":"9401_CR7","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1038\/nature10872","volume":"483","author":"A B\u00e9rut","year":"2012","unstructured":"B\u00e9rut, A., Arakelyan, A., Petrosyan, A., Ciliberto, S., Dillenschneider, R., & Lutz, E. (2012). Experimental verification of Landauer\u2019s principle linking information and thermodynamics. Nature, 483(7388), 187\u2013190.","journal-title":"Nature"},{"key":"9401_CR8","first-page":"259","volume":"2","author":"H Chen","year":"1983","unstructured":"Chen, H., Chen, S., Doolen, G., & Lee, Y. C. (1983). Simple lattice gas models for waves. Complex Systems, 2, 259\u2013267.","journal-title":"Complex Systems"},{"key":"9401_CR9","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1016\/S0003-4916(86)80006-9","volume":"167","author":"M Creutz","year":"1986","unstructured":"Creutz, M. (1986). Deterministic Ising dynamics. Annals of Physics, 167, 62\u201376.","journal-title":"Annals of Physics"},{"key":"9401_CR10","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/0167-2789(94)90273-9","volume":"75","author":"JP Crutchfield","year":"1994","unstructured":"Crutchfield, J. P. (1994). The calculi of emergence: Computation, dynamics, and induction. Physica D, 75, 11\u201354.","journal-title":"Physica D"},{"issue":"23","key":"9401_CR11","doi-asserted-by":"crossref","first-page":"10742","DOI":"10.1073\/pnas.92.23.10742","volume":"92","author":"JP Crutchfield","year":"1995","unstructured":"Crutchfield, J. P., & Mitchell, M. (1995). The evolution of emergent computation. Proceedings of the National Academy of Sciences, 92(23), 10742.","journal-title":"Proceedings of the National Academy of Sciences"},{"key":"9401_CR12","doi-asserted-by":"crossref","first-page":"777","DOI":"10.1103\/PhysRev.47.777","volume":"37","author":"A Einstein","year":"1935","unstructured":"Einstein, A., Podolski, B., & Rosen, N. (1935). Can quantum mechanical description of physical reality be considered complete? Physical Review, 37, 777.","journal-title":"Physical Review"},{"issue":"1","key":"9401_CR13","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/s11229-008-9334-6","volume":"168","author":"L Floridi","year":"2009","unstructured":"Floridi, L. (2009). Against digital ontology. Synthese, 168(1), 151\u2013178.","journal-title":"Synthese"},{"key":"9401_CR14","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1119\/1.17409","volume":"61","author":"DR Franceschetti","year":"1992","unstructured":"Franceschetti, D. R., Campbell, B. W., & Hamneken, J. W. (1992). Hamming nets, Ising sets, cellular automata, neural nets and random walks. American Journal of Physics, 61, 50\u201353.","journal-title":"American Journal of Physics"},{"key":"9401_CR15","first-page":"116","volume-title":"PhysComp92","author":"E Fredkin","year":"1993","unstructured":"Fredkin, E. (1993). A new cosmogony. In D. Matzke (Ed.), PhysComp92 (pp. 116\u2013121). Los Alamitos, CA: Computer Society Press."},{"key":"9401_CR16","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BF01857727","volume":"21","author":"E Fredkin","year":"1982","unstructured":"Fredkin, E., & Toffoli, T. (1982). Conservative logic. International Journal of Theoretical Physics, 21, 219\u2013254.","journal-title":"International Journal of Theoretical Physics"},{"key":"9401_CR17","doi-asserted-by":"crossref","DOI":"10.1142\/4702","volume-title":"Cellular automata. A discrete universe","author":"A Ilachinski","year":"2001","unstructured":"Ilachinski, A. (2001). Cellular automata. A discrete universe. Singapore: World Scientific."},{"key":"9401_CR18","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/0167-2789(84)90249-5","volume":"10","author":"TE Ingerson","year":"1984","unstructured":"Ingerson, T. E., & Buvel, R. L. (1984). Structure in asynchronous cellular automata. Physica D, 10, 59\u201368.","journal-title":"Physica D"},{"issue":"1","key":"9401_CR20","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1016\/j.shpsb.2006.03.007","volume":"38","author":"J Ladyman","year":"2007","unstructured":"Ladyman, J., Presnell, S., Short, A. J., & Groisman, B. (2007). The connection between logical and thermodynamic irreversibility. Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics, 38(1), 58\u201379.","journal-title":"Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics"},{"key":"9401_CR21","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1147\/rd.53.0183","volume":"5","author":"R Landauer","year":"1961","unstructured":"Landauer, R. (1961). Irreversibility and heat generation in the computing process. IBM Journal of Research and Development, 5, 183\u2013191.","journal-title":"IBM Journal of Research and Development"},{"key":"9401_CR22","volume-title":"Philosophical papers volume II","author":"D Lewis","year":"1986","unstructured":"Lewis, D. (1986). Philosophical papers volume II. Oxford: Oxford University Press."},{"key":"9401_CR23","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0167-2789(84)90252-5","volume":"10","author":"N Margolus","year":"1984","unstructured":"Margolus, N. (1984). Physics-like models of computation. Physica D, 10, 81\u201395.","journal-title":"Physica D"},{"key":"9401_CR24","unstructured":"Margolus, N. (1988). Physics and computation, Ph.D. Thesis, Tech. Rep. MIT."},{"issue":"2","key":"9401_CR25","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1016\/j.shpsb.2004.11.006","volume":"36","author":"O Maroney","year":"2005","unstructured":"Maroney, O. (2005). The (absence of a) relationship between thermodynamic and logical reversibility. Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics, 36(2), 355\u2013374.","journal-title":"Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics"},{"key":"9401_CR26","first-page":"685","volume":"14","author":"J Myhill","year":"1963","unstructured":"Myhill, J. (1963). The converse of Moore\u2019s Garden of Eden theorem. Proceedings of the American Mathematical Society, 14, 685\u2013686.","journal-title":"Proceedings of the American Mathematical Society"},{"key":"9401_CR27","volume-title":"Evolution of parallel cellular machines. The cellular programming approach","author":"M Sipper","year":"2004","unstructured":"Sipper, M. (2004). Evolution of parallel cellular machines. The cellular programming approach. New York: Springer."},{"key":"9401_CR1","doi-asserted-by":"crossref","unstructured":"Tagliabue, J. (2013a). Digital Philosophy. In H. Zenil (Ed.), Irreducibility and Computational Equivalence (pp. 325\u2013339). Springer.","DOI":"10.1007\/978-3-642-35482-3_22"},{"key":"9401_CR2","unstructured":"Tagliabue, J. (2013b). Digital Philosophy. Formal Ontology and Knowledge Representation in Cellular Automata. Ph.D. Dissertation,\u00a0San Raffaele University."},{"key":"9401_CR28","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/S0022-0000(77)80007-X","volume":"15","author":"T Toffoli","year":"1977","unstructured":"Toffoli, T. (1977). Computation and construction universality of reversible cellular automata. Journal of Computer and System Sciences, 15, 213.","journal-title":"Journal of Computer and System Sciences"},{"key":"9401_CR29","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/0167-2789(90)90185-R","volume":"45","author":"T Toffoli","year":"1990","unstructured":"Toffoli, T., & Margolus, N. (1990). Invertible cellular automata: A review. Physica D, 45, 229\u2013252.","journal-title":"Physica D"},{"key":"9401_CR31","volume-title":"Theory of self-reproducing automata","author":"J Neumann Von","year":"1966","unstructured":"Von Neumann, J. (1966). Theory of self-reproducing automata. Champaign, IL: University of Illinois Press."},{"volume-title":"Irreducibility and computational equivalence","year":"2013","key":"9401_CR32","unstructured":"Zenil, H. (Ed.). (2013a). Irreducibility and computational equivalence. New York: Springer."},{"volume-title":"A computable universe","year":"2013","key":"9401_CR33","unstructured":"Zenil, H. (Ed.). (2013b). A computable universe. Singapore: World Scientific."}],"container-title":["Minds and Machines"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11023-016-9401-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11023-016-9401-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11023-016-9401-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T20:30:10Z","timestamp":1498336210000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11023-016-9401-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10,6]]},"references-count":31,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2016,12]]}},"alternative-id":["9401"],"URL":"https:\/\/doi.org\/10.1007\/s11023-016-9401-6","relation":{},"ISSN":["0924-6495","1572-8641"],"issn-type":[{"type":"print","value":"0924-6495"},{"type":"electronic","value":"1572-8641"}],"subject":[],"published":{"date-parts":[[2016,10,6]]}}}