Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
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
Copyright © 2012-2024 easychair.org. All rights reserved.