Main Page

From Objective Mathematics
Revision as of 22:12, 28 January 2024 by Lfox (talk | contribs)
Jump to navigation Jump to search

Welcome to the Objective Mathematics wiki.

Objective Mathematics is an ongoing project which aims to make mathematics more objective by connecting it to reality. This is being done by painstakingly going through each math concept, and thinking about the concrete, perceptual data to which it ultimately refers. If a math concept is not reducible to perceptual concretes, it is invalid; it is a floating abstraction. Objective Mathematics rejects Platonism: math concepts do not refer to Platonic forms inhabiting an otherworldly realm, but rather they refer directly to physical, perceivable things. Objective Mathematics rejects Intuitionism: math is not a process of construction and intuition, but rather a process of identification and measurement. Objective Mathematics rejects Formalism and Logicism: math is not a meaningless game of symbol manipulation, but rather its statements have semantic content (just like propositions about dogs, tea, beeswax, or anything else).

Besides mathematics, many of the pages on Objective Mathematics wiki are about foundational concepts of physics, computer science, and philosophy. Although I accept the distinction between these four subjects, I think that it is more blurry than is sometimes supposed. The unifying theme of these subjects, and the reason why they all appear on Objective Mathematics wiki, is each subject is foundational, meaning that it can be contemplated on its own (in the case of philosophy), or that it can be contemplated without taking anything beyond basic metaphysics and epistemology for granted (in the case of the others). For example, what I deem to be the fundamental concepts of computer science, despite what the name of the subject may suggest, could in principle be formed by someone with no knowledge whatsoever about computing machines (by say, an Ancient Greek philosopher).

Pages

Math pages:

Physics pages:

Computer Science pages:

Philosophy pages:

Notation

Instead of having set inclusion as one of its fundamental concepts, Objective Mathematics has conceptual identification as one of its fundamental concepts. For conceptual identification, it uses the notation of Type Theory. It is easiest to demonstrate what is meant by this through examples:

  • is a fraction, and I denote this fact---this identification---by writing .
  • Any integer is a fraction, and I denote this fact by writing .

Legal

All writing on this website is (c) Liam M. Fox.

Some images on this website are public domain, some are (c) Liam M. Fox. Check the image descriptions to see which [TODO].

If you would like to help pay to keep the Objective Mathematics wiki afloat, consider donating [TODO].

Contact

If you are interested in Objective Mathematics and would like to discuss it, please email me. You already know my email if you are reading this and you are not a bot. [TODO]