{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,10]],"date-time":"2024-01-10T08:03:51Z","timestamp":1704873831234},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1995,2,1]],"date-time":"1995-02-01T00:00:00Z","timestamp":791596800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1995,2]]},"DOI":"10.1007\/bf01053030","type":"journal-article","created":{"date-parts":[[2005,1,29]],"date-time":"2005-01-29T14:28:41Z","timestamp":1107008921000},"page":"23-32","source":"Crossref","is-referenced-by-count":1,"title":["Undecidability, incompleteness and Arnol'd problems"],"prefix":"10.1007","volume":"55","author":[{"given":"Newton C. A.","family":"da Costa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francisco A.","family":"Doria","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"S. Albeverio, J. E. Fenstad, R. Hoegh-Krohn, T. Lindstrom,Nonstandard Methods in Stochastic Analysis and Mathematical Physics, Academic Press (1986)."},{"key":"CR2","first-page":"59","volume":"28","author":"V. I. Arnol'd","year":"1976","unstructured":"V. I. Arnol'd, ?Problems of Present Day Mathematics,? XVII (Dynamical systems and differential equations),Proc. Symp. Pure Math. 28, 59 (1976).","journal-title":"Proc. Symp. Pure Math."},{"key":"CR3","unstructured":"V. I. Arnol'd, e-mail message to FAD (1992)."},{"key":"CR4","unstructured":"J. Casti,Reality rules, II, p. 350?351, John Wiley (1992)."},{"key":"CR5","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1145\/321574.321591","volume":"17","author":"B. F. Caviness","year":"1970","unstructured":"B. F. Caviness,J. of the ACM 17, 385 (1970).","journal-title":"J. of the ACM"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"1041","DOI":"10.1007\/BF00671484","volume":"30","author":"N. C. A. Costa da","year":"1991","unstructured":"N. C. A. da Costa andF. A. Doria,Int. J. Theor. Phys. 30, 1041 (1991).","journal-title":"Int. J. Theor. Phys."},{"key":"CR7","unstructured":"N. C. A. da Costa and F. A. Doria, ?On Arnol'd's Hilbert Symposium Problems,? in G. Gottlob, A. Leitsch, D. Mundici, eds.,Proceedings of the 1993 Kurt G\u00f6del Colloquium: Computational Logic and Proof Theory, Lecture Notes in Computer Science713, Springer (1993), pp. 152?158."},{"key":"CR8","first-page":"1913","volume":"33","author":"N. C. A. Costa da","year":"1994","unstructured":"N. C. A. da Costa andF. A. Doria,Int. J. Theor. Phys. 33, 1913 (1994).","journal-title":"Int. J. Theor. Phys."},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"N. C. A. da Costa and F. A. Doria, ?G\u00f6del Incompleteness, Explicit Expressions for Complete Degrees and Applications,? to appear inComplexity 1 (1995).","DOI":"10.1002\/cplx.6130010312"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"2187","DOI":"10.1007\/BF00675030","volume":"32","author":"N. C. A. Costa da","year":"1993","unstructured":"N. C. A. da Costa, F. A. Doria andA. F. Furtado-do-Amaral, ?A Dynamical System where Proving Chaos is Equivalent to Proving Fermat's Conjecture,?Int. J. Theor. Phys. 32, 2187?2206 (1993).","journal-title":"Int. J. Theor. Phys."},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"N. C. A. da Costa, F. A. Doria, J. A. Ba\u00eata Segundo, D. Krause, ?On Arnol'd's 1974 Hilbert Symposium Problems,? to appear (1993).","DOI":"10.1007\/BFb0022563"},{"key":"CR12","unstructured":"M. Davis, ?Hilbert's Tenth Problem is Unsolvable,? inComputability and Unsolvability, 2nd. edition, Dover (1982)."},{"key":"CR13","unstructured":"F. A. Doria, in J. Casti and J. Traub,On limits, preprint 94-10-056, Santa Fe Institute (1994)."},{"key":"CR14","first-page":"1","volume":"94","author":"E. Hopf","year":"1942","unstructured":"E. Hopf,Sachsische Akad. der Wiss.,Math.-Phys. Serie 94, 1 (1942).","journal-title":"Math.-Phys. Serie"},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"J. E. Marsden, M. McCracken,The Hopf Bifurcation and its Applications, Springer (1976).","DOI":"10.1007\/978-1-4612-6374-6"},{"key":"CR16","volume-title":"Critical rationalism","author":"D. Miller","year":"1994","unstructured":"D. Miller,Critical rationalism, Open Court, Chicago (1994)."},{"key":"CR17","doi-asserted-by":"crossref","first-page":"514","DOI":"10.2307\/2271358","volume":"33","author":"D. Richardson","year":"1968","unstructured":"D. Richardson,J. Symbol. Logic 33, 514 (1968).","journal-title":"J. Symbol. Logic"},{"key":"CR18","doi-asserted-by":"crossref","first-page":"664","DOI":"10.1038\/352664a0","volume":"352","author":"I. Stewart","year":"1991","unstructured":"I. Stewart,Nature 352, 664 (1991).","journal-title":"Nature"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01053030.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01053030\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01053030","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T13:39:34Z","timestamp":1586093974000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01053030"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,2]]},"references-count":18,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,2]]}},"alternative-id":["BF01053030"],"URL":"https:\/\/doi.org\/10.1007\/bf01053030","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,2]]}}}