DOKO'19 Dzień Odkrywców Kampusu Ochota

Poznamy paradoks fryzjera i jego spektakularne konsekwencje dla matematyki i informatyki. W szczególności pokażemy, że istnieją problemy nierozstrzygalne, czyli takie, których nie umie rozwiązać żaden program oraz udowodnimy pierwsze twierdzenie Gödla, które (w uproszczeniu) mówi, że istnieją zdania prawdziwe, których nie można udowodnić.