Dyskusja:Twierdzenie o czterech barwach

message: Jakie są te dwa przypadki?

message: :Na różnych powierzchniach liczba ta może być różna, na przykład na torusie (powierzchnia dętki) liczba ta wynosi 7 - matematycy żyjący na powierzchni takiej dętki uznaliby zapewne za ważniejsze dowodzenie "twierdzenia o siedmiu barwach".
Wydaje mi się, że matematycy, którzy żyliby na dwuwymiarowej powierzchni w ogóle nie mieli by w stanie tworzyć jakiekolwiek mapy. Sądzę, że autor miał na myśli "Matematycy korzystający z map zapisanych na torusach uznaliby za ważniejsze dowodzenia "twierdzenia o siedmiu barwach"".
Przykro mi, ale (matematycznie rzecz biorąc) żyjemy na dwuwymiarowej powierzchni (topologicznie równoważnej sferze). To, że możemy się przemieszczać w trzecim wymiarze (podskakując, wsiadając do samolotu i tak dalej) nie zmienia zasadniczo sytuacji. Tworzenie mapy to przenoszenie wyobrażenia dwuwymiarowej powierzchni Ziemi na dwuwymiarową powierzchnię kartki. Marcowy Człowiek (dyskusja) 09:45, 17 sie 2016 (CEST)
thread_title: Anegdota

message: :Wątpliwości te usunięto za pomocą jego modyfikacji w 1994, a w 2004 udało się dokonać sprawdzenia poprawności przy użyciu komputerowego asystenta
Co to znaczy ? Oryginalny dowód też był przeprowadzony przy pomocy komputera, więc w czym nowość ?
replies: text: Doniesienie o sprawdzeniu poprawności dowodu za pomocą komputerowego asystenta Coq: http://www.maa.org/devlin/devlin_01_05.html
replies: text: : Na tej stronie wspomniano dwie książki ma ktośdo nich dostęp? Kuszi 23:55, 30 mar 2006 (CEST).
Prawdę mówiąc po przejrzeniu tej strony dalej nie potrafię napisać, w czym to podejście jest nowsze. Olaf 21:56, 30 mar 2006 (CEST)

text: Coś tu się nie zgadza, porównajcie np z: [Eric W. Weisstein. "Four-Color Theorem." From MathWorld--A Wolfram Web Resource.] albo  Kubale M.: "Introduction to computational complexity and algorithmic graph coloring", GTN, Gdańnsk (1998) strony 108--109.

text: Nie wiem o co chodzi z asystentem. Kuszi 23:55, 30 mar 2006 (CEST)
Nie znam dokładnie tego problemu, więc mogę się pokusić jedynie o interpretację zdania które budzi waszą wątpliwość.  Możliwe, że oryginalny dowód musiał po prostu rozwiązać dużo przypadków jakiegoś problemu kombinatorycznego (lub cos w tym stylu).  Zaimplementowano więc specjalny program, który sprawdził przypadki i kwita.  Sprawdzenie przy pomocy assytenta to coś innego: asystent to ogólny program wspomagający dowodzenie twierdzeń, zazwyczaj z wbudowanym systemem reguł dowodzania przyjętym ogólnie, o którym wiadomo że jest spójny.  Zatem sprawdzenie przez asystenta ma inną wagę (między innymi uwiarygodnia ten starszy program, napisany celowo do tego dowodu).  Oczywiście, nie wiem na pewno, bo nie znam historii.  Zgaduję na podstawie wiedzy ogólnej. Wazow 11:17, 31 mar 2006 (CEST)

text: Rzeczywiście, en wiki pisze dokładniej: "In 2004, Benjamin Werner and Georges Gonthier formalized a proof of the theorem inside the Coq theorem prover (Gonthier, n.d.). This removes the need to trust the various computer programs used to verify particular cases — it is only necessary to trust the Coq prover." Informacja jest więc najprawdopodobniej prawdziwa, przydałoby się przeredagować i uzupełnić. Kuszi 14:59, 31 mar 2006 (CEST).
thread_title: Komputerowy asystent

message: ale co zwykły asystent ma wspólnego z komputerowym asystentem ... link jest lekko mówiąc nieadekwatny ;-)
thread_title:  asystent <=> komputerowy asystent 

message: Jeżeli jakieś państwo jest niespójne terytorialnie, a takich państw było wiele w epoce kolonialnej, a i teraz pewnie jakieś się znajdzie, to ile w przypadku istnienia takich państw trzeba mieć kolorów by spełnić wymagania? No i powinno być napisane, że w takim przypadku całe twierdzenie jest nieprawdziwe.
replies: text: Twierdzenie nie dotyczy map. One są tylko przykładem. Wobec powyższego niezbyt dobrym. Enklawy/eksklawy można zaznaczyć innymi kolorami niż obszar państwa "macierzystego" (jednak przydatność takiej mapy byłaby niewielka). Sławek Borewicz (dyskusja) 00:09, 5 maj 2013 (CEST)
thread_title:  Państwo niespójne terytorialne