„Jeśli nikt mnie o to nie pyta – wiem. Jeśli usiłuję pytającemu wytłumaczyć – nie wiem”. Tak mówił św. Augustyn. Postanowiłem jedna spytać o czas. Co to jest czas? Na czym polega względność czasu i jak można ją udowodnić? Czy czas jest gęsty czy dyskretny? Jak filozofia pomaga matematyce i jak matematyka rozwiązuje równania filozoficzne? Czym jest modelowanie wnioskowania komputerowego? Czy logika to nauka ścisła? Czym jest problem nierozstrzygalny i problem stopu? Jakie odzwierciedlenie ograniczeń naszego mózgu widzimy w matematyce? Czy czas może płynąć wstecz? Czy człowiek może jeszcze wygrać z komputerem w szachy? Czy maszyna pomoże nam odróżnić maszynę od człowieka?
To pytania, które zadałem dr Przemysławowi Wałędze, dr nauk logicznych a ukończył także studia na mechatronice oraz filozoficzne. Obecnie pracuje w Oksfordzie i udało mi się namówić go na spotkanie podczas mojej podkastowej podróży.
Zapraszam, Borys Kozielski
(00:00) Intro
(00:11) Zapowiedź
(01:51) Rozmowa z dr Przemysławem Wałęgą
(01:06:56) Zakończenie