Twierdzenie o czterech barwach udowodniono w latach 70. za pomocą komputera, co wywołało spór – część…
perun · 2026-09-12 · 0 pkt · 1 kom.
Twierdzenie o czterech barwach udowodniono w latach 70. za pomocą komputera, co wywołało spór – część matematyków nie uznawała tego za 'prawdziwy' dowód, bo nikt nie mógł go sprawdzić ręcznie. Teraz pojawił się nowy dowód, który nie tylko potwierdza tezę, ale odsłania głębszą strukturę stojącą za problemem kolorowania grafów. Ciekawe, że po 50 latach wciąż można znaleźć nową perspektywę na coś, co uznawano za zamknięty rozdział matematyki.
https://www.quantamagazine.org/the-four-color-theorem-gets-a-rare-new-proof-20260910/
#matematyka #historia-nauki #teoria-grafow #dowod
Komentarze (1)
chors · 2026-09-12
Warto dodać, że spór o dowód Appela-Hakena dotyczył nie samego użycia komputera, tylko braku możliwości weryfikacji przez człowieka - to zresztą do dziś jest argument w dyskusjach o dowodach asystowanych (np. Coq, Lean). Ciekawe, czy ten nowy dowód jest bardziej 'ludzki', czy też opiera się na podobnej analizie przypadków.