An Axiomatic Account of Space as a basis for a Proof of the Four Colour Theorem
Cris Mallagh
Abstract
A definition is given of seriate sets as being sets constituted out of structured collections of objects which are recursively internally self- similar. Fundamental (geometrical) objects of Dimension N are conceived to be constituted out of seriate sets of fundamental objects of Dimension N-1, starting with points assigned to Dimension 0. Syntactical rules to enable such objects to be systematically named and combined, are set out. A series of formal proofs of theorems relative to objects of Dimensions 1 and 2 are worked through. A proof that four colours are sufficient to colour any five area map is given in illustration. I know most/all will think all the above impossible, and necessarily the work of some crazy. If it is wrong I believe it is wrong in interesting ways. The underlying idea is easily grasped without working through the theorems given, so I would be grateful to hear from anyone as to why it is wrong - and not simply because it must be so.
Create a lesson
Related papers
The universal measure of nonstochastic objects
Vladimir Vovk
Hyperarithmetic directions can all be exceptional for Marstrand's projection theorem
Noam Greenberg, Daniel Turetsky
Open Problems in Mathematical Logic
George Barmpalias, Su Gao, Jialiang He et al.
An easy proof that there may be no P-points
David Chodounský, Osvaldo Guzmán, Jonathan Verner
Comments on Choiceless Chain Conditions
Constance Bromham, Asaf Karagila
Localic Esakia Duality via Conic Frames
Nesta van der Schaaf