{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2023,4,13]]，“日期-时间”：“2023-04-13T12:18:50Z”，“时间戳”：1681388330170}，“参考-计数”：29，“出版商”：“Springer Science and Business Media LLC”，“问题”：“S26”，“许可证”：[{“开始”：}“日期-零件”：[2021,1,21]]，”日期-时间“：“2021-01-21T00:00:00Z”，“timestamp”：1611187200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/creativecommons.org\/licenses\/by\/4.0”}，{“start”：{“date-parts”：[2021,1,21]]，“date-time”：“2021-01-21T00:000Z”，“timetamp”：61118720000}，”content-versiion“：”vor“，”delay-in-days“：0，”URL“https:\\/creative commons”。org\/licenses\/by\/4.0“}]，“出资人”：[{“DOI”：“10.13039\\501100005711”，“name”：“Universit\u00e4t Hamburg”，“doi asserted by”：“crossref”}]，“content domain”：｛“domain”：[“link.springer.com”]，“crossmark restriction”：false｝，“short container title”：[“Synthese”]，“published print”：｛“date parts”：[[2021,11]}，“doi”：“10.1007\\s11229-02858-y”，“type”：“期刊文章”，“created”：｛“date parts”：[[2021,1,21]]，“date-time”：“2021-01-21T11:03:57Z”，“timestamp”：1611227037000}，“page”：“6225-6231”，“update-policy”：”http://\/dx.doi.org\/10.1007\/springer_crossmark_policy“，”source“：”Crossref“，“is-referenced-by-count”：2，“title”：[“Enabling mathetices:introduction”]，“prefix”：“10.1007”，“volume”：《198》，“author”：[{“给定”：“Benedikt”，“family”：“L\u00f6we”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Ursula”，“family”：“Martin”，”sequence“：”additional“，”affiliance“：[]{”given“：”Alison“，”family“：”Pease“，”se序列“：”附加“，”从属关系“：[]}，“member”：“297”，“published-online”：{“date-parts”：[2021,2,21]}；“reference”：[{“key”：”2858_CR1“，“unstructured”：“Ammon，S.（2011）知识、背景差异及其对哲学和科学社会学之间关系的影响。在K.Fran\u00e7ois、B.L\u00f6we、T.M\u00fcller和B.Van\u0a0Kerkhove（编辑）的《形式科学基础VII》中。将科学哲学和社会学结合在一起，《逻辑研究》第u00a032卷（第1\u201316页）。大学出版物。}，{“key”：“2858_CR2”，“volume-title”：“现代数学的历史与哲学”，“author”：“W Asprey”，“year”：“1988”，“unstructured”：“Asprey，W.，&Kitcher，P.（1988）。《现代数学的史与哲学》。明尼阿波利斯：明尼苏达大学出版社。2019年世界数学最佳著作”，“作者”：“M Barany”，“年份”：“2016年”，“非结构化”：“Barany，M.，&MacKenzie，D.（2016）。尘封已久的纪律。M.Pitici（Ed.），《2015年数学最佳写作》。2019年世界各地数学方面最优秀的作品（第1页，20136页）。普林斯顿：普林斯顿大学出版社。“}，{”key“：”2858_CR4“，”volume-title“：”编织网络：万维网的最初设计和最终命运“，”author“：”T Berners-Lee“，”year“：”2000“，”unstructured“：”Berners-Leae，T.，&Fischetti，M.（2000）。编织网络：全球网络的最初设计与最终命运。曼哈顿：哈珀商业doi-asserted-by“：”crossref“，”unstructured“：”Corneli，J.，Martin，U.，Murray-Rust，D.，&Pease，A.（2017a）。通过数学问答对话的内容和过程模型走向数学人工智能。在H.Geuvers，M.England，O.Hasan，F.Rabe，&O.Teschke（编辑），《智能计算机数学》。第十届国际会议，CICM 2017，英国爱丁堡，2017年7月17日\u201321，《计算机科学讲稿》第10383卷，第132\u2013146页。斯普林格·弗拉格。“，”DOI“：”10.1007\/978-3-319-62075-6_10“}，{”key“：”2858_CR6“，”DOI-asserted-by“：”crossref“，”unstructured“：”Corneli，J.，Martin，U.，Murray-Rust，D.，Pease，A.，Puzio，R.，&Nesin，G.\u00a0R.（2017b）。数学实际实现方式的建模。M.Sperber，&J.Bresson（编辑）第五届ACM SIGPLAN功能艺术、音乐、建模和设计国际研讨会论文集，ICFP农场2018年，英国牛津，2017年9月9日（第10\u201319页）。ACM公司。“，”DOI“：”10.1145\/3122938.3122942“}，{“key”：“2858_CR7”，“DOI-asserted-by”：“crossref”，“unstructured”：“Gerovitch，S.（2016）。创意不适：莫斯科大学gelfand研讨会的文化。收录于B.Larvor（Ed.），《数学文化》。伦敦会议2012\u20132014，《科学史趋势》（第51\u201370页）。Birkh\u00e4user。”，“DOI“：”10.1007\/978-3-319-28582-5_4“}，{“issue”：“3”，“key”：“2858_CR8”，“DOI-asserted-by”：“publisher”，“first-page”：“502”，“DOI”：“10.1111\/1468-4446.12037”，“volume”：”65“author”：“C Greiffenhagen”，“year”：“2014”，“unstructured”：“Greiffenchenagen，C.（2014）数学的实质性：在黑板上展示数学。英国社会学杂志，65（3），502\u2013528.“，”杂志标题“：”英国社会学期刊“}，{“key”：“2858_CR9”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-7091-3699-7”，”卷时间“：“Die Innenwelt der Mathematik.Zur Kulture und Praxis einer beweiesenden Disziplin”，“author”：“B Heintz”，“year”：“2000”，“unstructured”：“Heintz，”B.（2000）《数学世界》。苏尔文化与实践是由迪斯普林制成的。柏林：斯普林格。“}，{”key“：”2858_CR10“，”volume-title“：”The mathematical experience“，”author“：”R Hersh“，”year“：”1981“，”unstructured“：”Hersh，R.，&Davis，P.J.（1981）。The mathemethematical experience。巴塞尔：Birkh\u00e4user。“}-7“，“卷”：“18”，“作者”：“P Hoyningen-Huene”，“年份”：“1987年”，“非结构化”：“Hoyningen-Huene，P.（1987）。发现背景和证明背景。《科学历史与哲学研究》，18（4），501\u2013515数学实践的概念：一些备注。《数学实践哲学对数学哲学的影响》，让·保罗·范·本德根著。L.Soler、S.Zwart、M.Lynch和V.Israel-Jost（编辑），《科学的哲学、历史和社会研究中的实践转向后的科学》，《科学哲学中的劳特利奇研究》（第227\u2013237页）。劳特利奇。“}，{”key“：”2858_CR13“，”doi-asserted-by“：”publisher“，”doi“：”10.1017\/CBO9781139171472“，”volume-title“：”Proofs and depulations“，”author“：”I Lakatos“，”year“：”1976“，”unstructured“：”Lakatos.，I.（1976）.Proofs和depulations.Cambridge:Cambridge University Press.“}”，{“key”：“2858_CR14”，“unstructure”：”Lane，L.\u00a0D.（2017）世界之间的桥梁：数学领域中位置和性格的关系。爱丁堡大学博士论文数学文化。伦敦会议2012\u20132014，《科学史趋势》。巴塞尔：Birkh\u00e4用户。}，{“key”：“2858_CR16”，“unstructured”：“L\u00f6we，B.（2014）。数学与新技术。第一部分：不断变化的数学文化的哲学相关性。收录于P.Schroeder-Heister，G.Heinzmann，W.Hodges&P.\u00c9。布尔（编辑），《科学的逻辑、方法论和哲学》，《第十四届国际大会论文集》（南希），《面向新技术的逻辑和科学》（第399\u2013407页）。大学出版物。“}，{”key“：”2858_CR17“，”doi-asserted-by“：”crossref“，”unstructured“：”L\u00f6we，B.（2016）.哲学与否？数学文化与实践的研究.收录于S.Ju，B.L\u00 f6 we，T.M\u00fcller，&Y.Xie（编辑）《数学和逻辑的文化》，2013年9月至2012年11月在中国广州召开的会议论文选集，《科学史趋势》（第23页）。Birkh\u00e4用户。“，”DOI“：”10.1007\/978-3-319-31502-7_2“}，{”key“：”2858_CR18“，”unstructured“：”L\u00f6we，B.，&M\u00fcller，T.（Eds.）.（2010）.PhiMSAMP.数学哲学：社会学方面和数学实践，哲学文本第11卷.伦敦：大学出版社.“}机械化证明。计算、风险和信任。《Inside technology》，“author”：“D MacKenzie”，“year”：“2004”，“unstructured”：“MacKenze，D.（2004）。机械化证明。计算、风险和信任。内部技术。剑桥：麻省理工学院出版社。“}，{”key“：”2858_CR20“，”doi-asserted-by“：”publisher“，”first page“：“1”，”doi“：”10.1093\/acprof:oso\/9780199296453.001.0001“，”volume-title“：”The philology of mathematical practice“，”author“：”P Mancosu“，“year”：“2008”，“unstructured”：“Mancosu.P.（2008），Introduction.In P.Mancoso（Ed.），The philose of mathemical practice（pp.1\u201321）”牛津：牛津大学出版社。}，{“key”：“2858_CR21”，“doi-asserted-by”：“crossref”，“unstructured”：“Martin，U.（2015）。在黑暗中蹒跚而行：日常数学的教训。见A.\u00a0P.Felta&A.Middeldorp（Ed.），自动演绎。CADE-25。第25届自动扣除国际会议，德国柏林，2013年8月1日，2015年，《计算机科学讲稿》第9195卷，第29\u201351页。斯普林格·弗拉格。“，”DOI“：”10.1007\/978-3-319-21401-6_2“}，{”issue“：”2“，”key“：”2858_CR22“，”DOI-asserted-by“：”publisher“，”first page“：“467”，”DOI:“10.1093\/logcom\/exu036”，“volume”：“26”，“author”：“U Martin”，“year”：“2016”，“unstructured”：“Martin，U.（2016）。计算逻辑与社会学杂志，26（2），467\u2013477 7.“，”新闻标题“：”逻辑与计算杂志“}，{“key”：“2858_CR23”，“doi-asserted-by”：“crossref”，“unstructured”：“Martin，U.，&Pease，A.（2013）。数学实践、众包和社会机器。摘自J.Carette，D.Aspinall，C.Lange，P.Sojka，&W.Windsteiger（Eds.）智能计算机数学。MKM，calculemus，DML，以及2013年系统和项目，作为CICM 2013的一部分，英国巴斯，2013年7月8日，2013年12月，《计算机科学讲稿》第7961卷，会议记录（第98页，2013年119页）。斯普林格·弗拉格。“，”DOI“：”10.1007\/978-3642-39320-4_7“}，{”key“：”2858_CR24“，”DOI-asserted-by“：”publisher“，”first page“：“313”，“DOI”：“10.1007\/978-1-349-26324-0_14”，“volume-title”：“为科学腾出空间：知识形成中的领域主题”，“author”：“M Merz”，“year”：“1998”，“unstructured”：“Merz，M.（1998）.\u201c当你横渡大洋时，没有人能强迫你面对面交流理论物理学家之间的电子邮件。C.Smith&J.Agar（编辑），《为科学创造空间：知识形成中的地域主题》（第313\u2013329页）。纽约：麦克米伦出版社。“}，{”issue“：“1”，”key“：“2858_CR25”，”doi-asserted-by“：”publisher“，”first page“：”73“，”doi“：”10.1177\/030631297027001004“，“volume”：“27”，“author”：“M Merz”，“year”：“1997”，“unstructured”：“Merz，M.，&Knorr-Cetina，K.（1997）。《思考科学中的解构：工作中的理论物理学家》。科学社会研究，27（1），73 \u2013111.“，”journal-title“：“科学的社会研究”}，{“key”：“2858_CR26”，“doi-asserted-by”：“crossref”，“unstructured”：“Mihaljevi\u0107，H.，&Roy，M.-F.（2019）。icm演讲者中女性轨迹的数据分析。C.Araujo，G.Benkart，C.Praeger，&B.Tanbay（编辑），《2018年世界数学中的女性》。第一届数学女性世界会议论文集，《数学女性协会丛书》第111\u2013128页。斯普林格·弗拉格。“，”DOI“：”10.1007\/978-3-030-21170-7_5“}，{”issue“：”10“，”key“：”2858_CR27“，”DOI-asserted-by“：”publisher“，”first page“：“e0165367”，“DOI”：“10.1371\/journal.pone.0165367“，”volume“：L.，&Tullney，M.（2016）数学出版模式中的性别效应。《公共科学图书馆·综合》，11（10），e0165367.“，”journal-title“：”PLoS One“}，{”key“：”2858_CR28“，”unstructured“：”Pease，A.，&Martin，U.（2018）。自动化\u201chuman-like \u201d数学中的示例使用。in C.Schon（Ed.），《第四次关于弥合人类和自动推理之间的差距的研讨会论文集》，与第27届国际人工智能联合会议和第23届欧洲人工智能会议（2018年IJCAI-ECAI）合办，斯德哥尔摩，施韦登，2018年7月14日，《CEUR研讨会论文集第2261卷》（第6\u201312页）Sun SITE中欧。“}，{”key“：”2858_CR29“，”doi-asserted-by“：”publisher“，”first page“：“7”，”doi“：”10.1007 \/1-4020-4251-5_1“，“volume-title”：“重新审视发现和论证。历史和哲学视角下的语境区分”，“author”：“J Schickore”，“year”：“2006”，“unstructured”：“Schickore，J.，&Steinle，F.（2006）引言：重新审视上下文的区别。J.Schickore&F.Steinle（编辑），《重新审视发现和论证》。关于语境区分的历史和哲学观点（第7\u201319页）。柏林：Springer-Verlag。“}]，”container-title“：[”Synthese“]，”original-title”：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/link.springer.com/content\/pdf\/10.1007\/s11229-020-02858-y.pdf“，”content-type“：”application\/pdf“、”content-version“：”vor“、”intended-application“：”text-mining“}，”{“URL”：“https:\//link.springer.com/article\/10.10007\/s11229-020-02858-y \/fulltext.html“，”content-type“：”text\/html“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/link.springer.com/content\/pdf\/10.1007\/s11229-020-02858-y.pdf”，“content-type:”application\/pdf“，”content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2021,11]]，“date-time”：“”2021-11-11-11T11:31:23Z”，“时间戳”：1636630283000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“https:\/\/link.springer.com\/10.1007\/s11229-020-020-02858-y”｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[2021,1,21]｝，“引用次数”：29，“期刊发行”：｛“发行”：“S26”，“已发布印刷品”：｛“日期部分”：[[2021,11]｝，”备选id“：[”2858“]，“URL”：“http:\/\/dx.doi.org\/10.1007\/s11229-020-02858-y“，”关系“：{}，”ISSN“：[”0039-7857“，”1573-0964“]，”ISSN-type“：[{”值“：”0039-757“，”类型“：”打印“}，{”价值“：”1573-0.964“，”类别“：”电子“}]，”主题“：[]，”发布“：{”日期部分“：[2021,21]]}，“断言”：“2021年1月21日”，“订单”：1，“名称”：“first_online”，“标签”：“第一在线”，“群组”：{”name“：”ArticleHistory“，”label“：”Article History”}}，{“value”：“2021年4月16日”，“order”：2，“name”：“change_date”，“label”：“更改日期”，“group”：{“name”:“ArticleHistory”，“标签”：“文章历史”}}}“：”缺少的资金信息已添加到文章“，”order“：4，”name“：”change_details“，”label“：”change details“，”group“：｛”name“：”ArticleHistory“，”label“：”ArticleHistory“｝｝]｝｝