Forum: Klatsch und Tratsch
by JasonDX,
25. Jan 2016
Deswegen versuchen wir auch, unsere Systeme konsistent zu halten. Ich verwende allerdings nur ungern die Implikation beim Kombinieren von Axiomen. Axiome sind eher vergleichbar mit einer Vektorbasis. Wenn man dann Axiome kombiniert, spannen diese die Menge der in dem System beweisbaren Aussagen auf.
Kurz gesagt: Axiome sind Annahmen. Wie definierst du aber, dass eine Annahme falsch ist? Dafür...
Forum: Klatsch und Tratsch
by JasonDX,
25. Jan 2016
Korrekt. Ironischerweise werden mit inkonsistenten/falschen Annahmen alle Schlüsse richtig. Mael's Aussage wäre folgendermaßen korrekt:
"Sind die Annahmen falsch, sind die Schlüsse nutzlos".
In einem inkonsistenten System ist sowohl eine Aussage, als auch ihre Negation beweisbar. D.h. mit 1=2 kann man 3=3 beweisen, aber auch 3<>3.
Zum Thema orientiere ich mich mal an der Überschrift:...