Jump to content

User:Викидим/Classical mathematics

From Wikipedia, the free encyclopedia

In a broad sense, the term classical mathematics designates the settled part of mathematics, material taught at almost all school and college classrooms, as opposed to the "modern" topics the professional mathematicians are working on.[1] The term has been used in this sense since at least the 19th century[2] and continues to be used in the 21st century.[3][4]

After the foundational crisis of mathematics in the early 20th century, the term "classical mathematics" was appropriated by the adepts of constructive mathematics to designate its traditional (and still very widely supported[1]) counterpart of the foundations of mathematics, ostensibly to avoid using the "nonconstructive mathematics" label with its negative connotations (the constructive math does not deny the correctness of the theorems with proofs based on "infinite search").[5] Classical mathematics in this sense is being used by almost all practicing mathematicians, as it offers an easier path to results, and, consequently, yields more discoveries.[6]

The classical foundations of mathematics is the mainstream approach, pretty much unchanged since the 1920s, and includes the mathematical logic,[7] with a set theory based on "Zermelo–Fraenkel with choice" axiom system (ZFC set theory), or using a very similar Von Neumann–Bernays–Gödel set theory as an option.[8][9] 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.[10]

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.[citation needed]

See also

[edit]

References

[edit]
  1. ^ a b Mandelkern 1989, p. 3.
  2. ^ Ball 1889, p. 45.
  3. ^ Hofmann 2003.
  4. ^ Griffiths & Hilton 2013.
  5. ^ Chan 2023, p. 341.
  6. ^ Bridges & Richman 1987, Preface.
  7. ^ Blackburn 2016, mathematical logic.
  8. ^ Ferreirós 2010.
  9. ^ Stewart Shapiro, ed. (2005). The Oxford Handbook of Philosophy of Mathematics and Logic. Oxford University Press, USA. ISBN 978-0-19-514877-0.
  10. ^ Torkel Franzén (1987). Provability and Truth. Almqvist & Wiksell International. ISBN 91-22-01158-7.

Sources

[edit]


Category:Mathematical logic