Der Artikel untersucht die Beziehungen zwischen den rekursiv definierten Prädikaten der Beweisbarkeit (Pf(x, v)) und der Widerlegbarkeit (Rf(x, v)) in der formalen Arithmetik.
Es wird gezeigt, dass die beiden Prädikate nicht gleichzeitig für eine Formel α gelten können (Lemma 1). Außerdem werden Zusammenhänge zwischen den charakteristischen Funktionen der beiden Prädikate herausgearbeitet (Lemma 2-4).
Diese Erkenntnisse ermöglichen ein tieferes Verständnis der Unvollständigkeit formaler Systeme. Die übliche Argumentation zur Unentscheidbarkeit wird erweitert, indem die Existenzaussagen über Beweise und Widerlegungen genauer analysiert werden. Es zeigt sich, dass Unentscheidbarkeit nicht zwangsläufig aus der Unendlichkeit der Formeln folgt, sondern durch die Wechselbeziehung zwischen Beweisbarkeit und Widerlegbarkeit erklärt werden kann.
Naar een andere taal
vanuit de broninhoud
arxiv.org
Belangrijkste Inzichten Gedestilleerd Uit
by Paola Cattab... om arxiv.org 04-08-2024
https://arxiv.org/pdf/2404.04038.pdfDiepere vragen