Authors: Colin James III
Comments: 1 Page. © Copyright 2019 by Colin James III All rights reserved. Note that Disqus comments here are not read by the author; reply by email only to: info@cec-services dot com. Include a list publications for veracity. Updated abstract at ersatz-systems.com.
We evaluate the seminal proposition of the four color theorem which is not tautologous. This refutes the 1976 and 1996 proofs of subcases from inference by induction. These results form a non tautologous fragment of the universal logic VŁ4.
Authors: Volker Thürey
Comments: 8 Pages.
We present some thoughts about a coloring of an arbitrary map.
Authors: Vatolin Dm.
Comments: 14 Pages. Russian
An unconditional argument for the truth of the continuum hypothesis found