Keyword:Hilbert arithmetic

Publications
Hilbert Mathematics Versus (or Rather “Without”) Gödel Mathematics: V. Ontomathematics! Vasil Penchev EasyChair Preprint 13069
Logic, Mathematics, Physics: from a Loose Thread to the Close Link or What Gravity Is for Both Logic and Mathematics Rather than Only for Physics Vasil Penchev EasyChair Preprint 11121
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 10610
Gödel Mathematics Versus Hilbert Mathematics. I. the Gödel Incompleteness (1931) Statement: Axiom or Theorem? Vasil Penchev EasyChair Preprint 9073
Gentzen’s “Cut Rule” and Quantum Measurement in Terms of Hilbert Arithmetic. Metaphor and Understanding Modeled Formally Vasil Penchev EasyChair Preprint 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 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
Quantum Phenomenology as a “Rigorous Science”: the Triad of Epoché and the Symmetries of Information Vasil Penchev EasyChair Preprint 6140
“Two bits less” after quantum-information conservation and their interpretation as “distinguishability / indistinguishability” and “classical / quantum” Vasil Penchev EasyChair Preprint 5952
The “Noncausal Causality” of Quantum Information Vasil Penchev EasyChair Preprint 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 3911