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) - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail (Preprint/Prepublication) Année : 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)

Vasil Penchev
  • Fonction : Auteur
  • PersonId : 1102546
Fichier principal
Vignette du fichier
Gödel mathematics versus Hilbert mathematics.pdf (707.09 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03928779 , version 1 (07-01-2023)

Identifiants

Citer

Vasil Penchev. 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). 2023. ⟨hal-03928779⟩
8 Consultations
84 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More