|
Hier ein (umstrittener) Beweis, den ein gewisser sigi im Artikel haben möchte:ArtikelVorschlag Und hier die Reaktionen darauf: Die Darstellung mag brillant sein. Mir ist sie zu umfangreich. Die Kleinschreibung ermuntert meine Lesefreudigkeit nicht. Straffung, Kürzung mancher ans Epische erinnernder Stellen und mehr Verweise wären wünschenswert. Und eine Gliederung: Information - möglichst deutliche Darstellung des Problems - deutliche Darstellung der Problemlösung sollte genügen. --Wst
zu Wst: die grund_idee des vier_farben_beweises mit hilfe des zwei_bäume_prinzips (nur zwei farben): betrachten wir zwei knoten A und B die über einen knoten 1 miteinander verbunden sind. A - 1 - B 1 sei per definition immer weiss. wenn nun ein weisses A ungeachtet der übrigen knoten immer ein weisses B erzwingt dann gilt auch die umgekehrte deutung dass ein weisses B immer ein weisses A erzwingt (da ja keine richtung bevorzugt ist). A und B können dann also immer nur gleichzeitig weiss oder gleichzeitig schwarz sein. der rest ist einfach. (vielleicht sollte man noch mal darauf hinweisen dass nur baum- und nicht ringstrukturen als lösungen gelten.) --sigi zu Schewek: ich gebe dir 1000 euro wenn du mir beweisen kannst dass das nur ein scherz (also falsch ist). wenn du das nicht kannst möchte ich 500 euro von dir. ist das ein angebot? -- sigi Ich bin kein Mathematiker oder Graphentheoretiker, kann den Beweis also nicht widerlegen. Kannst Du sagen, wo der Beweis veröffentlicht ist? So, wie er da steht, ist das nicht formal genug, dass man das einen Beweis nennen könnte. --Schewek Ein Beweis muss nicht notwendigerweise formal aufgeschrieben sein, auch wenn das letztendlich recht mühsam ist. Bin aber auch der Meinung, dass in die Wikipedia keine mathematischen Beweise von diesem Kaliber gehören. Für sowas wäre ein MatheWiki besser geeignet. --Flups Nochmal etwas klarer: Es ist nicht wichtig, ob der Beweis richtig oder falsch ist. Die Wikipedia ist ein Nachschlagewerk, und kann demnach nur \"etabliertes Wissen\" beinhalten. Und, das sehe ich so wie Flups, der Beweis selber gehört hier nicht hin, nur die Beweisidee (falls man die verständlcih darstellen kann) und ein Verweis auf die Originalveröffentlichung. Auch der \"tick\" der Kleinschreibung ist nicht akzeptabel, da die Wikipedia sich an die neue Rechtschreibung halten will. Ich denke, der Beweis sollte aud dem Artikel wieder raus, oder, falls es eine Veröffentlichung gibt, mit Verweis drinbleiben. --Schewek Also ich schließe mich der Meinung an, dass die Wikipedia nicht der richtige Platz ist, einen ungeprüften neuen Beweis, der noch dazu ob der Geschichte des Problems einigermaßen dubios anmuten muss, zu veröffentlichen. Der richtige Platz, sowas zu diskutieren wäre die Newsgroup de.sci.mathematik. Davon abgesehen, lieber sigi: Ich hab mich jetzt wirklich bemüht - aber der Beweis ist vollkommen unverständlich. Soweit ich verstanden habe, teilst Du die Knoten des planaren Graphen in zwei Gruppen, wobei die eine einen Baum und die andere einen Wald bilden soll. Diese färbst Du dann alternierend mit je zwei Farben. So weit so gut. Wie dieser Baum aber konkret konstruiert wird, verschließt sich mir. Z.B. schreibst Du "nun ist es ja so dass bei einem neu abgetrennten land (nennen wir es N) immer zwei länder der nachberschaftskette (nennen wir sie L und R (für links und rechts)) sowohl mit |1| als auch mit N verbunden bleiben". Das ist definitiv falsch, z.B. für das erste abgetrennte Land, das ja gar keine Nachbarn (abgesehen von |1|) haben kann. --Rade Kutil für die drei ersten länder hast du recht aber wir fangen mit vier an.
lieber rade kutil
zu "es gibt keinen vorgegebenen inhalt": Natürlich haben wir inhaltliche Vorgaben. Wir wollen eine Enzyklopädie erstellen und haben ein Kriterium, dem sich alles andere unterzuordnen hat, den neutralen Standpunkt. Und ich denke es ist Konsens, dass so ein schwerverständlicher Beweis nicht in eine Enzyklopädie gehört. Schreib eine kurze Zusammenfassung, etwas zur Geschichte seiner Entstehung o.ä. und einen Link/Literaturangabe zu einer Veröffentlichung. Das ist dann ein Teil eines Enzyklopädie-Eintrages. --Kurt Jansson
Sigi, deine "Umkehrung der Induktion" wird normalerweise "backward chaining" (vom Ziel zum Ausgangspunkt durch logisches Schließen) genannt und hat mit Induktion nichts zu tun. "Wenn man annimmt, dass eine gültige Färbung existiert, dann kann man die Kombination auf n - 1 reduzieren " - Ja, wenn man das annimmt, allerdings kann man so gar nicht zu einer Aussage kommen (denk mal an Münchhausen :) ). Du beweißt mit einer Annahme die Annahme selber. Bei einer solchen Induktion wäre dann nur ein Induktionsbeweiß "drin", also in der Art: Es existiert ein planarer Graph, der nicht vierfärbbar ist. Die Aussage sollte dann zu einem Widerspruch führen. Deine Methode ist, wie leicht einsehbar ist, falsch: Entferne alle Knoten bis auf einen, der entstehende Graph ist vierfärbbar, also ist es der ursprüngliche auch. Oder verstehe ich überhaupt nicht, worauf du hinaus willst? Du müsstest eine Operation finden, die die Vierfärbbarkeit des Graphen nicht verändert, unabhängig von einer Voraussetzung, ob er vierfärbbar ist.
Lieber sigi:
nochmal zum löschen:
zu: färbung muß gleich bleiben (von vulture) siehst du die ganze diskussion hat sich schon gelohnt denn in der tat: bei einer reduktion darf sich die färbung aller übriggebliebenen knoten nicht verändern sonst ist natürlich die ganze logik hinüber. also versuch dein glück und der beweis gehört dir. nein halt - er gehört natürlich nicht dir denn nur was keinem gehört kann allen gehören. was aber allen gehört gehört jedem. also gehört er doch dir. (das ist jetzt keine logik sondern dialektische entwicklung.) leider kann ich nur sporadisch ins internet und deshalb liebe leute tut mir leid aber zu den meisten kommentaren kann ich nur sagen: wie aufregend! aber wir reden natürlich weiter.
die anfängliche beweisbeschreibung oder wie auch immer ihr das nennen wollt
Sigi, lieber schewek bisher dachte ich immer eine kugel wäre eine unendliche ebene :) jedenfalls kannst du dir die verbindungen zwischen den knoten auch als gummischnüre vorstellen und das ganze problemlos über eine kugel ziehen. topologisch ändert sich dadurch nichts. interessant ist aber trotzdem dass sich so z.b. für zwei bäume (du erinnerst dich (sie bestehen jeweils aus den farben 1|2 bzw. 3|4)) sehr gut zeigen lässt dass sie immer senkrecht aufeinander stehen. das allein reicht eigentlich gemäß Peter Plichta (ich weiß nicht ob du den kennst) schon zum beweis aus. -- sigi
Unsinn! Topologisch ändert sich ne ganze Menge. Auf dem Torus brauchst Du 7 Farben! --Schewek
ach ja der torus: versuchs doch mal mit schere und kleber. --sigi Aha, ein Plichta-Jünger, jetzt wird mir einiges klar... --Flups
Sigi ist:
schewek ist kein mathematiker (wahrscheinlich studiert er noch mathematik).
ich bin kein plichta-jünger (der mann ist mir zu groß (eine gewisse verwandschaft vielleicht..)). wenn ich denn ein vorbild nennen sollte so wäre das richard stallman. aber ehe ihr weiter unqualifizierte vermutungen darüber anstellt wer ich bin sage ich es euch lieber selber. ich bin ein wiki. ich möchte mich unseren sponsoren (die uns praktisch unbegrenzten speicherraum zur verfügung gestellt haben) gegenüber erkenntlich zeigen und deshalb stelle ich wiki diese beiden beweise zur verfügung. ausdrücklich mit dem zusatz dass es keine rolle spielt woher sie kommen. sie gehören jetzt wiki und jeder hinweis auf meine person sollte tunlichst gelöscht werden. wenn schon ein urheber dann jehova oder von mir aus auch peter plichta (als geistiger pate (der link_einbau gefällt mir. gute arbeit)). im ernst - überlegt doch mal was passiert wenn sich diese beweise (vor allem der kurzbeweis) als richtig herausstellen (ob sie auf anhieb anerkannt werden kann ich nicht sagen - jedenfalls sind sie völlig neuartig und auf keinen fall zu widerlegen). also dann wäre die sensation doch perfekt und wiki in aller munde. wiki (laut satzung offen für jedes outsider-wissen) hat hier nichts zu verlieren aber alles zu gewinnen. die rechtschreibung ist kein hindernis. dann geht eben jemand hin und ändert das. wär ich sogar dankbar für obwohl ich es selber aus ästhetischen gründen nicht bringen würde. --sigi
um die ganze diskussion hier zu einem vernünftigen abschluss zu bringen schlage ich vor (wiederholung ist einprägend) die anfängliche beweisbeschreibung nach \"Neuere Beweise (BeweisBeschreibungen) für das 4FarbProblem\" zu verschieben. zusammen mit dem kurzbeweis (ein fall für rade kutil :). mit einer kurzen erklärung vorweg die das wesentliche aus dieser diskussion zusammenfasst (ich melde mich freiwillig). danach könnte man alles bisher gesagte löschen und eine neue runde eröffnen. bitte äußert euch kurz dazu.* (keine stellungnahme innerhalb von 14 tagen bedeutet bedingungslose zustimmung). --sigi
Gegenvorschlag: Richtig. --Rade Kutil Full ACK, wie sie im Usenet so schön sagen. :-) --Kurt Jansson
seid nicht so frech zu mir ihr geisterreiter. oder: freunde - etwas mehr entgegenkommen bitte. so viel ablehnung auf einmal ist ja schon direkt kränkend und wenn mich jemand kränkt dann werde ich krank. wollt ihr das wirklich? und dann von mir zu verlangen den vier-farben-satz einer wissenschaftlichen zeitschrift zu überliefern. (da käme ich mir ja vor wie judas der jesus an die pharisäer überlieferte und anschließend selbstmord beging.) nein - die sind doch etwas was wir überwinden wollen und sollten besser der vergangenheit angehören. ihr traut dem braten also nicht. vielleicht kann ich euch durch ein gleichnis plausibel machen dass die welt und die menschen im allgemeinen nicht dazu neigen neue wege zu gehen oder etwas wie die kinder neu oder gar zum ersten mal zu sehen. ihr alle habt wahrscheinlich in der schule den beweis des pythagoras nachvollzogen. ein wirklich kniffliges und raffiniertes ding und ich glaube kaum dass auch nur einer von euch ihn so mal eben aus der erinnerung heraus demonstrieren könnte. abgesehen von einer algebraischen variante des satzes hat sich seit 2500 jahren kaum jemand gefragt ob man ihn auch einfacher beweisen kann. nun - dann stellt euch mal ein rechtwinkliges dreieck mit seinen drei seitenquadraten vor und zieht einfach eine linie die rechtwinklig auf der grundlinie (längste seite) des dreiecks steht und die spitze schneidet (das ist die höhe). was erhaltet ihr? drei quadrate mit jeweils einem in der spitze rechtwinkligen dach darauf. da das nun drei ähnliche figuren sind gilt für die quadrate dasselbe wie für die dächer: die summe der beiden kleinen quadrate ergibt das große quadrat. doch wohin nun mit diesem beweis? ihr würdet ihn in die kuriositätenkiste stecken. peter plichta würde ihn höchst interessant finden. das ist der unterschied. noch seid ihr ja in der minderheit(3:4) aber selbst wenn es 6:1 stehen sollte gut dann bin ich eben überstimmt. doch was nützen uns überstimmte oder unzufriedene leute? (und glaubt ihr denn ich könnte nicht zwanzig leute aufbringen die gegen euch stimmen) noch einmal: was nützen uns überstimmte oder unzufriedene leute? wir sollten uns darauf einigen dass radikale löchaktionen nur einstimmig durchgeführt werden. kann sich die gruppe nicht einigen dann muss eben ein vermittler oder schiedsrichter eingeschaltet werden. natürlich müsste dieser von allen anerkannt werden. ihr seht es geht nicht ohne irgendeine grundsätzliche übereinstimmung und sei es die einigkeit darüber dass man sich einigen will. wer auch das ablehnt den kann man wohl kaum noch als einen menschen guten willens bezeichnen. eher als krank oder schlicht als böse. --sigi
Du hast keine Ahnung, wovon du redest. "abgesehen von einer algebraischen variante des satzes hat sich seit 2500 jahren kaum jemand gefragt ob man ihn auch einfacher beweisen kann." Schau mal zum Beispiel da: [1]. Ich glaube, du solltest dich noch etwas mehr mit mehr grundsätzlichen Dingen der Mathematik beschäftigen. Aber das spielt alles eigentlich gar keine Rolle, denn du hast leider nicht verstanden, was das hier eigentlich soll. Stell dir mal ein Lexikon vor, in dem ein neuer mathematischer Beweis veröffentlicht wird. Dies hier ist eben keine newsgroup, nicht geocities, keine Ansammlung von persönlichen Gedanken und Ansichten. Also unterm Strich, es geht nicht darum, ob dein Beweis richtig oder neu usw. ist, sondern darum, dass er einfach nicht hierher gehört. Sonst stell\" ich hier meine letzte Schachpartie rein ;) --Vulture
vielen dank für den link zu den beweisen. auf den ersten blick beeindruckend
Sigi, um unser Projektziel zu ändern kommst Du über ein Jahr zu spät. Wir wollen eine Enzyklopädie erstellen, und sonst nichts. Wenn Du gerne eine uferlose Wissenssammlung haben möchtest, dann lade Dir diese oder eine andere Wiki-Software runter (viele stehen unter der GNU GPL), und mach Dein eigenes Wiki auf. Kurt Jansson 12:05, 29. Aug 2002 (PDT) ich will das projektziel nicht ändern sondern erweitern - so dass jeder einen persönlichen zugang dazu haben kann. ich will auch keine uferlose wissenssammlung - sondern konkrete regeln wann etwas gelöscht wird. dein link auf \"Enzyklopädie\" ist ein witz. da steht nur: umfassendes wissen. außerdem will ich konstruktive vorschläge auf die man eingehen kann. --sigi
Wie kann eine \"...projektziel nicht ändern sondern erweitern...\" ohne Veränderung geschehen?
entschuldige bitte Lieber Sigi, warum habe ich den Verdacht, dass Du hier nur ein wennig herumtrollen willst? Weil Du noch keinen einzigen Artikel geschrieben hast? Weil Du noch an keinem einzigen Artikel konstruktiv mitgearbeitet hast? Weil Du, ohne hier mitgearbeitet zu haben, unser Projektziel ändern willst? Weil Deine Diskussionsbeiträge fast alle einen provozierenden Unterton haben? Weil Du zu faul bist, die Suchmaschine zu bedienen? --Kurt Jansson 16:20, 7. Sep 2002 (UTC)
lieber kurt Hallo Sigi, ich hab mich noch nie selber zitiert, also wird´s mal Zeit dazu ;) "Also unterm Strich, es geht nicht darum, ob dein Beweis richtig oder neu usw. ist, sondern darum, dass er einfach nicht hierher gehört." So einfach ist das. Hier wird kein neues Wissen geschaffen bzw. wissenschafliche Forschung betrieben. Außerdem weiß ich auch nicht, warum du hier deine Meinung zu soziologischen Themen verbreitest (Konsens, Gruppe, usw.), wo du doch ganz klar ein Mathematiker bist. --Vulture 14:51, 11. Sep 2002 (UTC)
Oh ja, weil´s so spaßig ist:
hallo vulture ich hatte nicht bedacht dass man das papier auf verschiedene weise schneiden kann. zudem ergibt ein einfacher versuch dass man auf dem torus mindestens fünf farben braucht. aber wieso sieben (und nicht vielleicht doch acht)? kannst du das beweisen? (ansonsten habt ihr nicht verifiziertes wissen veröffentlicht).zu deinen selbstzitaten habe ich mich wohl schon geäußert\" \"und wenn dir sonst nichts mehr dazu einfällt dann muss halt die geschichte zeigen\" \"wer hier unbelehrbar ist\" \"aber selber andere belehren will. nur eins noch: ich verbreite hier keine meinungen zu soziologischen themen sondern reagiere auf konkretes verhalten\" \"das ich hier bei einer konkreten gruppe von leuten antreffe (löschen und andere unfreundlichkeiten (gar nicht zu reden von solch gewaltig daherkommenden aber schlicht anmaßend frechen (ja fast schon rotzigen) behauptungen\" \"wie: das gehört nicht hierher (und das gegenüber jemandem der nun schon einiges an lebenserfahrung vorzuweisen hat(aber das gehört nicht hierher (merkst du den unterschied? nein natürlich nicht :))))). --sigi p.s. ich falle für eine woche aus.
irgend so ein mistkerl hat mein link \"Artikelvorschlag\" gelöscht. freunde so geht das nicht. wir sollten uns einig sein dass hier nicht anonym und willkürlich gelöscht werden darf. angesprochen sind: Vulture|Wst|Schewek|Flups|Rade Kutil|Kurt Jansson --sigi Das war Kurt und er hat recht damit, denn ArtikelVorschlag ist kein passender Titel. Dein Beweis ist natürlich noch immer in einer älteren Revision dieser Seite hier abrufbar und nicht verlorengegangen. Aber solange Du gegen die triftigen Gründe, den Beweis nicht in die Wikipedia aufzunehmen, keine vernünftigen Einwände bringst, macht es sowieso keinen Sinn, ihn wieder auszugraben. Triftige Gründe sind übrigens: (1) Beweise machen in der Wikipedia nur Sinn, wenn sie kurz sind und den Gegenstand erhellen. (2) Keine nicht-verifizierten Sachen in der Wikipedia. Und vielleicht noch: (3) Die äußere Form des Beweises ist für das Zielpublikum abschreckend. --Rade
zu "Das war Kurt": kurt jansson hat sich selbst gelöscht. - zu "Ich lösch hier nicht anonym": finde ich toll. sollte ich dich beleidigt haben bitte ich um entschuldigung. - zu "Dein Beweis ist natürlich ... abrufbar und nicht verlorengegangen.": in welcher form könnte ich ihn denn wieder ausgraben? und egal wie unter irgendeinem vorwand löscht ihr ihn doch wieder. was soll der schabernack? - zu "Keine nicht-verifizierten Sachen in der Wikipedia.": wieso sollte wikipedia kein verifizierungsinstrument sein. ich dachte immer dass genau zu diesem zweck das ganze wiki-programm überhaupt erst erfunden wurde. nicht wir sollten hier immer nur andere zitieren - (das reicht auf die dauer nicht zum überleben) sondern es wird zeit dass die anderen uns zitieren. - zu "den alten Hasen" du scheinst neu zu sein in dieser runde. aber egal ob neu oder alter hase: eines sollte bedacht werden (siehe auch: auszug OpenSourceIntelligence) alte hasen mögen ihre verdienste haben sie können sich aber auch als bremsklötze erweisen. grundsätzlich sollte im internet gelten: sei kommunikativ bis zum geht nicht mehr. --sigi
"bis zum geht nicht mehr" damit meinte ich natürlich kurt jansson. und warum musst du für ihn tätig werden? er kann sich doch hier selber wieder installieren wenn er noch wert darauf legt? --sigi Und wieso musst du ihn rauslöschen??? Löscht du mir meins, lösch ich dir deins? Extra für diese Altersgruppe kam auch schon der Vorschlag, eine Kinder-Wikipedia ins Leben zu rufen. -- Ben-Zin 19:36, 26. Sep 2002 (CEST)
... (hier stand kindergartenniveau. vom urheber gelöscht) ich habe eine hübsche idee: wir mailen die leute vom heise-verlag an und die c\"t bringt unsere diskussion als story: fix und fertig so wie sie steht (und gratis dazu). was sie überzeugen sollte: es ist etwas neues. eine durch die realität geschriebene geschichte. ein realer link. Tu dir keinen Zwang an ... Flups 22:49, 30. Sep 2002 (CEST)
wieso ich? ich hatte nur die idee. du sollst sie ausführen. --sigi
Sigi, ich glaube ich habe deinen Beweis verstanden und kann ihn widerlegen. (Obwohl der ich Meinung bin, dass die Diskussion zu einem Artikel zu einer unbewiesenen oder schwer beweisbaren Tatsache Beweisansätze beinhalten kann, die dann eben diskutiert werden.) Also: Du gehst davon aus, dass man jedes neu hinzukommene Land N so einfärben kann, dass wenn vorher kein Ring da war auch jetzt kein Ring da sein kann. Was aber, wenn dieses passiert:
N / / \ \ F1 - F2 - F2 - F1 Egal ob man nun N in F1 oder F2 einfärbt, es entsteht ein Ring, obwohl vorher keiner da war. Damit wäre die Allgemeingültigkeit des Verfahrens unterbrochen. (Und natürlich kann man eines der F1 oder F2 Länder nicht einfach umfärben, weil wir ja nicht wissen, was für Länder sonst noch daran angrenzen, und ob dabei nicht möglicherweise ein Ring entsteht.)
Weitere Mängel deiner Beweisfürung:
F1a - F1b |\ /| | F2a | |/ \| F1b - F1a Es gibt keinen Grund warum obige Konstruktion verboten sein sollte, nach deinem Ansatz ist sie es aber. -PatrickU
quellenangabe für "Ein guter Beweis liest sich wie ein Gedicht - dieser sieht aus wie ein Telefonbuch!" fehlt --hofoen
AbbildungDort steht, dass die Abbildung verdeutlicht, dass man 5 Farben benötigt. Das widerspricht nicht nur dem Satz, verdeutlicht vor allem aber nix. Ich finde es in der Abbildung sogar sehr leicht nachvollziehbar, dass man dort nur 4 Farben braucht, auch wenn in der Abbildung natürlich 5 verwendet werden. Stern !? 19:03, 8. Sep 2004 (CEST)
|
© Geschi.de 2002 - Impressum