Preprint

Penchev, Vasil (2023) Gödel mathematics versus Hilbert mathematics. II Logicism and Hilbert mathematics, the identification of logic and set theory, and Gödel’s “completeness paper” (1930). [Preprint]

Penchev, Vasil (2022) Gödel mathematics versus Hilbert mathematics. I The Gödel incompleteness (1931) statement: axiom or theorem? [Preprint]

Penchev, Vasil (2022) Gentzen’s “cut rule” and quantum measurement in terms of Hilbert arithmetic. Metaphor and understanding modeled formally. [Preprint]

Penchev, Vasil (2020) From the four-color theorem to a generalizing “four-letter theorem”: A sketch for “human proof” and the philosophical interpretation. [Preprint]

Penchev, Vasil (2020) A reductionist reading of Husserl’s phenomenology by Mach’s descriptivism and phenomenalism. [Preprint]

Penchev, Vasil (2020) All science as rigorous science: the principle of constructive mathematizability of any theory. [Preprint]

Penchev, Vasil (2020) Skolem’s “paradox” as logic of ground: The mutual foundation of both proper and improper interpretations. [Preprint]

Penchev, Vasil (2019) Poincaré's conjecture proved by G. Perelman by the isomorphism of Minkowski space and the separable complex Hilbert space. [Preprint]

Conference or Workshop Item

Penchev, Vasil (2015) Quantum information as the information of infinite series. In: UNSPECIFIED.

Other

Penchev, Vasil A complement to "Fermat's last theorem proved by induction". UNSPECIFIED.