Jump to content

Wikipedia:Articles for deletion/Classical mathematics

From Wikipedia, the free encyclopedia
The following discussion is an archived debate of the proposed deletion of the article below. Please do not modify it. Subsequent comments should be made on the appropriate discussion page (such as the article's talk page or in a deletion review). No further edits should be made to this page.

The result was delete‎. The proposed redirect has been rejected as inappropriate, but may be pursued separately at RfD. Owen× 12:56, 25 July 2024 (UTC)[reply]

Classical mathematics (edit | talk | history | protect | delete | links | watch | logs | views) – (View log | edits since nomination)
(Find sources: Google (books · news · scholar · free images · WP refs· FENS · JSTOR · TWL)

This is not a thing. It claims to be about "classical mathematics", in distinction to constructivist approaches, but this distinction is actually entirely about classical logic, a topic for which we already have an article and do not need a second one. My WP:BLAR (a redirect to classical logic) was reverted by an anonymous user, un-reverted by CFA, reverted again by the anon, and supported by Викидим, so rather than continuing to edit-war over the redirect we should discuss it. Here is the discussion. —David Eppstein (talk) 22:08, 17 July 2024 (UTC)[reply]

  1. The term is much broader than just foundations of mathematics
  2. There are plenty of sources discussing the classical mathematics in a broad and narrow sense
  3. It has little to do is not directly with equivalent to the Classical logic
A merge into the Foundations of mathematics can be considered. --Викидим (talk) 03:21, 18 July 2024 (UTC)[reply]
What are some of these sources? Gumshoe2 (talk) 05:30, 18 July 2024 (UTC)[reply]
Many works on constructive math provide large discussion on its counterparts and summarize the differences. For an extreme example, an entire volume dedicated to this topic:
  • Sommaruga, G. (2011). Foundational Theories of Classical and Constructive Mathematics. The Western Ontario Series in Philosophy of Science. Springer Netherlands. ISBN 978-94-007-0431-2. Retrieved 2024-07-18.
Large amount of works discuss the classical math in the more broad sense: as a list of results (mostly of the 19th century) underlying the modern mathematical research, a vocabulary that a mathematician has to know in order to understand the colleagues, for example:
Викидим (talk) 06:53, 18 July 2024 (UTC)[reply]
I don't have any clear view on the issue of classical logic vs classical mathematical logic vs classical mathematics vs constructionist logic, or anything else along these lines.
However your second reference seems to use "classical mathematics" in the most informal way, the way one might equally say "the Pythagorean theorem is classical" or "the Atiyah-Singer theorem is, by now, classical." Although it's a word commonly used and understood by mathematicians in such ways, I don't think it has any particular meaning (in this context) which is systematic enough for a wiki article. That's not to say it doesn't have other meaning which might warrant it, I'm not taking a position on that. Gumshoe2 (talk) 19:02, 18 July 2024 (UTC)[reply]
I have no background in logic, so if a professional will state here that my #3 is incorrect, I will accept it, there is no need to argue the opposite at length. My observation that researchers treat the classical mathematics as a broader subject than the classical logic is based on phrases like "those who take the semantic paradoxes to motivate a retreat from classical logic to a non-classical logic usually assume that their logical reform leaves classical mathematics itself intact" (from Williamson, Timothy (2024). "Can Non-classical Logic Treat Mathematics as Exceptional?". Themes from Weir: A Celebration of the Philosophy of Alan Weir. Vol. 484. Cham: Springer International Publishing. doi:10.1007/978-3-031-54557-3_2. ISBN 978-3-031-54556-6., many similar ones are easy to find). Again, if this is some philosophical nonsense that I am taking at the face value, just let me know. Викидим (talk) 08:05, 18 July 2024 (UTC)[reply]
Comment. In the math world, the word "classical" is most often used to contrast older results or theory with more modern theory. This usage is both related to "classical mathematics" in distinction to constructive mathematics as well as "classical logic" in distinction to other logic. Mathwriter2718 (talk) 13:29, 18 July 2024 (UTC)[reply]
The above discussion is preserved as an archive of the debate. Please do not modify it. Subsequent comments should be made on the appropriate discussion page (such as the article's talk page or in a deletion review). No further edits should be made to this page.