The best discoveries are of the self.
The beauty of mistakes is we can improve them.
The Riemann hypothesis is proved in Number, space
and logic, volume III chapter V, under informal review.
The Superexponential algebra section has a reviewed
chapter on novanions, used in the Physics section.
We replace Galois theory using dependent roots, ring
automorphisms and varieties. The quintic is not solvable
by 'killing central terms' but it is solvable - in radicals by
'polynomial wheels', and using approximation methods.
We prove that consistent problems are finitely or infinitely
decidable, so the only undecidable problems are inconsistent.
We show finitely stated problems can be determined finitely.
This website has been reduced. More advanced material will be contained in the companion website www.ethicalgalacticevacuations.ie, but is not yet set up.
Heuristic principle: if a result is technically erudite, needs extremely long reasoning and is counterintuitive, it is wrong.
How to ascend University dogmas to purer dogmas nearer the truth
eBook 2020 Number, space and logic I, II & III (unfinished)
eBook 2017 Superexponential algebra I, II & III
eBook 2014 Innovation in mathematics
eBook 2009 Elementary methods in number theory
The mathematics section describes the research programme. A brief history is given here and the research schedule.
An invitation for you to get involved in these research areas.
I have a number of papers and ideas. The most significant are posted here. Would you like to develop some of them further or offer criticism of any paper? I welcome comments not only
from professional mathematicians. To email me, the email address is at the top of the website.
1. Research Programme Synopsis is a brief technical sketch of the generalisation programme in mathematics.
2. Research Programme covers all of my research in mathematics.
I had thought that the truth of an idea in mathematics would eventually lead to its acceptance. From my investigation of social systems, I believe if a set of ideas deviates from a central
paradigm, it can never be accepted by an authoritarian social structure. Since the social structure of mathematics in all universities today of which I have knowledge are authoritarian, it
follows that the ideas given here will never be accepted by the current system. If we come up with the question of how much Orthodox Judaism has changed in the past 1000 years, we
would certainly say a lot, but I do not think it has upturned central paradigms. These are completely unacceptable, whatever their relation to truth. The same is the case in science today.
It is dogma, and resistant to changes in thinking which act against the social structure maintaining this dogma. The only recourse is to abandon this system and build a new one based on
social structures which are inherently adaptive. These new social systems cannot be accommodated in any authoritarian structure.
It may be objected that freedom of thought was allowed under restricted circumstances in authoritarian systems, for instance the Manhatten project in the US and mathematics research
in the Stalinist Soviet Union. Such exceptions are absent today. Intensification of the capitalist system has led to the replacement of egalitarian university systems with heirarchical ones
with power-centric Vice Chancellors in a vertical system of control. This seems endemic across the world system, and it would appear exceptions are now possible only where such
systems are absent. The result is the loss of innovative capacity across the world capitalist system. I believe the only solution is to build alternative universities elsewhere.
This requires, although there may be alternatives, distributed and democratic control. In order to maintain resilience under coordinated attack from authoritarian structures, my own
conception considers lowest level authority under structures of coherence. This coherence enables collective investigation of the truth in systems based on authority of reason rather than
direct physical force of authoritarian systems. It implies this coherence is collectively acknowledged under a rolling system of planning under the boundaries of its social group. A wider
system under negotiation of such collectivities, and a wider coherent plan under a general boundary enable the resulting system to innovate without collapsing into authoritarian control.
Terry Tao is a very interesting mathematician. I am trying to do the same thing. Although it may seem we come from completely different directions, on reflection this is not the case.
My understanding, which is probably terribly wrong, is that Chinese culture approves of finding explicit results. Tao has good memory, so he can compute. We must assume he does
it accurately. This established his reputation at an early age. I would say he is a problem solver. He does this extremely well. I have very poor working memory. It almost forces me,
despite extensive calculations which at one stage filled 38 refuse bags of calculations, almost all wrong, which I disposed of in a house move, to be a conceptual mathematician. I am not
quite a standard conceptual mathematician. I use intuition and vast analogies. I don't think Tao is unable to do conceptual mathematics, rather the reverse. Mathematics progresses not
only through global conceptual coherence, but also by detailed developments attached to these concepts. It is dependent on its diversity. I think if ever a conceptual mathematician and
a detailed problem solver were to meet in deep thought, the result would push forward mathematics more than the independent research they could develop on their own. This extends not
just to a pair of mathematicians, but the social system in which they are embedded. If the social system were to promote the breaking down of boundaries so that this type of collaboration
happens more often, I think this would be a very substantial contribution to the further development of mathematics. This potential is another reason why I think Terry Tao is interesting.
Return to Table of Contents.
Number, space and logic is over one third complete, containing ten months work. It extends
Fred Diamond and Jerry Shurman, A first course in modular forms, Springer, 2005, which is strongly recommended,
Roger Carter, Finite Groups of Lie Type, J. Wiley, 1985,
J. H. Conway and N. J. Sloane, Sphere Packings, Lattices and Groups, Springer, 1998,
John H. Conway and Derek Smith, On Quaternions and Octonions, A. K. Peters, 2003,
J. P. May, A consise course in algebraic topology, U. Chicargo P., 1999,
Hershel Farkas and Irwin Kra, Riemann Surfaces (2nd edn.), Springer, 1992 and
M. E. Szabo (ed.) The collected papers of Gerhard Gentzen, North-Holland, 1969.
There will be an exposition and extension of homolgy, cohomology and homotopy theory in it.
John Baez has made accessible a wide area of technical mathematics to a huge audience. It is deservedly popular. He is deeply aware of the contours of the subject, and what is significant.
I do not think he has been the critic of some result in the way I have. This has resulted from different aims and personalities. I have time available by being outside the system. If you have
not already done so, please look at his site. Here is a comment on John Baez's blog dated 28-29 June 2017, also the reaction from a university administrator.
The curent contents may contain conceptual and other errors.
VOLUME I: Superstructures
1A. Foreword Foreword and table of contents.
1B. The Meaning of the Finite and the Infinite Chapter 1. We introduce a modified set theory. We extend the rules for the positive whole numbers to transfinite natural numbers, called transnatural numbers. Some basic properties of the transnatural numbers are developed. We define a model for the real numbers using 'capital Zeta functions', deconstruct the uncountability assumption for the set of subsets of the natural numbers and introduce an algebra of transinfinite ordinals, called ladder algebra.
1C. The Meaning of Branched Spaces Chapter 2. We discuss lattices. Removing a point from a real line divides it into two pieces. So we say removing a point from an n-branched space divides it into n pieces. We introduce a model for a number descibing branched space topology, the Euler characteristic, as a general polynomial with integer coefficients.
1D. The Meaning of Superstructures Chapter 3. Just as addition by repetition generates multiplication and multiplication by repetition generates exponentiation, so an nth superexponential operation, called a suoperator, generates an (n + 1)th suoperator. We introduce a general algebra for suoperators in an extended form from that given in the eBook Superexponential algebra and give a survey of category theory, including a discussion of functors and toposes, generalised to the nonassociative case called superstructure theory.
1E. Zargonions Chapter 4. A sequence of algebraic structures begins with real numbers, complex numbers, the quaternions and then octonions. Vulcannions are a generalisation of octonions, generating algebras with division of dimension 6k + 2 for whole numbers k. This is in violation of the result of J.F. Adams On the Nonexistence of Elements of Hopf Invariant One, which uses Steenrod squares, equivalent to using K theory. But K theory does not consider sporadic groups, and this is a gap in the proof. This survey collects together results on division algebras, the novanions of Superexponential Algebra and their combinations, called zargonions. Additional to the chapter in Superexponential algebra, we show that the 10- and 26-novanions have both fermionic (odd number of twists) and bosonic (even number of twists) representations, and there is an enveloping novanion.
1F. Groups Chapter 5. We describe basic group theory and prove the three isomorphism theorems. We introduce the Schur multiplier and look at the standard classification of simple groups. We also prove the orbit-stabiliser theorem, Sylow's theorems and the Jordan-Hoelder theorem. We give a counter-example to the statement that normal groups form a modular lattice. We describe the classification of Lie algebras and vertex operator algebras.
1G. The Discovery of the Polynomial Wheel Chapter 6 needs correction - the important calculation in section 12 is wrong. I think removing the constraint L = 0 will solve this. Polynomial wheels are general techniques to solve polynomial equations of any degree by radicals, previously thought impossible. We introduce polynomial wheel theory and comparison methods and survey similar results to Superexponential algebra volume II, demonstrating that the Galois solvability model is incorrect for comparison methods which avoid killing central terms, show by general methods that solutions of polynomial equations of arbitrary degree can always be found in principle (all general arguments of this type can be re-expressed in category theory), provide a geometric realisation of the cubic, and look in detail at the solvability of quintic polynomials. We review the solvability of the quintic as embedded in a quartic variety in squared variables, showing a link with elliptic curves. The quintic gives a solution of the sextic. This is part of a general theorem that a solvable polynomial of odd degree n gives rise to a solvable polynomial of degree n + 1. The general techniques are called polynomial wheel methods and give for example solutions of the quintic by radicals. This process can be iterated indefinitely and is part of a general theorem that all consistent problems are solvable - unsolvable problems are inconsistent.
1H. Zargon Varieties Chapter 7 is not ready. We describe a generalisation of the theory of elliptic curves.
1I. Modular Forms Chapter 8 is not ready. We include work on modular forms, used in the modularity theorem.
1J. Zargon Lattices Chapter 9 is not complete. We discuss lattices and sphere packing from the zargonion point of view. We study the classification of groups, called zargon groups, including simple groups, arising from the algebra of the zargonions, and investigate the relation of these new results with those obtained by using Dynkin diagrams. We obtain Lie algebras beyond those obtained from the octonions, with more elements than E8. We obtain some simple groups with similar but different size to the monster, and an infinite sequence of such simple groups.
1K. Conformal and Nonconformal Analysis Chapter 10 is half ready. We include work on the hyperintricate Cauchy-Riemann equations and the Cauchy integral formula.
1L. Conformal and Nonconformal Suanalysis Chapter 11 is not ready. This develops suoperator analogues of the previous chapter.
VOLUME II: Trees and Amalgams
2A. Foreword Foreword and table of contents.
2B. Trees and Amalgams Chapter 1 is not ready. We define trees and amalgams.
2C. Branched Spaces and Explosions Chapter 2 is not ready. We describe branching which is a general feature of superexponential algebras. The branching can be infinite in a set called an explosion. If the algebraic structure is removed, the topology remains. This chapter includes work on the Riemann-Roch theorem, the Gauss-Bonnet theorem and stereographic projection.
2D. Surgery Chapter 3 is not ready. We obtain from the branched Euler characteristic in multiplicative form, a series of operations called surgery to enhance the polynomial to a desired additive form. This algebraic series of operations has a geometric realisation.
2E. Sequent Calculus and Colour Logic Chapter 4 is not ready. We look at multivalued logics, called colour logics, develop Gentzen's sequent calculus for logical deduction and extend the discussion of sequents to modal and colour logic.
2F. Probability Logic, Distributions and Zargonion Fractals Chapter 5 is not ready. The chapter looks at probability logics from the point of view of distributions, and how to weight polynomial curve fitting so that the resulting curve has maximum significance. It revisits colour logic in the probability context as a multidimensional logic, extends this to Zargonions, and then incorporates dimension in terms of Zargonions with real coefficients as fractal structures.
2G. Homology Superstructures Chapter 6 is not ready. We describe our replacement of homology in the superexponential context.
2H. Cohomology Superstructures Chapter 7 is not ready. The chapter describes etale and motivic cohomology in the superexponential context.
2I. Homotopy Superstructures Chapter 8 is not ready. We describe homotopy, a theory of paths, in the superexponential context. Epicycle knots are discussed.
VOLUME III: The Finite and the Infinite
3A. Foreword Foreword and table of contents.
3B. Number Theory Chapter 1 is half constructed. We look at ladder algebra and its transcendental extensions. The chapter has a section on Gauss, Ramanujan and Kloosterman sums.
3C. Class Field Theory Chapter 2 is not ready. We look at class field theory.
3D. The Consistency of Analysis Chapter 3 is not ready. We develop a Gentzen-type proof of the consistency of analysis from our theory of trees and our transcendental results. The theory is extended to cover colour logics, also those of intuitionalistic type.
3E. Fermat's Last Theorem Chapter 4 is half complete. We prove Fermat's Last Theorem using elementary methods and give a more sophisticated treatment using the modularity theorem.
3F. Zeta Functions Chapter 5. The chapter proves the classical theory of the Riemann hypothesis using invariance under imaginary Dw exponential algebras and will prove the general Riemann hypothesis by extending w to include a rational component.
3G. Local Zeta Functions Chapter 6 is not ready. We look at the Weil conjectures. Implications for the function field case are given, where transl-adic and other results are applied.
3H. The Goldbach Conjecture Chapter 7 is not ready. The chapter proves the weak Goldbach theorem using the work of Harald Helfgott. The general Riemann hypothesis implies a new and shorter technique for proving the weak Goldbach conjecture.
3I. References and Index Not ready.
The topology work in the archive was to become part of Number, space and logic - it describes branched spaces and their Euler characteristics. I would like to thank James Hirschfeld for getting a research student to look at the homology and cohomology. The following is this archive material.
The Mathematical archive accesses historical material that was to go into the creation of Number, space and logic.
Return to Table of Contents.
You can comment on this eBook, Superexponential Algebra.
1B. Foreword The Foreword, Table of Contents and Mathematical terms of Superexponential Algebra Volume I.
1C. Prologue Why is mathematics there? and What is mathematics? of Superexponential Algebra.
1D. Intricate Numbers Chapter I introduces the intricate matrix representation.
1E. Hyperintricate Numbers Chapter II introduces the hyperintricate matrix representation.
1F. Associative Division Algebras Chapter III. We prove that the only standard associative division algebras are the reals, complex numbers and quaternions. In the case where there is more than one axis with square 1, a restricted set of singularities is present. We give a proof of Wedderburn's little theorem.
1G. Nonassociative Algebras Chapter IV. We introduce nonassociative operations derived from associative matrix multiplication, extend the hyperintricate methodology and discuss Lie and Kac-Moody algebras.
1H. Novanions Chapter V. We prove that there exist nonassociative novanion algebras of dimension higher than the octonions. Novanion algebras are division algebras, except when the scalar part is zero, when the product of two nonzero novanions can be zero. We introduce explicit models, including the ten dimensional 10-novanions. For applications, see the Physics section and Number, Space and Logic.
1I. Fermat's Little Theorem for Matrices Chapter VI uses the hyperintricate representation of matrices to generalise Fermat's little theorem (not identical to its non-matrix cousin) and the Euler totient formula.
2A. Foreword The Foreword, Table of Contents and Mathematical terms of Superexponential Algebra Volume II.
2B. Ladder and Complex Algebra Chapter VII. We discuss the incompatibility between the continuum hypothesis and the countability of the rational numbers and introduce winding numbers to prove the fundamental theorem of algebra.
2C. Polynomials with Complex Roots Chapter VIII. We investigate the sextic Bring-Jerrard polynomial. For independent roots this chapter assumes Galois theory holds. For dependent roots we give a description of polynomial entities and show they are solvable. These entities always contain a general polynomial. We give a general theory of dependent roots.
2D. Polynomials with Matrix Roots Chapter IX. The chapter deals with matrix variables. Using the Cayley-Hamilton theorem and companion matrices, we show matrix solutions for complex polynomials of any degree can be found. For independent roots we investigate matrix solutions of polynomial equations with intricate coefficients up to the quartic. The fundamental theorem of algebra fails for matrix polynomials, and solution conditions can be more severe than the ordinary case.
2E. Automorphisms and Linear Maps of Polynomial Equations Chapter X. We show that ring automorphisms for polynomials are commutative, unlike inner group automorphisms, so Galois theory fails.
2F. Solvability of Complex Varieties Chapter XI. The chapter shows polynomial equations are equivalent to varieties in two variables. An end result of Galois theory - no solutions of general complex polynomial equations of degree greater than 4 by radicals - follows in the case of 'killing central terms' of polynomial equations, and other descending methods are equivalent to this. However, we are able to express a cubic polynomial entirely in terms of square roots, which is impossible by Galois theory, but we fail here to solve the sextic equation in radicals by 'nondescending comparison' methods. QR matrix approximation methods are also discussed.
2G. Polynomial Rings and Ideals Chapter XII. We introduce Hilbert's basis theorem, the Nullstellensatz and Groebner bases.
2H. Probability Sheaves Chapter XIII. The contents of my work here go back 37 years.
3A. Foreword The Foreword, Table of Contents and Mathematical terms of Superexponential Algebra Volume III.
3B. Algorithms and Consistency Chapter XIV. We look at nonstandard interpretations of the continuum hypothesis and discuss decidability and consistency with nonstandard outcomes in our developments of set and number theory.
3C. Exponential Algebra Chapter XV is an introductory chapter on hyperintricate exponentiation.
3D. The Dw Exponential Algebras Chapter XVI modifies complex exponentiation and extends it to the hyperintricate proposal D1, which addresses in detail a problem puzzling me for forty years. Although roots do branch, the algebra suggested does not give branched real values, other than plus or minus a real root, unlike the usual algebra. Exponentiation is the first non-inverse operation which is non-associative and it is not in some other ways like a group.
3E. Superexponentiation Chapter XVII. The superexponentiation operations generalise eaeb = ea + b. Mappings discussed here are not associative.
3F. Appendices, Answers to Exercises, References and Index Chapter XVIII. The concluding part of the eBook.
The Mathematical archive accesses historical material that went into the creation of Superexponential algebra.
Return to Table of Contents.
Foreword and Table of Contents
1. Creative Mathematics is a primer with suggestions on producing creative mathematics.
2. Discussion on Ladder Numbers shows for the general reader and undergraduate mathematician the inconsistency of the real numbers and aspects of ladder numbers and zero algebras, by introducing an algebra for infinitesimals compatible with nonstandard analysis, and for infinities. A definition of relative countability is used to challenge Cantor's diagonal argument, so using transfinite induction we show the inconsistency of the real number system, as currently axiomatised, and provide an alternative. The zero algebras equate 0/0 to a number, or a set of numbers.
3. Polynomial Equations I. Duplicate Roots. A solution by radicals of the zeros of the sextic polynomial equation with duplicate roots has been obtained. This does not contradict the non-existence of a Jordan-Hoelder series
S5 --> S4 --> S3 --> S2 --> 1.
It has been obtained by a formal 'non inertial' differential condition. We describe an assumed method of Grothendieck, which uses multifunctions and in the case of the sextic corresponds to the series
S6 --> S3 --> S2 --> 1.
4. Polynomial Equations II. Transcendental Solutions is a solution of the zeros of polynomial equations with complex coefficients of any large degree by transcendental methods. This is not in violation of Galois theory.
5. Intricate and Hyperintricate Numbers I is an introduction to the essentials of the subject. These numbers are generalisations of complex numbers, and are general representations of 2n X 2n matrices.
6. Intricate and Hyperintricate Numbers II is a more advanced continuation of Part I.
7. Totient Reciprocity. There are said to be 200 proofs of quadratic reciprocity. My original comment was: this makes it the 201st! - but it is similar to a proof by Kronecker, and the work generalises this theorem.
8. Quadratic Residues Power Point Presentation Power Point presentation of Parts I, II and III of the Quadratic Residues papers, investigating and proving by elementary methods the case that obtains for p prime = 4k - 1 that there are more quadratic residues in the interval [1, 2k - 1] than in [2k, 4k - 2].
8A. Quadratic Residues I is the first stage of a solution of a problem unproved by elementary methods in 2004, that for p prime = 4k - 1 there are more quadratic residues in the interval [1, 2k - 1] than in [2k, 4k - 2]. This is called the total disparity. A formula is proved.
8B. Quadratic Residues II We describe row and trajectory regions containing parabolas.
8C. Quadratic Residues III We solve the problem of the previous two papers, using the average column of the average quadratic residue. We also refer and relate the disparity for prime p = 4k - 1 to transcendental methods and the 'tenth discriminant' problem. We continue the description of regions with parabolas. We discuss the 'shifted' disparity for primes of the form q = 4k + 1, and discuss the corresponding cases for numbers 4k and 4k + 2.
9. Eisenstein on Reciprocity Theorems Eisenstein's 'Applications of algebra to transcendental arithmetic', which I found sufficiently insightful to translate into English.
References and Index
The Mathematical archive accesses historical material that went into the creation of Innovation in mathematics.
Return to Table of Contents.
Other early papers
contains early introductory and simpler papers for a general readership.
1. Fermat Numbers and Two Prime Number Theorems relates the idea of Fermat numbers to two prime number theorems.
2. Vector Calculus, a note to a colleague, describes mathematical ideas on vector calculus.
3. Partitions is a little note on partitions, originally an email, prompted by Paul Hammond.
The eBook Elementary methods in number theory
Foreword and Table of Contents
1. Chapter I is about exponential powers.
2. Chapter II on prime numbers, factorisation and divisibility.
3. Chapter III on differences and sums of pth and different powers mod 4.
4. Chapter IV is on Quadronacci numbers, a generalisation of Fibonacci numbers.
5. Chapter V contains work on Fermat's last theorem by elementary methods.
6. Chapter VI is on Beal's conjecture, an extension of Fermat's last theorem.
References and Index
The Mathematical archive accesses historical material that went into the creation of Elementary methods in number theory.
Return to Table of Contents.