W dniu 2 grudnia 2016 roku profesor Roman Murawski wygłosił w VI LO św. w Poznaniu wykład ,,O tym, jak Herakles walczył z hydra, czyli o potędze i słabościach matematyki”. Wykład był kolejnym elementem cyklu ,,Spotkania z matematyką”.
Streszczenie. Metoda aksjomatyczna uważana jest za właściwą metodę matematyki, co więcej za najlepszą w ogóle metodę porządkowania i przekazywania wiedzy. Ma ona jednak pewne słabości. Wskazują je twierdzenia Gödla o niezupełności. Celem odczytu jest przybliżenie tych twierdzeń oraz ich uogólnień (twierdzenie Kirby’ego-Parisa) i parafraz (tytułowa walka Heraklesa z hydrą). Pokażemy też, jakie wynikają z nich wnioski dla metodologii matematyki i dla filozofii informatyki, w szczególności w zakresie problemów sztucznej inteligencji.