Archiwum kategorii: Filozofia informatyki

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 →

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 →

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 →

Podejmuję wątek poruszony w komentarzu Mietusa (do wpisu dra Stacewicza), w jego zapytaniu o stosunek naszej matematyki do tej, która „zbiega się gdzieś w nieskończoności”. Należało to do głównych tematów rozmyślań Gödla. Słowo „nieskończoność” jest tu trafnie zastosowane, bo z … Czytaj dalej → Czytaj dalej →

[stextbox id=”CafeAleph”]  Glossa do Wariacji na temat Monadologii Leibniza.[/stextbox] Filozofom zawdzięczamy czasem to, że odpowiadają na  nasze pytania,  a kiedy indziej coś zupełnie innego: uświadamiają ważne pytania  które nam samym nie przyszły do głowy.  Monadologia nasuwa pytanie, czy istotnie materia … Czytaj dalej →