Kurt Gödel’s first steps in logic: formal proofs in arithmetic and set theory through a system of natural deduction

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Sammanfattning

What seem to be Kurt Gödel’s first notes on logic, an exercise notebook of 84 pages, contains formal proofs in higher-order arithmetic and set theory. The choice of these topics is clearly suggested by their inclusion in Hilbert and Ackermann’s logic book of 1928, the Grundzüge der theoretischen Logik. Such proofs are notoriously hard to construct within axiomatic logic. Gödel takes without further ado into use a linear system of natural deduction for the full language of higher-order logic, with formal derivations closer to one hundred steps in length and up to four nested temporary assumptions with their scope indicated by vertical intermittent lines.
Originalspråkengelska
TidskriftBulletin of Symbolic Logic
Volym24
Utgåva3
Sidor (från-till)319-335
Antal sidor17
ISSN1079-8986
DOI
StatusPublicerad - 2018
MoE-publikationstypA1 Tidskriftsartikel-refererad

Vetenskapsgrenar

  • 611 Filosofi

Citera det här