PhilSci Archive

Items where Author is "Penchev, Vasil"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 10.


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.


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.