Showing 1–2 of 2 results for author: Derichs, J

The incompleteness of an incompleteness argument

Authors: Joachim Derichs

Abstract: 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 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 △ Less

Submitted 1 July, 2020; v1 submitted 18 April, 2019; originally announced April 2019.

MSC Class: 03B25; 03B99

Restructuring Logic

Authors: Joachim Derichs

Abstract: The outline of a programme for restructuring mathematical logic. We explain what we mean by "restructuring" and carry out exemplary parts of the programme. The outline of a programme for restructuring mathematical logic. We explain what we mean by "restructuring" and carry out exemplary parts of the programme. △ Less

Submitted 11 March, 2014; originally announced March 2014.

MSC Class: 03-02