Einzelposting: Logik und Ideen
Links hierher: | http://www.animexx.de/forum/thread_5380880/-1/13311959023732/ http://desu.de/-hCJMz_ |
|
|||||||
Hatte Brechdurchfall, war also außer Gefecht, muss mich erst wieder einlesen... Nur soviel schon vorab: >Bei der ZFC ist anerkannt, das Gödels Unvollständigkeit auch auf >sie zutrifft - es ist nur so, das derzeit noch kein Satz bekannt >ist, der den Widerspruch erzeugt. Das ist, glaube ich, etwas irreführend formuliert... Es ist anerkannt, dass man zur Zermelo-Fraenkel-Mengenlehre (ZF) das Auswahlaxiom (C) dazunehmen kann - oder seine Verneinung. Ob es dazu gehört, ist ein untentscheidbares Problem (Gödel) - und damit ist doch schon der Widerspruch da: laut klassischer Logik muss C entweder 'wahr' oder 'falsch' sein, dann ist entweder ZF-mit-C 'wahr' oder ZF-mit-Verneinung-von-C 'wahr'. Da sich aber beide fehlerlos bedienen lassen, muss ZF unvollständig (und gewissermaßen widersprüchlich) sein, da es ja offenbar eine falsche Aussage 'schluckt', ohne zu mucken... (Den Rest muss ich erst lesen und darüber nachdenken...) --- Wer einmal etwas wirklich gutes und hochstehendes lesen möchte (^_^): Allvaters Wege http://animexx.onlinewelten.com/fanfiction/autor/14916/136116/334795/html/ |