Number of items: 10.
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.
This list was generated on Sat Apr 1 23:39:15 2023 EDT.