Keyword:Peano arithmetic

Publications
Gödel Mathematics Versus Hilbert Mathematics. I. the Gödel Incompleteness (1931) Statement: Axiom or Theorem? Vasil Penchev EasyChair Preprint 9073
Peano Arithmetic and muMALL: an Extended Abstract Matteo Manighetti and Dale Miller EasyChair Preprint 8826
Fermat’s Last Theorem Proved in Hilbert Arithmetic. III. the Quantum-Information Unification of Fermat’s Last Theorem and Gleason's Theorem Vasil Penchev EasyChair Preprint 8280
Fermat’s Last Theorem Proved in Hilbert Arithmetic. II. Its Proof in Hilbert Arithmetic by the Kochen-Specker Theorem with or Without Induction Vasil Penchev EasyChair Preprint 7933
Fermat’s Last Theorem Proved in Hilbert Arithmetic. I. from the Proof by Induction to the Viewpoint of Hilbert Arithmetic Vasil Penchev EasyChair Preprint 7525
Hilbert Arithmetic as a Pythagorean Arithmetic: Arithmetic as Transcendental Vasil Penchev EasyChair Preprint 6365
The Relationship of Arithmetic as Two Twin Peano Arithmetic(s) and Set Theory: a New Glance from the Theory of Information Vasil Penchev EasyChair Preprint 3911
The Quantum Strategy of Completeness: on the Self-Foundation of Mathematics Vasil Penchev EasyChair Preprint 3387
What Is Quantum Information? Information Symmetry and Mechanical Motion Vasil Penchev EasyChair Preprint 3327
A Mathematical Model of Quantum Computer by Both Arithmetic and Set Theory Vasil Penchev EasyChair Preprint 3256
From the Four-Colors Theorem to a Generalizing “Four-Letters Theorem”: a Sketch for “Human Proof” and the Philosophical Interpretation Vasil Penchev EasyChair Preprint 3194