Kampus Ochota
Uniwersytet Warszawski
Sobota 16.03.2019
Start godz. 11:00
Wydział Fizyki, ul. Pasteura 5
Powrót do listy

O niemożliwościach

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ć.

Prowadzący: Wojciech Czerwiński

Dziedzina: Informatyka

Kategoria wiekowa: Od 15 lat