Czy komputery mogą myśleć?

Czy komputery mogą myśleć jak ludzie? Na pewno nie! Jednak proste operacje mogą wykonywać dużo szybciej od człowieka.  Okazuje się, że dowody niektórych twierdzeń matematycznych wymagają sprawdzenie kilku, kilkudziesięciu tysięcy stosunkowo prostych przypadków. Wymagałoby to pracy dziesiątków matematyków przez dziesiątki lat, natomiast komputer może to zrobić w kilka godzin.

Na wykładzie zostaną omówione dwa przykłady takich twierdzeń: ile kolorów potrzeba do pomalowania dowolnej mapy, tak, aby państwa mające wspólną granicę nie były oznaczone tym samym kolorem oraz jak pakować pomarańcze do skrzynek, aby zmieścić ich tam jak najwięcej.  Do dowodu tych twierdzeń wykorzystano komputery oraz metody mało znanej techniki obliczeniowej zwanej  analizą  przedziałową.