{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:36:46Z","timestamp":1740123406257,"version":"3.37.3"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"S26","license":[{"start":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T00:00:00Z","timestamp":1557100800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T00:00:00Z","timestamp":1557100800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100002739","name":"Aarhus Universitets Forskningsfond","doi-asserted-by":"publisher","award":["AUFF-E-2017-FLS-7-3"],"award-info":[{"award-number":["AUFF-E-2017-FLS-7-3"]}],"id":[{"id":"10.13039\/501100002739","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2021,11]]},"DOI":"10.1007\/s11229-019-02145-5","type":"journal-article","created":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T16:36:04Z","timestamp":1557160564000},"page":"6233-6250","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Mathematicians writing for mathematicians"],"prefix":"10.1007","volume":"198","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2909-4306","authenticated-orcid":false,"given":"Line Edslev","family":"Andersen","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0454-2678","authenticated-orcid":false,"given":"Mikkel Willum","family":"Johansen","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7495-4697","authenticated-orcid":false,"given":"Henrik Kragh","family":"S\u00f8rensen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,5,6]]},"reference":[{"volume-title":"The argument of mathematics","year":"2013","key":"2145_CR1","unstructured":"Aberdein, A., & Dove, I. J. (Eds.). (2013). The argument of mathematics. Dordrecht: Springer."},{"key":"2145_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-018-1778-8","author":"LE Andersen","year":"2018","unstructured":"Andersen, L. E. (2018). Acceptable gaps in mathematical proofs. Synthese. https:\/\/doi.org\/10.1007\/s11229-018-1778-8.","journal-title":"Synthese"},{"issue":"2","key":"2145_CR3","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1006\/jabr.1998.7467","volume":"208","author":"BI Dahn","year":"1998","unstructured":"Dahn, B. I. (1998). Robbins algebras are Boolean: A revision of McCune\u2019s computer-generated solution of Robbins problem. Journal of Algebra, 208(2), 526\u2013532.","journal-title":"Journal of Algebra"},{"key":"2145_CR4","unstructured":"Dexter, L. A. (1970\/2006). Elite and specialized interviewing. Colchester: ECPR Press."},{"key":"2145_CR5","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-94-007-6534-4_5","volume-title":"The argument of mathematics","author":"M Dufour","year":"2013","unstructured":"Dufour, M. (2013). Arguing around mathematical proofs. In A. Aberdein & I. J. Dove (Eds.), The argument of mathematics (pp. 61\u201376). Dordrecht: Springer."},{"key":"2145_CR6","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1023\/A:1022131513275","volume":"134","author":"D Fallis","year":"2003","unstructured":"Fallis, D. (2003). Intentional gaps in mathematical proofs. Synthese, 134, 45\u201369.","journal-title":"Synthese"},{"key":"2145_CR8","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/0001-8708(79)90018-5","volume":"31","author":"R Hersh","year":"1979","unstructured":"Hersh, R. (1979). Some proposals for reviving the philosophy of mathematics. Advances in Mathematics, 31, 31\u201350.","journal-title":"Advances in Mathematics"},{"key":"2145_CR9","unstructured":"Hilbert, D. (1925\/1967). On the infinite. In J. Heijenoort (Ed.), From Frege to G\u00f6del: A source book in mathematical logic, 1879\u20131931 (pp. 369-392). Cambridge, MA: Harvard University Press."},{"key":"2145_CR10","doi-asserted-by":"publisher","first-page":"358","DOI":"10.5951\/jresematheduc.43.4.0358","volume":"43","author":"M Inglis","year":"2012","unstructured":"Inglis, M., & Alcock, L. (2012). Expert and novice approaches to reading mathematical proofs. Journal for Research in Mathematics Education, 43, 358\u2013390.","journal-title":"Journal for Research in Mathematics Education"},{"key":"2145_CR11","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/978-3-319-28582-5_15","volume-title":"Mathematical cultures: The London meetings 2012\u20132014","author":"MW Johansen","year":"2016","unstructured":"Johansen, M. W., & Misfeldt, M. (2016). An empirical approach to the mathematical values of problem choice and argumentation. In B. Larvor (Ed.), Mathematical cultures: The London meetings 2012\u20132014 (pp. 259\u2013269). Cham: Springer."},{"key":"2145_CR12","volume-title":"Manifest rationality: A pragmatic theory of argument","author":"RH Johnson","year":"2000","unstructured":"Johnson, R. H. (2000). Manifest rationality: A pragmatic theory of argument. Mahwah, NJ: Lawrence Erlbaum Associates."},{"key":"2145_CR13","doi-asserted-by":"crossref","unstructured":"Krabbe, E. C. W. (2013 [1997]). Arguments, proofs, and dialogues. In A. Aberdein & I. J. Dove (Eds.), The argument of mathematics (pp. 31\u201345). Dordrecht: Springer.","DOI":"10.1007\/978-94-007-6534-4_3"},{"key":"2145_CR14","doi-asserted-by":"crossref","unstructured":"Krabbe, E. C. W. (2013 [2008]). Strategic maneuvering in mathematical proofs. In A. Aberdein & I. J. Dove (Eds.), The argument of mathematics (pp. 181\u2013193). Dordrecht: Springer.","DOI":"10.1007\/978-94-007-6534-4_11"},{"key":"2145_CR15","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139171472","volume-title":"Proofs and refutations: The logic of mathematical discovery","author":"I Lakatos","year":"1976","unstructured":"Lakatos, I. (1976). Proofs and refutations: The logic of mathematical discovery. New York: Cambridge University Press."},{"key":"2145_CR16","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1093\/acprof:oso\/9780199296453.003.0005","volume-title":"The philosophy of mathematical practice","author":"K Manders","year":"2008","unstructured":"Manders, K. (2008). The Euclidean diagram. In P. Mancosu (Ed.), The philosophy of mathematical practice (pp. 80\u2013133). Oxford: Oxford University Press."},{"key":"2145_CR17","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/s10649-015-9605-3","volume":"89","author":"M Misfeldt","year":"2015","unstructured":"Misfeldt, M., & Johansen, M. W. (2015). Research mathematicians\u2019 practices in selecting mathematical problems. Educational Studies in Mathematics, 89, 357\u2013373.","journal-title":"Educational Studies in Mathematics"},{"key":"2145_CR18","doi-asserted-by":"publisher","DOI":"10.7208\/chicago\/9780226270982.001.0001","volume-title":"Houston, we have a narrative: Why science needs story","author":"R Olson","year":"2015","unstructured":"Olson, R. (2015). Houston, we have a narrative: Why science needs story. Chicago: University of Chicago Press."},{"key":"2145_CR19","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1093\/mind\/fzv140","volume":"125","author":"AC Paseau","year":"2016","unstructured":"Paseau, A. C. (2016). What\u2019s the point of complete rigour? Mind, 125, 177\u2013207.","journal-title":"Mind"},{"key":"2145_CR20","volume-title":"The new rhetoric: A treatise on argumentation","author":"C Perelman","year":"1969","unstructured":"Perelman, C., & Olbrechts-Tyteca, L. (1969). The new rhetoric: A treatise on argumentation. Notre Dame: The University of Notre Dame Press."},{"key":"2145_CR21","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1093\/philmat\/7.1.5","volume":"7","author":"Y Rav","year":"1999","unstructured":"Rav, Y. (1999). Why do we prove theorems? Philosophia Mathematica, 7, 5\u201341.","journal-title":"Philosophia Mathematica"},{"key":"2145_CR22","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1093\/philmat\/nkm023","volume":"15","author":"Y Rav","year":"2007","unstructured":"Rav, Y. (2007). A critique of a formalist-mechanist version of the justification of arguments in mathematicians\u2019 proof practices. Philosophia Mathematica, 15, 291\u2013320.","journal-title":"Philosophia Mathematica"},{"key":"2145_CR23","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1090\/S0273-0979-1994-00502-6","volume":"30","author":"WP Thurston","year":"1994","unstructured":"Thurston, W. P. (1994). On proof and progress in mathematics. Bulletin of the American Mathematical Society, 30, 161\u2013177.","journal-title":"Bulletin of the American Mathematical Society"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-019-02145-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11229-019-02145-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-019-02145-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,11]],"date-time":"2021-11-11T11:30:53Z","timestamp":1636630253000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11229-019-02145-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,5,6]]},"references-count":22,"journal-issue":{"issue":"S26","published-print":{"date-parts":[[2021,11]]}},"alternative-id":["2145"],"URL":"https:\/\/doi.org\/10.1007\/s11229-019-02145-5","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"type":"print","value":"0039-7857"},{"type":"electronic","value":"1573-0964"}],"subject":[],"published":{"date-parts":[[2019,5,6]]},"assertion":[{"value":"1 June 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 February 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 May 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Compliance with ethical standards"}},{"value":"The authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}