29-03-2017, 14:30
Werter Ekkard!
Auf diese Weise ist bewiesen, dass Wahrheit mehr als formale Beweisbarkeit ist. Und der Witz ist, dass die Beweise für diese Tatsachen streng formal sind, so dass sie auch Leuten wie Ihnen zugänglich sein sollten.
Mit freundlichem Gruß
Gast
Ekkard schrieb:Nö!Dann haben Sie, mit Verlaub, wenig Ahnung von den Ergebnissen der Logik in den letzten gut 100 Jahren. Es ist beispielsweise bekannt, dass es zu jedem "durch ein Verfahren aufzählbaren" (kann man präzisieren) Axiomensystem der Arithmetik wahre/gültige arithmetische Aussagen gibt, die sich nicht aus diesem Axiomensystem ableiten lassen sowie, dass es kein formales Verfahren gibt, mit dessen Hilfe man alle wahren arithmetischen Aussagen aufzählen oder zu einer beliebigen gegebenen Aussage in endlicher Zeit entscheiden kann, ob sie wahr ist.
Auf diese Weise ist bewiesen, dass Wahrheit mehr als formale Beweisbarkeit ist. Und der Witz ist, dass die Beweise für diese Tatsachen streng formal sind, so dass sie auch Leuten wie Ihnen zugänglich sein sollten.
Mit freundlichem Gruß
Gast