Keyword:incompleteness

Papers
Gödel Mathematics Versus Hilbert Mathematics. I. the Gödel Incompleteness (1931) Statement: Axiom or Theorem? Vasil Penchev EasyChair Preprint no. 9073
From the Four-Colors Theorem to a Generalizing “Four-Letters Theorem”: a Sketch for “Human Proof” and the Philosophical Interpretation Vasil Penchev EasyChair Preprint no. 3194