Artwork

Treść dostarczona przez Wszechnica FWW - Nauka. Cała zawartość podcastów, w tym odcinki, grafika i opisy podcastów, jest przesyłana i udostępniana bezpośrednio przez Wszechnica FWW - Nauka lub jego partnera na platformie podcastów. Jeśli uważasz, że ktoś wykorzystuje Twoje dzieło chronione prawem autorskim bez Twojej zgody, możesz postępować zgodnie z procedurą opisaną tutaj https://pl.player.fm/legal.
Player FM - aplikacja do podcastów
Przejdź do trybu offline z Player FM !

110. O niemożliwościach - dr Wojciech Czerwiński

43:57
 
Udostępnij
 

Manage episode 269180829 series 2774381
Treść dostarczona przez Wszechnica FWW - Nauka. Cała zawartość podcastów, w tym odcinki, grafika i opisy podcastów, jest przesyłana i udostępniana bezpośrednio przez Wszechnica FWW - Nauka lub jego partnera na platformie podcastów. Jeśli uważasz, że ktoś wykorzystuje Twoje dzieło chronione prawem autorskim bez Twojej zgody, możesz postępować zgodnie z procedurą opisaną tutaj https://pl.player.fm/legal.

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.

  continue reading

625 odcinków

Artwork
iconUdostępnij
 
Manage episode 269180829 series 2774381
Treść dostarczona przez Wszechnica FWW - Nauka. Cała zawartość podcastów, w tym odcinki, grafika i opisy podcastów, jest przesyłana i udostępniana bezpośrednio przez Wszechnica FWW - Nauka lub jego partnera na platformie podcastów. Jeśli uważasz, że ktoś wykorzystuje Twoje dzieło chronione prawem autorskim bez Twojej zgody, możesz postępować zgodnie z procedurą opisaną tutaj https://pl.player.fm/legal.

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.

  continue reading

625 odcinków

Alle episoder

×
 
Loading …

Zapraszamy w Player FM

Odtwarzacz FM skanuje sieć w poszukiwaniu wysokiej jakości podcastów, abyś mógł się nią cieszyć już teraz. To najlepsza aplikacja do podcastów, działająca na Androidzie, iPhonie i Internecie. Zarejestruj się, aby zsynchronizować subskrypcje na różnych urządzeniach.

 

Skrócona instrukcja obsługi