arXiv Open Access 2019

The incompleteness of an incompleteness argument

Joachim Derichs

Lihat Sumber

Abstrak

Gödel's argument for the First Incompleteness Theorem is, structurally, a proof by contradiction. This article intends to reframe the argument by, first, isolating an additional assumption the argument relies on, and then, second, arguing that the contradiction that emerges at the end should be redirected to refute this initial assumption rather than the completeness of number theory

Topik & Kata Kunci

math.LO

Penulis (1)

Joachim Derichs

Format Sitasi

APA MLA BibTeX

Derichs, J. (2019). The incompleteness of an incompleteness argument. https://arxiv.org/abs/1904.08417

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2019
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓