{"id":9426,"date":"2017-10-05T11:55:55","date_gmt":"2017-10-05T09:55:55","guid":{"rendered":"http:\/\/marciszewski.eu\/?p=9426"},"modified":"2025-09-23T03:16:13","modified_gmt":"2025-09-23T01:16:13","slug":"jakie-sa-granice-informatyki","status":"publish","type":"post","link":"https:\/\/marciszewski.eu\/?p=9426","title":{"rendered":"Jakie s\u0105 granice informatyki?"},"content":{"rendered":"

Na pro\u015bb\u0119 Profesora Adama Olszewskiego z Uniwersytetu Papieskiego Jana Paw\u0142a II w Krakowie chcia\u0142bym podda\u0107 pod dyskusj\u0119 jego tekst pt. \u201eJakie s\u0105 granice informatyki?<\/strong><\/a>\u201d.
\nZgodnie z wyja\u015bnieniami Autora jest to wst\u0119pny szkic \u2013 zar\u00f3wno ze wzgl\u0119d\u00f3w merytorycznych, jak i stylistycznych. Szkic ten oczekuje na wszelkie uwagi, komentarze, sugestie etc\u2026, za\u015b \u00a0Autor prosi o maksymalny krytycyzm i brak jakichkolwiek skrupu\u0142\u00f3w w polemice\u2026<\/p>\n

Tematyka tekstu wpisuje si\u0119 w ten nurt dotychczasowych dyskusji, kt\u00f3ry dotyczy (nieprzekraczalnych, by\u0107 mo\u017ce) ogranicze\u0144 metody algorytmicznej<\/strong>, a tym samym ogranicze\u0144 informatyki.
\nJako dwa reprezentatywne wpisy \u2013 kt\u00f3re mog\u0105 stanowi\u0107 jakie\u015b t\u0142o dla rozwa\u017ca\u0144 Profesora Olszewskiego \u2013 chcia\u0142bym wskaza\u0107 nast\u0119puj\u0105ce pozycje: 1) O algorytmicznej dost\u0119pno\u015bci wiedzy<\/a>, oraz 2) Niesko\u0144czono\u015b\u0107 potencjalna w informatyce<\/a>.<\/p>\n

Tymczasem za\u015b zapraszam do dyskusji nad \u00a0anonsowanym tekstem. ivermectin pigeons<\/a> Na zach\u0119t\u0119 przedstawiam ni\u017cej kilka jego pocz\u0105tkowych fragment\u00f3w.<\/p>\n

***<\/span><\/p>\n

Poj\u0119cie granicy jest poj\u0119ciem intuicyjnym i u\u017cywane jest w codziennym \u017cyciu. Wyst\u0119puje ono r\u00f3wnie\u017c w obr\u0119bie matematyki g\u0142\u00f3wnie w dw\u00f3ch wersjach, kt\u00f3re koduj\u0105 \u015bci\u015ble dwie intuicje potoczne zwi\u0105zane z poj\u0119ciem granicy. Pierwsza intuicja wyra\u017cona zosta\u0142a w postaci aproksymacyjnego uj\u0119cia, jako poj\u0119cia granicy ci\u0105gu<\/em>, zdefiniowanego w analizie matematycznej. Drugie poj\u0119cie granicy, zwi\u0105zane z rozdzielaniem obszar\u00f3w, obecne jest w topologii. W niniejszej pracy skorzystam z intuicyjnych w\u0142asno\u015bci granicy, nawi\u0105zuj\u0105cych do topologicznego uj\u0119cia tego poj\u0119cia. Tak rozumiana granica, jest granic\u0105 pomi\u0119dzy s\u0105siaduj\u0105cym obszarami, kt\u00f3re le\u017c\u0105 zawsze w jakiej\u015b niepustej przestrzeni. Dlatego dla naszych cel\u00f3w, kluczowe b\u0119dzie ustalenie wskazanej przestrzeni, w kt\u00f3rej mo\u017cna b\u0119dzie wyznaczy\u0107 granice informatyki. Przy takim podej\u015bciu, znane s\u0105 co najmniej dwie taktyki: pierwsza \u2013 syntaktyczna \u2013 za przestrze\u0144 wyj\u015bciow\u0105 bierze j\u0119zyk, za\u015b druga \u2013 semantyczna \u2013 za przestrze\u0144 bierze klas\u0119 jakich\u015b obiekt\u00f3w. ivermectin direxion<\/a> Druga z tych taktyk wydaje si\u0119 by\u0107 bardziej naturalna i w\u0142a\u015bciwsza, dlatego p\u00f3jdziemy tym tropem. Problemem, kt\u00f3ry si\u0119 tutaj narzuca, jest to, \u017ce je\u015bli zazwyczaj dla teorii istnieje jedno uniwersum, to dla informatyki sprawa jest nieco bardziej z\u0142o\u017cona. ivermectin and shingles<\/a> <\/span>
\n (\u2026)<\/span>
\n Shapiro pr\u00f3bowa\u0142 wyr\u00f3\u017cni\u0107 uniwersum informatyki przez wskazanie zbioru wszystkich procedur<\/em>, gdzie za s\u0142ownikiem Webstera, procedur\u0105 jest \u201eszczeg\u00f3lny, konkretny spos\u00f3b post\u0119powania w celu osi\u0105gni\u0119cia czego\u015b\u201d (w oryginale: \u201ea particular way of doing or of going about the accomplishment of something.<\/em>\u201d). Dla niego procedury \u201enie s\u0105 obiektami naturalnymi\u201d, ale s\u0105 \u201ezjawiskami naturalnymi, kt\u00f3re mog\u0105 by\u0107 i rzeczywi\u015bcie s\u0105 obiektywnie mierzalne \u2013 przede wszystkim w terminach potrzebnego im czasu (dotyczy to tych procedur, kt\u00f3re si\u0119 ko\u0144cz\u0105) i w terminach ilo\u015bci zasob\u00f3w, kt\u00f3rych wymagaj\u0105\u201d. W konsekwencji, takiego rozumienia procedur, uwa\u017ca on, \u017ce informatyka jest nauk\u0105 przyrodnicz\u0105.<\/span>
\n Takie rozumienie uniwersum (dziedziny) informatyki nie jest powszechne, wymaga ono jednak analizy, gdy\u017c jest nieprecyzyjne, a nawet nieprawid\u0142owe.<\/span><\/p>\n

***<\/span><\/p>\n

Ca\u0142y tekst mo\u017cna przeczyta\u0107 TUTAJ<\/a>.<\/span><\/p>\n

Jeszcze raz zapraszam do dyskusji nad nim \u2013 Pawe\u0142 Stacewicz.<\/p>\n","protected":false},"excerpt":{"rendered":"

Na pro\u015bb\u0119 Profesora Adama Olszewskiego z Uniwersytetu Papieskiego Jana Paw\u0142a II w Krakowie chcia\u0142bym podda\u0107 pod dyskusj\u0119 jego tekst pt. \u201eJakie s\u0105 granice informatyki?\u201d. Zgodnie z wyja\u015bnieniami Autora jest to wst\u0119pny szkic \u2013 zar\u00f3wno ze wzgl\u0119d\u00f3w merytorycznych, jak i stylistycznych. … Czytaj dalej →<\/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],"tags":[],"class_list":["post-9426","post","type-post","status-publish","format-standard","hentry","category-bez-kategorii"],"_links":{"self":[{"href":"https:\/\/marciszewski.eu\/index.php?rest_route=\/wp\/v2\/posts\/9426","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=9426"}],"version-history":[{"count":12,"href":"https:\/\/marciszewski.eu\/index.php?rest_route=\/wp\/v2\/posts\/9426\/revisions"}],"predecessor-version":[{"id":12582,"href":"https:\/\/marciszewski.eu\/index.php?rest_route=\/wp\/v2\/posts\/9426\/revisions\/12582"}],"wp:attachment":[{"href":"https:\/\/marciszewski.eu\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=9426"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/marciszewski.eu\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=9426"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/marciszewski.eu\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=9426"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}