## Friday, December 04, 2015

### Unsolvable Algebraic Equations of the SeldonianXQ_Arithmeticsfor Dialectics.

Caveat.  This blog-entry -- unlike many others, typical within this blog -- is not about interpretations, or 'meta-model meta-equation' solutions, of the generic 'meta-numerals' that inhere in the XQ_ algebras, wherein X represents one of the standard arithmetics, and wherein the '[pre-]subscriptization' of X indicates the subsumption of that standard arithmetic by one of the non-standard, dialectical arithmetical Q_ axioms-systems, and the subsumption of the set or space of numerals, X, by the set or space of 'meta-numerals' , {qX} = XQ.

On the contrary, this blog-entry is about the "uninterpreted", or, more accurately, is about the 'minimally-interpreted',  'meta-numbers' , and their arithmetics and algebras, themselves, i.e., in the generic forms of these 'meta-numbers', arithmetics, and algebras -- about the new mathematical  'ideo-ontology' that undergirds our 'meta-model meta-equations' & their interpretations/solutions.

As in the first text module pasted-in below, we have noted, in this blog, before, the expectation, related to Gödel’s epochal “incompleteness theorem”, that any axioms-system for a standard arithmetic that encompasses at least the so-called “Natural” numbers arithmetic will permit the formation, within its rules of syntax, of (one or more) algebraic equation(s), thus “well-formed”, which are unsolvable within that arithmetic, and one of which will the “deformalization” of the “Gödel formula”, G, for that arithmetic.

G is a formula for a proposition that asserts of itself that it cannot be proved from the axioms of that axioms-system for this standard arithmetic.  Hence, if that proposition can be shown, non-deductively, to be true, then that axioms-system is formally incomplete, and the algebra of this standard arithmetic is capable of forming at least one syntactically “legal” equation, whose solution(s) do(es) not exist within this standard arithmetic, and which is an equation that is tied to G.

If, on the contrary, G, in fact, can be formally deduced from those axioms, then that axioms-system for this standard arithmetic is formally inconsistent, i.e., is ‘“formally self-contradictory’’’ -- i.e., a false proposition can be deduced from its axioms.

¿How much can we rightfully expect this expectation to hold also for the axioms-systems of those non-standard systems of arithmetic that are the Seldonian arithmetics for dialectics?

¿Must the Seldonian arithmetics for dialecticsalso ‘‘‘contain’’’ algebraic equations, tied to their own versions of G, that are “well-formed” but unsolvable within them, out of formal-logical necessity?

Let us grapple, first, with a easier question:  ¿Do the Seldonian arithmetics for dialecticsalso ‘‘‘contain’’’ algebraic equations that are “well-formed” within them, but that are also unsolvable within them?

Well, let’s start by looking at the first explicitly dialectical arithmetic in the Seldonian progression of dialectical arithmetics, the Natural-numbers, N, subsuming dialectical arithmetic, NQ_.

The NQ_ system of arithmetic encompasses, through its product rule axiom, axiom §9, an additions-only excerpt from Natural-numbers arithmetic, if only within its subscripts level.

And, indeed, the following equation of NQ_’s algebra is, within the NQ_ axioms-system, well-formed but unsolvable:  for every n in N, x = qx is not in NQ, if --

x * qn   =   qx * qn  =  qn.

And, as also with the Gödelian Dialectic of the standard systems of arithmetic, for its systematic progression ['---)'] of number-spaces --

N ---) W ---) Z ---) Q ---) R ---) C ---)... .

-- the very next of the non-standard, dialectical arithmetics, in one of the two directions of the Seldonian progression -- the direction which follows the Gödelian progression of the standard systems of arithmetic, just given, in terms of the next standard arithmetic that is subsumed by the next version of the Q_ non-standard arithmetics.

In this case, it is the WQ_ dialectical arithmetic, that renders solvable, within itself, that equation.  That equation is solvable by setting qx = q0, and  by applying the double-conservation «aufheben» evolute product rule, axiom §9 [see second module below] --

qx is in WQ, for every w in W, if -- qx * qw  =   qw;

q0 * qw  =  qw + qw+0  =  qw + qw  =  qw, so q0 * qw   =   qw, including --

q0 * q0  =  q0 + q0+0  =  q0 + q0  =  q0, so q0 * q0   =   q[thus, by its subsuming W, the Boolean pattern rises up again within the generally 'contra-Boolean' Q_, in the form of the exceptional value, q0].

q0 is not in NQ  &  q0 is in WQ.

However, also as with the standard systems of arithmetic, this next arithmetic, WQ_, has its own unsolvable equation(s) -- in this example, an equation not even expressible -- not “well-formed” -- within NQ_, because q0 is not an element of the ‘meta-number space’ NQ --

for every w in W, qx is not in WQ, if --

x * qw   =   qx * qw  =  q0.

In this case, it is the ZQ_ dialectical arithmetic, that renders solvable, within itself, the equation immediately above.  That equation is solvable by setting qx = q-w, and by applying a new version of axiom §9, e.g., the meta-heterosis convolute product rule, as follows --

qx is in ZQ, for every z in Z, if -- qx * qz  =   q0;

q-w * q+w  =  q+w + -w  =  qw-w   =  q0, so --

q-w * q+w  =   q0, and, in general, q-z * q+z   =   q+z * q-z   =   q0, for every z in Z.

q-w is not in WQ  &  q-w is in ZQ.

However, also, and, again, as with the standard systems of arithmetic, this next arithmetic, ZQ_, has its own unsolvable equation(s) -- in this example, an equation involving the operation of ‘ “purely”-qualitative, categorial division --

qx is not in ZQ, if, for all a, b, and c in Z, such that a b c a --

x    =   qx   =   qa /( qb + qc ).

The operation of ‘ “purely”-qualitative, categorial division, '_ /_', is not defined for the NQ_ arithmetic, so that the equation immediately above would not be “well-formed” within it.

The operation of ‘ “purely”-qualitative, categorial self-divisioncan be defined within the WQ_ dialectical arithmetic, such that, for every w in W, qw /qw    =    qw  q-w   =   q0.

Unrestricted binary qualitative division is defined for the ZQ_ dialectical arithmetic, e.g., via the meta-heterosis convolute product ruleversion of axiom §9,  such that --

qa /qb  =  qa q-b  =  qa + -b  =  qa-b.

However, even in ZQ_, and in QQ_, and in RQ_, the qualitative division of a category by a cumulum of categories --

qa/( qb + qc )

-- is not a value that is contained in any of their ‘meta-number spaces’.

One has to progress in the other direction of the Seldonian double-progression [see bottom-most two modules, below] of systems of arithmetics for dialectics, to find an arithmetic in which a value of a form similar to that of --

qa /( qb + qc )

-- is contained, namely, in the form b /(a1 + a2).

That arithmetic, one that accomodates "purely" qualitative, 'qualo-fractal' '''fractions''' of that form, is the 24th arithmetic in that Seldonian progression of dialectical arithmetics --

qBA [---) q24

-- and that 24th system of arithmetic is capable of interpretation to represent two-level, e.g., «genos»-overspecies», ideo-taxonomic, trans-Platonian «arithmoi eidetikoi» dialectics.

For more regarding these issues, see the F.E.D. Primer by F.E.D. Secretary-General Hermes de Nemores --

www.dialectics.org

http://www.dialectics.org/dialectics/Primer.html

http://www.dialectics.org/dialectics/Primer_files/3_F.E.D.%20Intro.%20Letter,%20Supplement%20A-1_OCR.pdf

-- pages A-15 through A-17

Regards,

Miguel