Prädikate und Gödelzahlen |
05.06.2021, 13:22 | Mausezahn | Auf diesen Beitrag antworten » |
Prädikate und Gödelzahlen Ich habe Probleme bei folgender Aufgabe, zumal wir in der VL dazu nur wenig hatten. Gegeben ist ein korrektes System L mit folgenden Eigenschaften: 1.) ist ein Prädikat, das die Menge A ausdrückt. 2.) Falls ein Prädikat ist, dann ist auch ein Prädikat und beschreibt das Komplement der Menge zu 3.) Falls ein Prädikat ist, dann ist auch ein Prädikat. A ist die von ausgedrückte Menge, die von Verwenden Sie dabei: I.) Falls in L ausdrückest ist, hat M einen Gödelsatz. II.) Falls die Menge in L ausdrückest ist, dann gibt es einen wahren, nicht beweisbaren Satz in L. a.) Bestimmen Sie zwei Zahlen a, b mit a und b gleich oder verschieden und , so dass ein wahrer Satz ist, der in L nicht beweisbar ist. b.) Zu zeigen ist, dass es unendlich viele Paare gibt, so dass wahr aber nicht beweisbar ist. c.) Es sei ein Prädikat. Bestimmen Sie c und d so, dass ein Gödelsatz für die von ausgedrückte Menge ist. Bisher habe ich nur das angehängtes Bild als Hilfestellung gemalt und überlegt, dass in Bezug auf sein müsste. Da dies nicht zu entspricht, müsste dies in der Menge und nicht der komplementären Menge liegen. Bin für jeden Tipp dankbar! |
||
05.06.2021, 18:22 | Elvis | Auf diesen Beitrag antworten » |
Klingt sehr interessant. Welche Literatur hast du dazu ? |
||
05.06.2021, 19:54 | Mausezahn | Auf diesen Beitrag antworten » |
Leider keine.😕 |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |
|