"Zeigen sie das die Menge der falschen arithmetischen Formeln nicht rekursiv aufzaehlbar ist"

Hab eigentlich das Gefuehl kurz vor der Loesung zu stehen, vielleicht
hab ich auch nen komplett falschen Ansatz.

Menge der wahren arith. Formel ist ja nicht rekursiv aufzaehlbar,
rekursiv aufzaehlbar also semi-entscheidbar, und wenn man jetzt annehmen wuerde dass die falschen arith. Formeln rek-aufzaehlbar sind
sollte man wohl einen Widerspruchsbeweis fuehren koennen?!

EditTri: Topictitel ;)

keiner ne idee? schnüff :-/

du stellst immer so Fragen ;)

ich zum Beispiel weiss nicht mal was du überhaupt mit 'falschen arithmetischen Formeln' meinst
(nicht dass das helfen würde)

Ich vermute mal eine wahre arithmetische Formel ist: 1+1=2 und eine falsche ist 1+1=3, wenn man sich im üblichen Körper der rationalen Zahlen aufhält.

http://www.informatik.uni-leipzig.de/ ~brewka/papers/Entscheidbarkeit.doc

In dem Skript wird doch gezeigt, dass die wahren arithmetischen
Formeln nicht rekursiv aufzaehlbar sind. Und das wird getan indem
gezeigt wird, dass sie dann schon entscheidbar wären. Den Beweis
kann man leicht anpassen für die falschen arithmetischen Formeln:
du zeigst ganz analog, dass die Menge der falschen arithmetischen
Formeln dann bereits entscheidbar wäre.