6. Aufgabe :
[ Nichtstandardmodelle, 5P ] Zeigen Sie, dass es Nichtstandardmodelle für die Peano-Axiome gibt (Folie 220) . D.h. zeigen sie, dass es eine Interpretation gibt, die die Menge P der Peano-Axiome erfüllt, die aber nicht isomorph zu den natürlichen Zahlen ist.
Hinweis:
www-madlener.informatik.uni-kl.deExercise 6 :
[ Non standard models, 5P ] Prove that there are non-standard-models for the Peano axioms ( slide 220 ). I.e. prove that there is an interpretation that satisfies the Peano axioms but that is not isomorphic to N.
Hint:
www-madlener.informatik.uni-kl.deExercise 6 :
[ Non standard models, 5P ] Prove that there are non-standard-models for the Peano axioms ( slide 220 ). I.e. prove that there is an interpretation that satisfies the Peano axioms but that is not isomorphic to N.
Hint:
www-madlener.informatik.uni-kl.de6. Aufgabe :
[ Nichtstandardmodelle, 5P ] Zeigen Sie, dass es Nichtstandardmodelle für die Peano-Axiome gibt (Folie 220) . D.h. zeigen sie, dass es eine Interpretation gibt, die die Menge P der Peano-Axiome erfüllt, die aber nicht isomorph zu den natürlichen Zahlen ist.
Hinweis:
www-madlener.informatik.uni-kl.deMöchtest du ein Wort, eine Phrase oder eine Übersetzung hinzufügen?
Sende uns gern einen neuen Eintrag.Hier kannst du uns Verbesserungen dieses PONS-Eintrags vorschlagen:
Wie kann ich Übersetzungen in den Vokabeltrainer übernehmen?
Bitte beachte, dass die Vokabeln in der Vokabelliste nur in diesem Browser zur Verfügung stehen. Sobald sie in den Vokabeltrainer übernommen wurden, sind sie auch auf anderen Geräten verfügbar.