{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,23]],"date-time":"2026-09-23T02:36:01Z","timestamp":1790130961825,"version":"4.0.1"},"publisher-location":"Berlin, Heidelberg","reference-count":41,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540223931","type":"print"},{"value":"9783540278122","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27812-2_2","type":"book-chapter","created":{"date-parts":[[2010,9,14]],"date-time":"2010-09-14T03:45:36Z","timestamp":1284435936000},"page":"15-28","source":"Crossref","is-referenced-by-count":4,"title":["Mathematical Proofs at a Crossroad?"],"prefix":"10.1007","author":[{"given":"Cristian S.","family":"Calude","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Solomon","family":"Marcus","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Appel, K., Haken, W.: Every Planar Graph is Four Colorable. Contemporary Mathematics 98, AMS, Providence (1989)","DOI":"10.1090\/conm\/098"},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1090\/S0273-0979-1994-00503-8","volume":"30","author":"M. Atiyah","year":"1994","unstructured":"Atiyah, M., et al.: Responses to \u2018Theoretical mathematics: Toward a cultural synthesis of mathematics and theoretical physics\u2019. Bulletin of AMS\u00a030, 178\u2013211 (1994)","journal-title":"Bulletin of AMS"},{"issue":"5","key":"2_CR3","first-page":"453","volume":"41","author":"L. Babai","year":"1994","unstructured":"Babai, L.: Probably true theorems, cry wolf? Notices of AMS\u00a041(5), 453\u2013454 (1994)","journal-title":"Notices of AMS"},{"key":"2_CR4","volume-title":"Impossibility\u2013The Limits of Science and the Science of Limits","author":"J. Barrow","year":"1998","unstructured":"Barrow, J.: Impossibility\u2013The Limits of Science and the Science of Limits. Oxford University Press, Oxford (1998)"},{"key":"2_CR5","unstructured":"Blum, M.: How to prove a theorem so no one else can claim it. In: Proceedings of the International Congress of Mathematicians, Berkeley, California, USA, pp. 1444\u20131451 (1986)"},{"key":"2_CR6","unstructured":"Borwein, J.M.: Experimental Mathematics and Integer Relations at, www.ercim.org\/publication\/Ercim_News\/enw50\/borwein.html"},{"key":"2_CR7","unstructured":"Borwein, J.M.: www.cecm.sfu.ca\/personal\/jborwein\/CRM.html"},{"key":"2_CR8","unstructured":"Borwein, J.M., Bailey, D.: Mathematics by Experiment: Plausible Reasoning in the 21st Century, A.\u00caK.\u00ca Peters, Natick, MA (2003)"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Borwein, J.M., Bailey, D., Girgensohn, R.: Experimentation in Mathematics: Computational Paths to Discovery, A.\u00caK.\u00ca Peters, Natick, MA (2004)","DOI":"10.1201\/9781439864197"},{"issue":"3","key":"2_CR10","first-page":"27","volume":"38","author":"S. Calude","year":"2001","unstructured":"Calude, S.: The journey of the four colour theorem through time. The NZ Math. Magazine\u00a038(3), 27\u201335 (2001)","journal-title":"The NZ Math. Magazine"},{"key":"2_CR11","unstructured":"Calude, C.S., Calude, E., Marcus, S.: Passages of Proof, Los Alamos preprint archive, arXiv:math.HO\/0305213 (May 16, 2003)"},{"key":"2_CR12","volume-title":"The Unknowable","author":"G.J. Chaitin","year":"1999","unstructured":"Chaitin, G.J.: The Unknowable. Springer, Singapore (1999)"},{"key":"2_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0307-3","volume-title":"Exploring Randomness","author":"G.J. Chaitin","year":"2001","unstructured":"Chaitin, G.J.: Exploring Randomness. Springer, London (2001)"},{"key":"2_CR14","unstructured":"Chaitin, G.J.: Meta Math!, E-book at www.cs.auckland.ac.nz\/CDMTCS\/chaitin\/omega.html"},{"issue":"3","key":"2_CR15","first-page":"99","volume":"51","author":"M. Conder","year":"1994","unstructured":"Conder, M.: Pure mathematics: An art? or an experimental science? NZ Science Review\u00a051(3), 99\u2013102 (1994)","journal-title":"NZ Science Review"},{"key":"2_CR16","unstructured":"Ehrlich, E., Flexner, S.B., Carruth, G., Hawkins, J.M.: Oxford American Dictionary. Avon Publishers of Bard, Camelot, Discus and Flare Books, New York (1982)"},{"key":"2_CR17","doi-asserted-by":"crossref","first-page":"775","DOI":"10.2140\/pjm.1963.13.775","volume":"13","author":"W. Feit","year":"1963","unstructured":"Feit, W., Thomson, J.G.: Solvability of groups of odd order. Pacific J. Math.\u00a013, 775\u20131029 (1963)","journal-title":"Pacific J. Math."},{"issue":"1","key":"2_CR18","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1137\/0218012","volume":"18","author":"S. Goldwasser","year":"1989","unstructured":"Goldwasser, S., Micali, S., Rackoff, C.: The knowledge complexity of interactive proof\u2013systems. SIAM J. Comput.\u00a018(1), 186\u2013208 (1989)","journal-title":"SIAM J. Comput."},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Hersh, R.: What Is Mathematics, Really?, Vintage, London (1997)","DOI":"10.1515\/dmvm-1998-0205"},{"key":"2_CR20","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1090\/S0273-0979-1993-00413-0","volume":"29","author":"A. Jaffe","year":"1993","unstructured":"Jaffe, A., Quinn, F.: Theoretical mathematics: Toward a cultural synthesis of mathematics and theoretical physics. Bulletin of AMS\u00a029, 178\u2013211 (1993)","journal-title":"Bulletin of AMS"},{"key":"2_CR21","volume-title":"Mathematics: The Loss of Certainty","author":"M. Kline","year":"1982","unstructured":"Kline, M.: Mathematics: The Loss of Certainty. Oxford University Press, Oxford (1982)"},{"key":"2_CR22","first-page":"14","volume":"27","author":"D.E. Knuth","year":"1985","unstructured":"Knuth, D.E.: Theory and practice. EATCS Bull.\u00a027, 14\u201321 (1985)","journal-title":"EATCS Bull."},{"key":"2_CR23","unstructured":"Knuth, D.E.: Literate Programming, CSLI Lecture Notes, no. 27, Stanford, California (1992)"},{"key":"2_CR24","volume-title":"The Logic of Mathematical Discovery","author":"I. Lakatos","year":"1966","unstructured":"Lakatos, I.: Proofs and Refutations. In: Worrall, J., Zahar, E. (eds.) The Logic of Mathematical Discovery, Cambridge University Press, Cambridge (1966)"},{"key":"2_CR25","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1023\/A:1004918402670","volume":"111","author":"S. Mac Lane","year":"1997","unstructured":"Mac Lane, S.: Despite physicists, proof is essential in mathematics. Synthese\u00a0111, 147\u2013154 (1997)","journal-title":"Synthese"},{"key":"2_CR26","doi-asserted-by":"crossref","unstructured":"Marcus, S.: No system can be improved in all respects. In: Altmann, G., Koch, W. (eds.) Systems; New Paradigms for the Human Sciences, Walter de Gruyter, Berlin, pp. 143\u2013164 (1998)","DOI":"10.1515\/9783110801194.143"},{"key":"2_CR27","unstructured":"Marcus, S.: Ways of Thinking, Scientific and Encyclopedic Publ. House, Bucharest (1987) (in Romanian)"},{"key":"2_CR28","unstructured":"Perelman, C., Olbrechts-Tyteca, L.: Trait\u00e9 de l\u2019Argumentation. La Nouvelle Rhetorique, \u00c9ditions de l\u2019Universit\u00e9 de Bruxelles, Bruxelles (1988)"},{"key":"2_CR29","volume-title":"How to Solve It","author":"G. P\u00f3lya","year":"1957","unstructured":"P\u00f3lya, G.: How to Solve It, 2nd edn. Princeton University Press, Princeton (1957)","edition":"2"},{"key":"2_CR30","unstructured":"P\u00f3lya, G.: Mathematics and Plausible Reasoning, Volume 1: Induction and Analogy in Mathematics, Volume 2: Patterns of Plausible Inference, Princeton University Press, Princeton (1990) (reprint edition)"},{"issue":"2","key":"2_CR31","first-page":"210","volume":"51","author":"M. Raussen","year":"2004","unstructured":"Raussen, M., Skau, C.: Interview with Jean-Pierre Serre. Notices of AMS\u00a051(2), 210\u2013214 (2004)","journal-title":"Notices of AMS"},{"issue":"1","key":"2_CR32","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1090\/S1079-6762-96-00003-0","volume":"2","author":"N. Robertson","year":"1996","unstructured":"Robertson, N., Sanders, D., Seymour, P., Thomas, R.: A new proof of the four-colour theorem. Electronic Research Announcements of AMS\u00a02(1), 17\u201325 (1996)","journal-title":"Electronic Research Announcements of AMS"},{"key":"2_CR33","unstructured":"Robinson, S.: Russian reports he has solved a celebrated math problem, p. \u00caD3, The New York Times, April 15 (2003)"},{"key":"2_CR34","volume-title":"Cornerstones of Undecidability","author":"G. Rozenberg","year":"1994","unstructured":"Rozenberg, G., Salomaa, A.: Cornerstones of Undecidability. Prentice-Hall, New York (1994)"},{"key":"2_CR35","doi-asserted-by":"crossref","unstructured":"Sigmund, K.: Review of George G. Szpiro. \u201cKepler\u2019s Conjecture\u201d, Wiley (2003), Mathematical Intelligencer 26(1), 66\u201367 (2004)","DOI":"10.1007\/BF02985408"},{"key":"2_CR36","first-page":"157","volume-title":"Appraising Lakatos. Mathematics, Methodology and the Man","author":"M. St\u00f6ltzner","year":"2002","unstructured":"St\u00f6ltzner, M.: What Lakatos could teach the mathematical physicist. In: Kampis, G., Kvasz, L., St\u00f6ltzner, M. (eds.) Appraising Lakatos. Mathematics, Methodology and the Man, pp. 157\u2013188. Kluwer, Dordrecht (2002)"},{"issue":"9","key":"2_CR37","doi-asserted-by":"publisher","first-page":"697","DOI":"10.2307\/2321855","volume":"87","author":"E.R. Swart","year":"1980","unstructured":"Swart, E.R.: The philosophical implications of the four-colour problem. American Math. Monthly\u00a087(9), 697\u2013702 (1980)","journal-title":"American Math. Monthly"},{"issue":"3","key":"2_CR38","first-page":"3","volume":"24","author":"G.J. Tee","year":"1987","unstructured":"Tee, G.J.: Computers and mathematics. The NZ Math. Magazine\u00a024(3), 3\u20139 (1987)","journal-title":"The NZ Math. Magazine"},{"issue":"2","key":"2_CR39","doi-asserted-by":"publisher","first-page":"57","DOI":"10.2307\/2025976","volume":"2","author":"T. Tymoczko","year":"1979","unstructured":"Tymoczko, T.: The four-colour problem and its philosophical significance. J. Philosophy\u00a02(2), 57\u201383 (1979)","journal-title":"J. Philosophy"},{"key":"2_CR40","doi-asserted-by":"crossref","unstructured":"Wolfram, S.: A New Kind of Science, Wolfram Media (2002)","DOI":"10.1115\/1.1553433"},{"key":"2_CR41","unstructured":"Experimental Mathematics: Statement of Philosophy, www.expmath.org\/expmath\/philosophy.html"}],"container-title":["Lecture Notes in Computer Science","Theory Is Forever"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27812-2_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:21:55Z","timestamp":1605759715000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27812-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540223931","9783540278122"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27812-2_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}