| 词条 | Classical mathematics |
| 释义 |
In the foundations of mathematics, classical mathematics refers generally to the mainstream approach to mathematics, which is based on classical logic and ZFC set theory.[1] It stands in contrast to other types of mathematics such as constructive mathematics or predicative mathematics. In practice, the most common non-classical systems are used in constructive mathematics.[2] Classical mathematics is sometimes attacked on philosophical grounds, due to constructivist and other objections to the logic, set theory, etc., chosen as its foundations, such as have been expressed by L. E. J. Brouwer. Almost all mathematics, however, is done in the classical tradition, or in ways compatible with it. Defenders of classical mathematics, such as David Hilbert, have argued that it is easier to work in, and is most fruitful; although they acknowledge non-classical mathematics has at times led to fruitful results that classical mathematics could not (or could not so easily) attain, they argue that on the whole, it is the other way round. See also
References1. ^{{cite book |title=The Oxford Handbook of Philosophy of Mathematics and Logic |editor=Stewart Shapiro |editor-link=Stewart Shapiro |publisher=Oxford University Press, USA |year=2005 |isbn=978-0-19-514877-0}} {{DEFAULTSORT:Classical Mathematics}}{{mathlogic-stub}}2. ^{{cite book |title=Provability and Truth |author=Torkel Franzén |authorlink=Torkel Franzén |publisher=Almqvist & Wiksell International |year=1987 |isbn=91-22-01158-7}} 1 : Mathematical logic |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。