Czy komputery mogą myśleć?

Czy komputery mogą myśleć jak ludzie? Jeszcze nie, ale ostatnie osiągnięcia sztucznej inteligencji prowadzą do wniosku, że być może taki moment kiedyś nastąpi. Ale nawet bez sztucznej inteligencji  proste operacje komputery mogą wykonywać dużo szybciej od człowieka, i co więcej, na ogół się nie mylą (mylą się co najwyżej programiści).  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.

Podczas wykładu 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 właśnie komputery.

Wykład dla młodzieży i dorosłych.