{"id":8191,"date":"2014-12-23T20:05:55","date_gmt":"2014-12-23T18:05:55","guid":{"rendered":"http:\/\/marciszewski.eu\/?p=8191"},"modified":"2025-09-23T03:41:11","modified_gmt":"2025-09-23T01:41:11","slug":"informatyczne-klopoty-z-nieskonczonoscia","status":"publish","type":"post","link":"https:\/\/marciszewski.eu\/?p=8191","title":{"rendered":"Informatyczne k\u0142opoty z niesko\u0144czono\u015bci\u0105?"},"content":{"rendered":"<p>Na pocz\u0105tku grudnia bie\u017c\u0105cego roku odby\u0142a si\u0119 w Poznaniu <a title=\"Konferencja\" href=\"http:\/\/www.logika.amu.edu.pl\/konferencjaIV.php\">IV Konferencja Filozofii Matematyki i Informatyki<\/a>, na kt\u00f3rej mia\u0142em zaszczyt wyg\u0142osi\u0107 referat p.t. \u201e<em>Informatyczne k\u0142opoty z niesko\u0144czono\u015bci\u0105?<\/em>\u201d .<br \/>\nW niniejszym wpisie udost\u0119pniam link do mojej prezentacji i zach\u0119cam wszystkich do dyskusji nad kolejnymi punktami.<\/p>\n<p>Oto link:<br \/>\n<a title=\"Informatyczne k\u0142opoty z niesko\u0144czono\u015bci\u0105\" href=\"http:\/\/stac.calculemus.org\/pdf\/O_informatycznych_klopotach_z_niesk_na_konferencje.pdf\">INFORMATYCZNE K\u0141OPOTY Z NIESKO\u0143CZONO\u015aCI\u0104?<\/a><br \/>\n(czyli o zdrowym sceptycyzmie w filozofii informatyki)<\/p>\n<p>Punktem wyj\u015bcia prezentowanego wywodu jest rozr\u00f3\u017cnienie trzech sposob\u00f3w rozumienia terminu \u201eniesko\u0144czono\u015b\u0107\u201d w informatyce:<\/p>\n<p style=\"padding-left: 30px;\">a)\u00a0 niesko\u0144czono\u015b\u0107 na poziomie <strong>dzia\u0142ania<\/strong> program\u00f3w<br \/>\n[czyli: nieko\u0144cz\u0105cy si\u0119, w og\u00f3le lub praktycznie, czas dzia\u0142ania program\u00f3w]<\/p>\n<p style=\"padding-left: 30px;\">b)\u00a0 niesko\u0144czono\u015b\u0107 na poziomie <strong>struktury<\/strong> program\u00f3w<br \/>\n[czyli: nieko\u0144cz\u0105cy si\u0119 ci\u0105g zagnie\u017cd\u017conych modu\u0142\u00f3w oprogramowania]<\/p>\n<p style=\"padding-left: 30px;\">c)\u00a0 niesko\u0144czono\u015b\u0107 na poziomie <strong>efekt\u00f3w<\/strong> dzia\u0142ania program\u00f3w<br \/>\n[czyli: potencjalnie niesko\u0144czona liczba problem\u00f3w, rozwi\u0105zywalnych za pomoc\u0105<br \/>\nsko\u0144czonych program\u00f3w]<\/p>\n<p>Niesko\u0144czono\u015b\u0107 typu c) stanowi o niew\u0105tpliwej sile informatyki \u2013 sile, kt\u00f3ra polega na tym, \u017ce programy komputerowe, b\u0119d\u0105ce sko\u0144czonymi ci\u0105gami instrukcji,\u00a0 pozwalaj\u0105 rozwi\u0105zywa\u0107 <strong>niesko\u0144czenie wiele<\/strong> problem\u00f3w okre\u015blonego typu. M\u00f3wi\u0105c obrazowo: ich sko\u0144czone zapisy zdaj\u0105 si\u0119 si\u0119ga\u0107 niesko\u0144czono\u015bci.<\/p>\n<p>Zachodzi jednak pytanie: czy si\u0142y niesko\u0144czono\u015bci typu c) nie os\u0142abiaj\u0105 zbyt mocno dwie jej poprzedniczki, oznaczone wy\u017cej literkami a) i b)?<br \/>\nZdaj\u0105 si\u0119 przemawia\u0107 za tym pewne nowe wersje\u00a0 argument\u00f3w sceptyckich.<br \/>\nCo to jednak za argumenty i jak mo\u017cna podwa\u017cy\u0107 ich moc?<br \/>\nA ponadto: jakie <strong>pytania filozoficzne<\/strong> trzeba rozstrzygn\u0105\u0107, by \u00f3w nowy (informatyczny) sceptycyzm uchyli\u0107?<\/p>\n<p>Kto ciekaw, niech zajrzy do wskazanej wy\u017cej prezentacji&#8230;<\/p>\n<p>Ze \u015bwi\u0105tecznymi pozdrowieniami \u2013 Pawe\u0142 Stacewicz.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Na pocz\u0105tku grudnia bie\u017c\u0105cego roku odby\u0142a si\u0119 w Poznaniu IV Konferencja Filozofii Matematyki i Informatyki, na kt\u00f3rej mia\u0142em zaszczyt wyg\u0142osi\u0107 referat p.t. \u201eInformatyczne k\u0142opoty z niesko\u0144czono\u015bci\u0105?\u201d . W niniejszym wpisie udost\u0119pniam link do mojej prezentacji i zach\u0119cam wszystkich do dyskusji &hellip; <a href=\"https:\/\/marciszewski.eu\/?p=8191\">Czytaj dalej <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":3,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1,20,42],"tags":[],"class_list":["post-8191","post","type-post","status-publish","format-standard","hentry","category-bez-kategorii","category-filozofia-informatyki","category-filoz-nauki"],"_links":{"self":[{"href":"https:\/\/marciszewski.eu\/index.php?rest_route=\/wp\/v2\/posts\/8191","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/marciszewski.eu\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/marciszewski.eu\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/marciszewski.eu\/index.php?rest_route=\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/marciszewski.eu\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=8191"}],"version-history":[{"count":15,"href":"https:\/\/marciszewski.eu\/index.php?rest_route=\/wp\/v2\/posts\/8191\/revisions"}],"predecessor-version":[{"id":12640,"href":"https:\/\/marciszewski.eu\/index.php?rest_route=\/wp\/v2\/posts\/8191\/revisions\/12640"}],"wp:attachment":[{"href":"https:\/\/marciszewski.eu\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=8191"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/marciszewski.eu\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=8191"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/marciszewski.eu\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=8191"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}