Keyword:set theory

Papers
Hilbert Mathematics Versus (or Rather “Without”) Gödel Mathematics: V. Ontomathematics! Vasil Penchev EasyChair Preprint no. 13069
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) Vasil Penchev EasyChair Preprint no. 9551
Gödel Mathematics Versus Hilbert Mathematics. I. the Gödel Incompleteness (1931) Statement: Axiom or Theorem? Vasil Penchev EasyChair Preprint no. 9073
Generating Custom Set Theories with Non-Set Structured Objects Ciarán Dunne, Joe Wells and Fairouz Kamareddine EasyChair Preprint no. 5663
The Godel Incompleteness Theorems (1931) by the Axiom of Choice Vasil Penchev EasyChair Preprint no. 3855
A Mathematical Model of Quantum Computer by Both Arithmetic and Set Theory Vasil Penchev EasyChair Preprint no. 3256
From the Four-Colors Theorem to a Generalizing “Four-Letters Theorem”: a Sketch for “Human Proof” and the Philosophical Interpretation Vasil Penchev EasyChair Preprint no. 3194
What Does This Notation Mean Anyway? BNF-style notation as it is actually used David Feller, Joe Wells, Sébastien Carlier and Fairouz Kamareddine EasyChair Preprint no. 380
Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo Guillaume Bury, David Delahaye, Damien Doligez, Pierre Halmagrand and Olivier Hermant In:LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations