Swoją drogą, zostało kiedyś udowodnione, że do pokolorowania dowolnej mapy tak, aby państwa oznaczone tymi samymi kolorami nie stykały się granicą, wystarczą tylko 4 kolory --> http://pl.wikipedia.org/wiki/Twierdzenie_o_czterech_barwach
@surlin: Czy twierdzenie zostało sprawdzone przy użyciu komputera, czy nie, nie robi większej różnicy (dla mnie rzecz jasna). Obecnie wszystkie poważne zadania wykonuje się przy pomocy komputera, ze względu na złożoność obliczeniową, a mimo to jakoś funkcjonujemy. Chyba oczywiste, że nikomu by się nie chciało sprawdzać na piechotę 1936 przypadków :)
Na moich studiach, można było się zapisać na przedmiot "Wprowadzenie do sztucznej inteligencji", na którym dowiedziałem się m.in. iż przy
Nie udowodniono, z punktu widzenia logiki matematycznej niedopuszczalny jest dowód przeprowadzony "przy użyciu komputerowego asystenta".
Jeżeli ktoś kiedyś udowodni, że "komputerowy asystent" nie mógł zrobić pomyłki - będzie to dowód.
p.s.
Owszem, wszystkie znaki na ziemi i niebie wskazują, że to prawda, w pewnym sensie można przyjąć taki dowód, jednak nie w sensie matematycznym - tu (w przeciwieństwie do innych nauk) dowody przeprowadza się w sposób ścisły tak, aby i
Coś tu jest nie tak. Polska ze Słowacją mają około 600 000 milionów PKB, a Kanada ma 1 736 869 milionów PKB. Oba te regiony powinny mieć 1 000 milionów PKB (według opisu i obrazka). Nie dość, że te regiony są sobie równe to i regiony są podzielone na inną jednostkę. Autorowi obrazka chyba chodziło o wartość 1 000 000 000 000 $(1 000 000 milionów) PKB.
Komentarze (15)
najlepsze
Na moich studiach, można było się zapisać na przedmiot "Wprowadzenie do sztucznej inteligencji", na którym dowiedziałem się m.in. iż przy
Nie udowodniono, z punktu widzenia logiki matematycznej niedopuszczalny jest dowód przeprowadzony "przy użyciu komputerowego asystenta".
Jeżeli ktoś kiedyś udowodni, że "komputerowy asystent" nie mógł zrobić pomyłki - będzie to dowód.
p.s.
Owszem, wszystkie znaki na ziemi i niebie wskazują, że to prawda, w pewnym sensie można przyjąć taki dowód, jednak nie w sensie matematycznym - tu (w przeciwieństwie do innych nauk) dowody przeprowadza się w sposób ścisły tak, aby i