{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,9]],"date-time":"2026-04-09T12:26:09Z","timestamp":1775737569187,"version":"3.50.1"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2010,9,16]],"date-time":"2010-09-16T00:00:00Z","timestamp":1284595200000},"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":[[2010,11]]},"DOI":"10.1007\/s11225-010-9284-0","type":"journal-article","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T06:26:19Z","timestamp":1284531979000},"page":"273-288","source":"Crossref","is-referenced-by-count":21,"title":["Confronting Ideals of Proof with the Ways of Proving of the Research Mathematician"],"prefix":"10.1007","volume":"96","author":[{"given":"Norma B.","family":"Goethe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mich\u00e8le","family":"Friend","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,9,16]]},"reference":[{"key":"9284_CR1","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1093\/philmat\/12.2.81","volume":"12","author":"J. Azzouni","year":"2004","unstructured":"Azzouni J.: The derivation-indicator view of mathematical practice\u2019. Philosophia Mathematica 12, 81\u2013105 (2004)","journal-title":"Philosophia Mathematica"},{"key":"9284_CR2","volume-title":"Logical Pluralism","author":"J.C. Beall","year":"2006","unstructured":"Beall J.C., Restall G.: Logical Pluralism. Oxford University Press, Oxford (2006)"},{"key":"9284_CR3","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/978-94-015-9558-2_15","volume-title":"The growth of mathematical knowledge","author":"H. Breger","year":"2000","unstructured":"Breger H.: \u2018Tacit knowledge and mathematical progress. In: Grosholz, E., Breger, H. (eds) The growth of mathematical knowledge, pp. 221\u2013230. Kluwer, Dordrecht (2000)"},{"key":"9284_CR4","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198751410.001.0001","volume-title":"Intermediate Logic","author":"D. Bostock","year":"1997","unstructured":"Bostock D.: Intermediate Logic. Oxford University Press, Oxford (1997)"},{"key":"9284_CR5","volume-title":"How Mathematicians Think","author":"W. Byers","year":"2007","unstructured":"Byers W.: How Mathematicians Think. Princeton University Press, Princeton (2007)"},{"key":"9284_CR6","unstructured":"Cantor, G., Contributions to the Founding of the Theory of Transfinite Numbers. Translated by Jourdan, 1915, New York, Dover, 1952."},{"key":"9284_CR7","first-page":"1","volume-title":"Deduction, Computation, Experiment. Exploring the effectiveness of Proof","author":"C. Cellucci","year":"2008","unstructured":"Cellucci C.: \u2018Why Proof? What is Proof?\u2019. In: Corsi, G., Lupacchini, R. (eds) Deduction, Computation, Experiment. Exploring the effectiveness of Proof, pp. 1\u201327. Springer-Verlag, Berlin (2008)"},{"key":"9284_CR8","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/978-94-015-9558-2_12","volume-title":"The growth of mathematical knowledge","author":"C. Cellucci","year":"2000","unstructured":"Cellucci C.: \u2018The growth of mathematical knowledge: an open world view\u2019. In: Grosholz, E., Breger, H. (eds) The growth of mathematical knowledge, pp. 153\u2013176. Kluwer, Dordrecht (2000)"},{"key":"9284_CR9","doi-asserted-by":"crossref","unstructured":"Floyd, J., \u2018Das \u00a8Uberraschende: Wittgenstein on the Surprising in Mathematics\u2019, in J. Ellis and D. Guevara (eds.), Wittgenstein and the Philosophy of Mind, Oxford University Press, Oxford, (forth).","DOI":"10.1093\/acprof:oso\/9780199737666.003.0010"},{"key":"9284_CR10","first-page":"68","volume-title":"The collected papers of Gerhard Gentzen","author":"G. Gentzen","year":"1969","unstructured":"Gentzen G.: \u2018Investigations into logical deduction\u2019. In: Szabo, M.E. (eds) The collected papers of Gerhard Gentzen, pp. 68\u2013131. North-Holland, Amsterdam (1969)"},{"key":"9284_CR11","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198752448.001.0001","volume-title":"The search for certainty: a philosophical account of the foundations of mathematics","author":"M. Giaquinto","year":"2002","unstructured":"Giaquinto M.: The search for certainty: a philosophical account of the foundations of mathematics. Clarendon Press, Oxford (2002)"},{"key":"9284_CR12","unstructured":"Grattan-Guinness, I., \u2018Solving Wigner\u2019s mystery: the reasonable effectiveness of mathematics in the natural sciences\u2019, Mathematical Intelligencer 30 (2008), pp. 7\u201317."},{"key":"9284_CR13","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780199299737.001.0001","volume-title":"Representation and productive ambiguity in mathematics and the sciences","author":"E. Grosholz","year":"2007","unstructured":"Grosholz E.: Representation and productive ambiguity in mathematics and the sciences. Oxford University Press, Oxford (2007)"},{"key":"9284_CR14","unstructured":"Hilbert, D., \u2018The foundations of mathematics\u2019, in J. van Heijenoort (ed.), From Frege to G\u00f6del. A source book in mathematical logic, 1879-1931, Harvard University Press, Cambridge MA, 1967, pp. 464\u2013479."},{"key":"9284_CR15","volume-title":"The conceptual roots of mathematics","author":"J.R. Lucas","year":"2000","unstructured":"Lucas J.R.: The conceptual roots of mathematics. Routledge, London and New York (2000)"},{"key":"9284_CR16","doi-asserted-by":"crossref","unstructured":"Putnam, H., \u2018Models and Reality\u2019, Journal of Symbolic Logic 45.3 (September 1980), 464\u2013482. Reprinted in Philosophy of Mathematics: Selected Readings, 2nd ed. (1983), pp. 421\u2013445.","DOI":"10.1017\/CBO9780511625275.003"},{"key":"9284_CR17","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1093\/philmat\/nkm023","volume":"15","author":"Y. Rav","year":"2007","unstructured":"Rav Y.: \u2018A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians\u2019 Proof Practices\u2019. Philosophia Mathematica (III) 15, 291\u2013320 (2007)","journal-title":"Philosophia Mathematica (III)"},{"key":"9284_CR18","doi-asserted-by":"crossref","unstructured":"Rota, G.-C., \u2018The Phenomenology of Mathematical Proof\u2019, Synthese III (1997), 183\u2013196.","DOI":"10.1023\/A:1004974521326"},{"key":"9284_CR19","doi-asserted-by":"crossref","unstructured":"Schlimm, D., \u2018Bridging theories with axioms: Boole, Stone, and Tarski\u2019, in B. van Kerkhove (ed.), New Perspectives on Mathematical Practices, World Scientific, 2009, pp. 222\u2013235.","DOI":"10.1142\/9789812812230_0011"},{"key":"9284_CR20","unstructured":"Tennant, N., Natural Logicism, Paper presented at the 10th Midwest PhilMath Workshop, Department of Philosophy, Notre Dame University, U.S.A. October 2009."},{"key":"9284_CR21","volume-title":"Natural Logic","author":"N. Tennant","year":"1978","unstructured":"Tennant N.: Natural Logic. Edinburgh University Press, Edinburgh (1978)"},{"issue":"2","key":"9284_CR22","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1090\/S0273-0979-1994-00502-6","volume":"30","author":"W.P. Thurston","year":"1994","unstructured":"Thurston W.P.: \u2018On Proof and Progress in Mathematics\u2019. Bulletin of the American Mathematical Society 30(2), 161\u2013177 (1994)","journal-title":"Bulletin of the American Mathematical Society"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-010-9284-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-010-9284-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-010-9284-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,30]],"date-time":"2024-03-30T13:05:28Z","timestamp":1711803928000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-010-9284-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9,16]]},"references-count":22,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,11]]}},"alternative-id":["9284"],"URL":"https:\/\/doi.org\/10.1007\/s11225-010-9284-0","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,9,16]]}}}