Formale Systeme, ehrlich erklärt
Eine klarere interaktive Seite über formale Systeme, Axiome, Ableitungen, Konsistenz und warum Unvollständigkeit entsteht.
Dies ist ein spielerischer Simulator formaler Systeme. Er beweist Gödel-Theoreme nicht direkt. Er hilft dir zu sehen, was Axiome tun, wie Ableitungen wachsen und warum „mehr Axiome hinzufügen“ die Unvollständigkeit nicht magisch beseitigt.
Jeder Schritt unten ist entweder ein Startaxiom oder eine abgeleitete Aussage, die vom Spielzeugmotor erzeugt wurde.
Dies sind die Aussagen, die der Simulator als Nächstes aus den aktuellen Axiomen und bereits bekannten Aussagen ableiten kann.
Ein formales System beginnt mit Axiomen und verwendet Inferenzregeln, um Theoreme abzuleiten. Die entscheidende Frage ist nicht nur, was abgeleitet werden kann, sondern auch, was nicht abgeleitet werden kann, ohne die Konsistenz zu brechen.
Gödel kodierte Formeln und Beweise als Zahlen und konstruierte dann einen Satz, der effektiv sagt: „Ich bin in diesem System nicht beweisbar.“ Wenn das System konsistent ist, kann dieser Satz innerhalb des Systems nicht bewiesen werden und ist in der beabsichtigten Interpretation dennoch wahr.
Diese Seite modelliert einen kleinen Regelmotor, damit du sehen kannst, wie Axiome eine Theorie erweitern. Sie implementiert weder vollständige Prädikatenarithmetik erster Stufe noch Gödel-Nummerierung oder echte Beweisprüfung. Sie ist eine konzeptionelle Brücke, kein Beweisassistent.