Re: How much freedom does math have?
Posted: Thu Mar 08, 2018 8:19 pm
Philosophy Explorer wrote: ↑Thu Mar 08, 2018 7:58 pmThat's the thing JD. There are different types of foundational math, some not relying on logic. Not all mathematicians accept logic as a foundation for math.Eodnhoj7 wrote: ↑Thu Mar 08, 2018 7:48 pmWhat if the paradoxes should not be ignored but rather observed as foundational axioms for further mathematical theories? For example the most common form of paradox involves some form of circularity or rotation, however circularity and rotation do not necessarily limit the nature of knowledge specifically.Science Fan wrote: ↑Thu Mar 08, 2018 7:29 pm Math is based on logic. The paradoxes? Yeah, they exist, students learn them, but since it does not prevent math from carrying on, we simply ignore such things, unless one specializes in mathematical logic. If we could come up with better definitions in mathematics to avoid the paradoxes, we would. We are just presently stumped, and lucky that we do not need to resolve such issues for math to be useful.
For example, one thing I am work on is a mirror function, that embraces your standard circular paradox of form while maintaining the linear characteristics necessary for progression.
Take for example, and you might have seen me write this else where, that standard 1 + 2 = 3.
If we view the (+) as inherent within the numbers themselves we can observe that number manifests through a mirroring process conducive to sets, while simultaneously maintaining their foundational premise as part of the answer.
So using the symbol of "⊙" as "mirroring" and "⧂" as "mirrors in structure" we can maintain both circular and linear forms without a fear of contradiction:
So 1 + 2 is approximately equal to:
⊙(+1,+2) where the positive nature of 1 and 2, as addition is fundamentally inseperable from the number itself.
⊙(+1,+2) ⧂ {+1,+2} the inherent premises being the foundation of the linear form are inherent and inseparable from the answer.
⊙(+1,+2) ⧂ {+1,+2,+3} at the same time the stand addition applies.
In a seperate respect, we can observe that since (+) is inherent within the number it also succumbs to the mirroring process. Hence the mirroring of addition results in multiplicaiton, with multiplication being the addition of addition. In these respects "multiplication", as a second degree positive value, is also inseperable from the number.
So the (+) value of 1 and 2 in turn mirror to form (*) 1 and 2 while the mirroring of +1 and +2 resulting in +3 also mirroring in structure *3.
⊙(+1,+2) ⧂ {+1,*1,+2,*2,+3,*3}
Hence not only are the foundation of number observed, but we can observe that numbers are dependent upon sets in themselves. In these respects sets are inevitable while retaining not just the individual dignity of each number but also providing the foundation of arithmetic functions as inherently inseperable.
You are right about that for sure. We are still stuck we a basic problem though: We have math. We have logic. Where are they unified? Where are they seperate? Where can they be synthesized and what is the best methodology for synthesis?
Maybe better definitions will resolve the problem, but mathematicians have been looking hard for a long time (in fact there doesn't seem to be a universally acceptable definition for number).
I don't mean to suggest that math is useless, but it needs sharpening.
I agree...but a paradox occurs where the more one focuses on "x" the less they are able to observe "y". However "x" must be observed in order to observe "y"....the question of "clarity" comes to the for front as how clearly must I observe "x" in order to observe "y"?
It appears that what we observe as "clarity" is merely the ability to observe definitions approximately, or in simpler terms "connect" the definitions. The problem occurs when we observe "connections" we must also observe the connections as things in themselves hence "what originally connects' paradoxically causes a simultaneous division of properties also...hence a paradox again ensues and the only axiom, I believe, we cannot doubt is that symmetry as order is dependent upon an alternation.
To get back to my original point, if we view numbers from a perspective of "alternation" we may not only be able to gain a better universal foundation for understanding "what" they are, but simultaneously we may be able to observe universal functions that provide the foundations for other universal functions.
Even in basic math, and even logic to a degree, we are still stuck with universals of "positive" as a form of summation and "subtraction" as a form of absence...from this we get the further foundations of multiplication, division, roots, and powers. So we have six basic functions that provide the root for all mathes and linguistic logic (unless you see something in this premise I don't).
The question occurs to me are what are the foundations of these three duals? We take standard arithematic apriori, but why?
PhilX![]()