::
::
Wykład dr. Wojciecha Czerwińskiego, Dni Odkrywców Kampusu Ochota UW 2019 [16 marca 2019]
Paradoks Russella, zwany również potocznie paradoksem fryzjera, ma doniosłe konsekwencje dla matematyki i informatyki. Opowiedział o nich dr Wojciech Czerwiński podczas Dnia Odkrywców Kampusu Ochota UW.
Bertrand Russell ogłosił swój w paradoks w 1901 roku. Zauważył, że dla zbioru S = {X: X ∉ X} nie może istnieć S. Matematyk chcąc zobrazować problem, używał przykładu fryzjera: jeśli fryzjer w danej miejscowości strzyże jedynie osoby, które nie strzygą się samodzielnie, to czy może strzyc sam siebie? Odpowiedź na to pytanie jest prosta: taki fryzjer nie może istnieć. Gdyby strzygł samego siebie, należałby do zbioru osób, które strzygą się same, nie mógłby więc siebie strzyc.
Paradoks Russella podczas wykładu stanowił punkt wyjścia do opisania nierozstrzygalnych problemów w matematyce. Prelegent przeprowadził też dowód na twierdzenia Gödla o niezupełności. Mówi ono, że istnieją zdania Z, dla których zarówno Z jak i zaprzeczenie Z nie mają dowodu.
Jest to odcinek podkastu:
Wszechnica.org.pl - Nauka
„Wszechnica.org.pl - Nauka” to baza wykładów zrealizowanych we współpracy z prestiżowymi instytucjami naukowymi. Wśród naszych partnerów znajdują się m.in. Festiwal Nauki w Warszawie, Muzeum Ziemi PAN, Kampus Ochota UW, Instytut Biologii Doświadczalnej im. Nenckiego PAN oraz kawiarnie naukowe. Wszechnica.org.pl nagrywa też własne rozmowy z ludźmi nauki. Projekt realizowany jest przez Fundację Wspomagania Wsi. Do korzystania z naszego serwisu zapraszamy wszystkich, którzy cenią sobie rzetelną wiedzę oraz ciekawe dyskusje. Zapraszamy też na nasz drugi kanał "Wszechnica.org.pl - Historia".