建构数学

arXiv - MATH - History and Overview Pub Date : 2024-04-03 DOI:arxiv-2404.05743

Mark Mandelkern

{"title":"建构数学","authors":"Mark Mandelkern","doi":"arxiv-2404.05743","DOIUrl":null,"url":null,"abstract":"An age-old controversy in mathematics concerns the necessity and the\npossibility of constructive proofs. The controversy has been rekindled by\nrecent advances which demonstrate the feasibility of a fully constructive\nmathematics. This nontechnical article discusses the motivating ideas behind\nthe constructive approach to mathematics and the implications of constructive\nmathematics for the history of mathematics.","PeriodicalId":501462,"journal":{"name":"arXiv - MATH - History and Overview","volume":"27 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Constructive Mathematics\",\"authors\":\"Mark Mandelkern\",\"doi\":\"arxiv-2404.05743\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"An age-old controversy in mathematics concerns the necessity and the\\npossibility of constructive proofs. The controversy has been rekindled by\\nrecent advances which demonstrate the feasibility of a fully constructive\\nmathematics. This nontechnical article discusses the motivating ideas behind\\nthe constructive approach to mathematics and the implications of constructive\\nmathematics for the history of mathematics.\",\"PeriodicalId\":501462,\"journal\":{\"name\":\"arXiv - MATH - History and Overview\",\"volume\":\"27 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-04-03\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - MATH - History and Overview\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2404.05743\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - MATH - History and Overview","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2404.05743","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

数学界的一个古老争论涉及构造证明的必要性和可能性。最近的进展再次引发了这场争论，这些进展证明了完全构造数学的可行性。这篇非技术性文章讨论了数学建构方法背后的动机思想，以及建构数学对数学史的影响。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Constructive Mathematics

An age-old controversy in mathematics concerns the necessity and the possibility of constructive proofs. The controversy has been rekindled by recent advances which demonstrate the feasibility of a fully constructive mathematics. This nontechnical article discusses the motivating ideas behind the constructive approach to mathematics and the implications of constructive mathematics for the history of mathematics.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

arXiv - MATH - History and Overview

自引率

0.00%

发文量