Vuonna 1976 kesäkuun 21. päivänä Kenneth Appel ja Wolfgang Haken ilmoittivat, että he olivat tietokeneen avustamana todistaneet neliväriongelman. Koska todistamisessa käytettiin tietokonetta, kaikki eivät heti hyväksyneet todistusta, mutta nykyään matemaatikot pitävät todistusta oikeana. Nykyäänkään kunnollista "vanhan ajan todistusta" asialle ei ole voitu esittää.
Vuonna 1963 Donald B Gillies löysi kolme uutta alkulukua. Kun tulokset oli vahvistettu, UIUC matematiikan laitos (jolla oli oma postitoimisto) käytti yllä olevaa postileimaa kaikessa postissaan vuosina 1964 - 1976. Kun Appel ja Haken todistivat neliväriongelman, luotiin uusi postileima.
Tekstit
Ei kommentteja:
Lähetä kommentti