Re: Vertreter der "anerkannten Seite" ohne kreativen Beitrag sind nicht erwünscht
Geschrieben von Realo am 03. Mai 2001 13:24:53:
Als Antwort auf: Re: Vertreter der geschrieben von Dr. Peter Augustin am 03. Mai 2001 12:09:36:
> An David: Logische Widersprüche dürfen laut
> Dialektik sein. Günther hat das mehrwertige
> Logik genannt.Falsch! Mehrwertige Logik (fuzzy logic) fuehrt nicht zu Widerspruechen sondern ersetzt die Begriffe "wahr" oder "falsch", repraesentiert durch die diskreten Zahlen 0 oder 1 durch ein Kontinuum (0,1).
Fuzzy Logic ist eine Logik ueber "Fuzziness" und
nicht eine Logik die selbst "fuzzy" ist.
Genauso wie die Wahrscheinlichkeitsgesetzte nicht
beliebig sind, ist "fuzziness" klar definiert.> Auch in der Mathematik gibt es logische
> Widersprüche, die vor allem von Cantor auf
> gedeckt wurden. Er hat z.B. gefunden, daß die
> rationalen Zahlen oder Brüche nicht dicht sind
> auf dem Zahlenstrahl und noch unendlich viele
> Lücken haben.Und wo soll hier bitte ein logischer Widerspruch sein?
Sie spielen auf den Begriff der Maechtigkeit unendlicher Mengen an. So ist z.B. die Menge der rationalen Zahlen eine abzaehlbare Menge, waehrend
die der reellen Zahlen die Maechtigkeit des Koontinuums besitzt. Es gibt daher keine 1 zu 1 Zuordnung zwischen Elementen beider Mengen.
Cantor hat diese Sache mathematisch bewiesen.
Sonst nichts!
Einen logischen Widerspruch gibt es selbstverstaendlich NICHT!> Ich rate einmal "Gödel, Escher; Bach" zu lesen und mein Buch über die Wasseroberfläche und Dialektik.
Das ist nun ausnahmsweise einmal ein guter Literaturhinweis. Der Autor ist uebrigens Hofstadter. Es ist ein nicht ganz einfach zu lesendes Buch, in dem u.a. der Satz von Goedel
bewiesen wird. Mit Goedel wird uebrigens auch haeufig von Leuten, denen die mathematische Basis fehlt, Missbrauch getrieben. Es kommt manchmal zu
den aberwitzigsten Behauptungen.Goedels zweiter Satz besagt ueberigens nur, dass es in einem widerspruchfreien System unmoeglich ist, diese Eigenschaft durch Mittel zu beweisen, die innerhalb des Systems selbst formalisierbar sind.
Gruss,
Realo