Archiwum autora: Paweł Stacewicz

Horror infiniti

Do niniejszego wpisu zainspirowała mnie dyskusja nad zagadnieniem poznawczego optymizmu, w której pojawiło się pojęcie nieskończoności, a wraz z nim zostało przywołane cantorowskie określenie strachu przed nieskończonością, czyli horror infiniti. Wydaje mi się, że wątek ów zasługuje na osobną dyskusję … Czytaj dalej

Zaszufladkowano do kategorii Filozofia informatyki, Światopogląd informatyczny | 12 komentarzy

Nieobliczalność i złożoność

Idąc na fali wykładu o problemach nieobliczalnych (który już się odbył; zob. poprzedni wpis), chciałbym podzielić się z Państwem kilkoma jeszcze spostrzeżeniami odnośnie związku między złożonością, nieobliczalnością i nieprzewidywalnością. Podzielić się m.in. po to, by wybrzmiała wyraźniej konkluzja wykładu. 1) … Czytaj dalej

Zaszufladkowano do kategorii Filozofia informatyki, Światopogląd informatyczny | 4 komentarze

Nieobliczalni i nieobliczalne

Przygotowując wykład dla młodzieży szkolnej p.t. „Czy komputery mogą być nieobliczalne?”, pomyślałem sobie, że warto zagaić ów temat w blogu. Zagaić tak, by ukazać obecny w języku polskim związek między nieobliczalnością ludzi i komputerowych algorytmów. Zacznijmy od ludzi. W odniesieniu … Czytaj dalej

Zaszufladkowano do kategorii Filozofia informatyki, Światopogląd informatyczny | 12 komentarzy

O sztucznej inteligencji z Turingiem w tle

Kolejną dyskusję w ramach MiNI-spotkań proponuję przeprowadzić w oparciu o tekst Alana Turinga — matematyka, inżyniera i filozofa, który położył teoretyczne fundamenty pod współczesne badania informatyczne. Chodzi o słynny artykuł „Computing Machinery and Intelligence” (po polsku „Maszyny liczące a inteligencja”), … Czytaj dalej

Zaszufladkowano do kategorii Filozofia informatyki | 33 komentarze

Czy świat jest matematyczny?

Aktywnym uczestnikom MiNI-spotkań podsuwam do rozmówki kolejny temat, który będzie zresztą motywem przewodnim kolejnego spotkania „na żywo”:  Czy świat wokół nas jest matematyczny, a jeśli tak, to w jakim sensie ? Temat ów proponuję z dwóch przyczyn: po pierwsze, w … Czytaj dalej

Zaszufladkowano do kategorii Filozofia informatyki | 31 komentarzy

Monady jako programy (czyli byty informatyczne)?

Niniejszy wpis ma charakter dość nietypowy, bo stanowi prośbę – prośbę do gospodarza blogu, Witolda Marciszewskiego, o przystępne objaśnienie propagowanej przezeń interpretacji leibnizjańskich monad. Potrzeba takiego objaśnienia wynikła przy okazji ostatniego wykładu, który był poświęcony pre-informatycznym ideom G.W. Leibniza (m.in. … Czytaj dalej

Zaszufladkowano do kategorii Filozofia informatyki | Jeden komentarz

Zagadnienia do dyskusji (na 21.03)

Przyjmując za dobrą monetę, że niektórzy uczestnicy MiNI-spotkań już się dyskusyjnie uaktywnili, poddaję pod dyskusję kilka zagadnień, o których porozmawiamy na najbliższym spotkaniu. Niezależnie od tego będzie można (i wcześniej, i później) zabierać głos w blogu, to znaczy komentować niniejszy … Czytaj dalej

Zaszufladkowano do kategorii Filozofia informatyki | Jeden komentarz

O przydatności filozofii

Nawiązując do tytułu blogu, czyli „Polemiki i rozmówki w Cafe Aleph”, trzeba powiedzieć, że niniejszy wpis stanowi zachętę do rozmówki. Swobodnej, niekoniecznie wielce naukowej, rozmówki z uczestnikami MiNI-spotkań. Jej temat to przydatność filozofii dla nauk szczegółowych. Czy jest przydatna, czy … Czytaj dalej

Zaszufladkowano do kategorii Filozofia informatyki | 18 komentarzy

O MiNI-spotkaniach

Wpisy przynależne do niniejszej kategorii, kategorii „MiNI-spotkania z filozofią informatyki”,  będą kierowane do uczestników MiNI-spotkań — zarówno realnych, czyli faktycznie uczestniczących w zajęciach na Politechnice Warszawskiej, jak i wirtualnych, czyli śledzących przebieg spotkań w internecie. Każdy wpis będzie zaproszeniem do … Czytaj dalej

Zaszufladkowano do kategorii Filozofia informatyki | Dodaj komentarz

Co to znaczy, że umysł jest maszyną Turinga? (część III)

Wyrażona jednym zdaniem konkluzja drugiej części wpisu brzmi następująco: „Przyrównując umysł do maszyny Turinga, ma się na myśli hipotezę, że poznawcza moc umysłu, a więc zakres rozwiązywalnych przezeń problemów, pokrywa się z mocą obliczeniową komputerów cyfrowych, które pod względem tejże … Czytaj dalej

Zaszufladkowano do kategorii Filozofia informatyki, Światopogląd informatyczny | 7 komentarzy