Keyword:Hilbert arithmetic

Papers
Hilbert Mathematics Versus Gödel Mathematics. IV. the New Approach of Hilbert Mathematics Easily Resolving the Most Difficult Problems of Gödel Mathematics Vasil Penchev EasyChair Preprint no. 10610
Gödel Mathematics Versus Hilbert Mathematics. I. the Gödel Incompleteness (1931) Statement: Axiom or Theorem? Vasil Penchev EasyChair Preprint no. 9073
Gentzen’s “Cut Rule” and Quantum Measurement in Terms of Hilbert Arithmetic. Metaphor and Understanding Modeled Formally Vasil Penchev EasyChair Preprint no. 8545
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 no. 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 no. 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 no. 7525
Hilbert Arithmetic as a Pythagorean Arithmetic: Arithmetic as Transcendental Vasil Penchev EasyChair Preprint no. 6365
Quantum Phenomenology as a “Rigorous Science”: the Triad of Epoché and the Symmetries of Information Vasil Penchev EasyChair Preprint no. 6140
“Two bits less” after quantum-information conservation and their interpretation as “distinguishability / indistinguishability” and “classical / quantum” Vasil Penchev EasyChair Preprint no. 5952
The “Noncausal Causality” of Quantum Information Vasil Penchev EasyChair Preprint no. 5859
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 no. 3911