{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,27]],"date-time":"2025-09-27T13:46:01Z","timestamp":1758980761344,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540354666"},{"type":"electronic","value":"9783540354680"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11780342_42","type":"book-chapter","created":{"date-parts":[[2006,6,28]],"date-time":"2006-06-28T06:19:46Z","timestamp":1151475586000},"page":"398-412","source":"Crossref","is-referenced-by-count":10,"title":["Can General Relativistic Computers Break the Turing Barrier?"],"prefix":"10.1007","author":[{"given":"Istv\u00e1n","family":"N\u00e9meti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hajnal","family":"Andr\u00e9ka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"42_CR1","unstructured":"Andr\u00e9ka, H., Madar\u00e1sz, J.X., N\u00e9meti, I.: Logic of Spacetime. In: Aiello, M., van Benthem, J., Hartman-Pratt, I. (eds.) Logic of Space. Kluwer Academic Publishers, Dordrecht (in preparation)"},{"key":"42_CR2","series-title":"Mathematics and its Applications","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/0-387-29555-0_8","volume-title":"Non-Euclidean Geometries, J\u00e1nos Bolyai Memorial","author":"H. Andr\u00e9ka","year":"2006","unstructured":"Andr\u00e9ka, H., Madar\u00e1sz, J.X., N\u00e9meti, I.: Logical axiomatizations of spacetime. In: Pr\u00e9kopa, A., Moln\u00e1r, E. (eds.) Non-Euclidean Geometries, J\u00e1nos Bolyai Memorial. Mathematics and its Applications, vol.\u00a0581, pp. 155\u2013185. Springer, Heidelberg (2006)"},{"key":"42_CR3","doi-asserted-by":"crossref","unstructured":"Andr\u00e9ka, H., Madar\u00e1sz, J.X., N\u00e9meti, I., Andai, A., Sain, I., S\u00e1gi, G., T\u0151ke, C., V\u00e1lyi, S.: On the logical structure of relativity theories. Internet book, Budapest (2000), http:\/\/www.math-inst.hu\/pub\/algebraic-logic\/olsort.html","DOI":"10.1007\/978-94-017-0452-6_3"},{"key":"42_CR4","unstructured":"Andr\u00e9ka, H., N\u00e9meti, I., W\u00fcthrich.: A twist in the geometry of rotating black holes: seeking the cause of acausality, 15 pages (manuscript, 2005)"},{"key":"42_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11611257_1","volume-title":"SOFSEM 2006: Theory and Practice of Computer Science","author":"S.B. Cooper","year":"2006","unstructured":"Cooper, S.B.: How Can Nature Help Us Compute? In: Wiedermann, J., Tel, G., Pokorn\u00fd, J., Bielikov\u00e1, M., \u0160tuller, J. (eds.) SOFSEM 2006. LNCS, vol.\u00a03831, pp. 1\u201313. Springer, Heidelberg (2006)"},{"key":"42_CR6","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195095913.001.0001","volume-title":"Bangs, crunches, whimpers, and shrieks. Singularities and acausalities in relativistic spacetimes","author":"J. Earman","year":"1995","unstructured":"Earman, J.: Bangs, crunches, whimpers, and shrieks. Singularities and acausalities in relativistic spacetimes. Oxford university Press, Oxford (1995)"},{"issue":"2","key":"42_CR7","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1023\/A:1014019225365","volume":"41","author":"G. Etesi","year":"2002","unstructured":"Etesi, G., N\u00e9meti, I.: Turing computability and Malament-Hogarth spacetimes. International Journal of Theoretical Physics\u00a041(2), 342\u2013370 (2002)","journal-title":"International Journal of Theoretical Physics"},{"key":"42_CR8","first-page":"261","volume-title":"Kurt G\u00f6del Collected Works","author":"K. G\u00f6del","year":"1995","unstructured":"G\u00f6del, K.: Lecture on rotating universes. In: Feferman, S., Dawson, J.S., Goldfarb, W., Parson, C., Solovay, R.N. (eds.) Kurt G\u00f6del Collected Works, vol.\u00a0III, pp. 261\u2013289. Oxford University Press, Oxford (1995)"},{"key":"42_CR9","unstructured":"Hogarth, M.L.: Predictability, computability, and spacetime. Ph.D Dissertation, University of Cambridge, UK (2000), http:\/\/ftp.math-inst.hu\/pub\/algebraic-logic\/Hogarththesis.ps.gz"},{"key":"42_CR10","doi-asserted-by":"publisher","first-page":"681","DOI":"10.1093\/bjps\/55.4.681","volume":"55","author":"M.L. Hogarth","year":"2004","unstructured":"Hogarth, M.L.: Deciding arithmetic using SAD computers. Brit. J. Phil. Sci.\u00a055, 681\u2013691 (2004)","journal-title":"Brit. J. Phil. Sci."},{"key":"42_CR11","unstructured":"Madar\u00e1sz, J.X., N\u00e9meti, I., Sz\u00e9kely, G.: Twin Paradox and the logical foundation of space-time. Foundation of Physics (to appear) arXiv:gr-qc\/0504118"},{"key":"42_CR12","unstructured":"Madar\u00e1sz, J.X., N\u00e9meti, I., Sz\u00e9kely, G.: First-order logic foundation of relativity theories. In: Mathematical problems from applied logic II. International Mathematical Series. Springer, Heidelberg (to appear)"},{"key":"42_CR13","unstructured":"Madar\u00e1sz, J.X., Sz\u00e9kely, G.: The effects of gravitation on clocks, proved in axiomatic relativity. In: Abstracts for the conference Logic in Hungary (2005), http:\/\/atlas-conferences.com\/cgi.bin\/abstract.caqb-41"},{"key":"42_CR14","unstructured":"N\u00e9meti, I.: On logic, relativity, and the limitations of human knowledge. Iowa State University, Department of Mathematics, Ph. D. course during the academic year (1987\/1988)"},{"key":"42_CR15","unstructured":"N\u00e9meti, I., D\u00e1vid, G.: Relativistic computers and the Turing barrier. Journal of Applied Mathematics and Computation (to appear)"},{"key":"42_CR16","unstructured":"Ori, A.: On the traversability of the Cauchy horizon: Herman and Hiscock\u2019s argument revisited. In: Ori, A., Ori, L.M. (eds.) Internal Structures of Black Holes and Spacetime Singularitites. Ann. Isra. Phys. Soc, vol.\u00a013, IOP (1997)"},{"key":"42_CR17","unstructured":"Reynolds, C.C., Brenneman, L.W., Garofalo, D.: Black hole spin in AGN and GBHCs. October 5 (2004) arXiv:astro-ph\/0410116 (Evidence for rotating black holes)"},{"issue":"1","key":"42_CR18","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1086\/320258","volume":"553","author":"T.E. Strohmayer","year":"2001","unstructured":"Strohmayer, T.E.: Discovery of a 450 HZ quasi-periodic oscillation from the microquasar GRO J1655-40 wtih the Rossi X-Ray timing explorer. The Astrophysical Journal\u00a0553(1), L49\u2013L53 (2001) (Evidence for rotating black holes.) arXiv:astro-ph\/0104487","journal-title":"The Astrophysical Journal"},{"key":"42_CR19","unstructured":"Taylor, E.F., Wheeler, J.A.: Black Holes. Addison, Wesley, Longman, San Francisco (2000)"},{"key":"42_CR20","doi-asserted-by":"crossref","unstructured":"Tegmark, M.: Parallel Universes. Scientific American, 41\u201351 (May 2003)","DOI":"10.1038\/scientificamerican0503-40"},{"key":"42_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/3-540-45833-6_24","volume-title":"Unconventional Models of Computation","author":"J. Wiedermann","year":"2002","unstructured":"Wiedermann, J., van Leeuwen, J.: Relativistic computers and non-uniform complexity theory. In: Calude, C.S., Dinneen, M.J., Peper, F. (eds.) UMC 2002. LNCS, vol.\u00a02509, pp. 287\u2013299. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Logical Approaches to Computational Barriers"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11780342_42","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,5]],"date-time":"2024-02-05T00:06:55Z","timestamp":1707091615000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11780342_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540354666","9783540354680"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11780342_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}