"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: