{"id":79,"date":"2016-10-23T10:23:59","date_gmt":"2016-10-23T08:23:59","guid":{"rendered":"http:\/\/calculemus.org\/fi2\/?page_id=79"},"modified":"2017-02-01T21:41:31","modified_gmt":"2017-02-01T20:41:31","slug":"w-marciszewski","status":"publish","type":"page","link":"https:\/\/calculemus.org\/fi2\/w-marciszewski\/","title":{"rendered":"Witold Marciszewski (UwB)<br><i>Czy Alan Turing jest uniwersaln\u0105 maszyn\u0105 Turinga?<\/i>"},"content":{"rendered":"<p>Problem omawiany w referacie dzieli si\u0119 na trzy pytania. Na ka\u017cde z nich proponuje si\u0119 odpowied\u017a zawart\u0105 ni\u017cej w zdaniach A, B, C.<br \/>\nZ ka\u017cdej z nich wynika negacja pogl\u0105du, \u017ce Alan Turing jest r\u00f3wnowa\u017cny uniwersalnej maszynie Turinga<br \/>\n(kr\u00f3tko: &#8222;Turing = UMT&#8221;).<\/p>\n<p>Trzy cechy r\u00f3\u017cni\u0105 umys\u0142 od UMT.<br \/>\n(A) Umys\u0142 si\u0119 wci\u0105\u017c rozwija, podczas gdy repertuar zachowa\u0144 UMT jest ograniczony oprogramowaniem.<br \/>\n(B) Umys\u0142 jest zdolny dostrzec granic\u0119 w niesko\u0144czono\u015bci, w czym zawiera si\u0119 odniesienie do niesko\u0144czenie wielu operacji, podczas gdy ka\u017cda procedura UMT zawiera sko\u0144czon\u0105 liczb\u0119 operacji; przyk\u0142adem tej mo\u017cliwo\u015bci umys\u0142u &#8211; argumenty przek\u0105tniowe Cantora, Turinga etc.<br \/>\n(C) Umys\u0142 jest zdolny do akt\u00f3w tw\u00f3rczych, kt\u00f3rych nie determinuje oprogramowanie.<\/p>\n<p>Odpowied\u017a przecz\u0105ca na pytanie tytu\u0142owe referatu wyra\u017ca jedn\u0105 z mo\u017cliwych odmian \u015bwiatopogl\u0105du informatycznego (\u015aI).<br \/>\nOdmienny \u015aI streszcza si\u0119 w odpowiedzi twierdz\u0105cej.<br \/>\nOba jednak nale\u017c\u0105 do tej samej klasy \u015bwiatopogl\u0105d\u00f3w.\u00a0Jej elementom wsp\u00f3lne jest to, \u017ce punktem odniesienia dla modeli umys\u0142u i innych uk\u0142ad\u00f3w przetwarzaj\u0105cych informacje s\u0105 twierdzenia o niezupe\u0142no\u015bci arytmetyki i nierozstrzygalno\u015bci logiki oraz poj\u0119cie maszyny Turinga.<\/p>\n<p><strong>MATERIA\u0141Y DO DYSKUSJI<\/strong><\/p>\n<p>1) <a href=\"http:\/\/calculemus.org\/CA\/fil-inform\/2016\/marciszewski-fi2.pdf\" target=\"_blank\">Kr\u00f3tka wersja odczytu<\/a><br \/>\n[pytania kierunkuj\u0105ce dyskusj\u0119, cytaty i kr\u00f3tkie obja\u015bnienia]<\/p>\n<p>2) <a href=\"&lt;http:\/\/marciszewski.eu\/?p=8882\" target=\"_blank\">Wpis w blogu Cafe Aleph<\/a><br \/>\n[dyskusj\u0119 nad referatem prosimy prowadzi\u0107 tutaj, a nie w blogu CA]<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Problem omawiany w referacie dzieli si\u0119 na trzy pytania. Na ka\u017cde z nich proponuje si\u0119 odpowied\u017a zawart\u0105 ni\u017cej w zdaniach A, B, C. Z ka\u017cdej z nich wynika negacja pogl\u0105du, \u017ce Alan Turing jest r\u00f3wnowa\u017cny uniwersalnej maszynie Turinga (kr\u00f3tko: &#8222;Turing &hellip; <a href=\"https:\/\/calculemus.org\/fi2\/w-marciszewski\/\">Czytaj dalej <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"open","ping_status":"closed","template":"onecolumn-page.php","meta":[],"_links":{"self":[{"href":"https:\/\/calculemus.org\/fi2\/wp-json\/wp\/v2\/pages\/79"}],"collection":[{"href":"https:\/\/calculemus.org\/fi2\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/calculemus.org\/fi2\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/calculemus.org\/fi2\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/calculemus.org\/fi2\/wp-json\/wp\/v2\/comments?post=79"}],"version-history":[{"count":13,"href":"https:\/\/calculemus.org\/fi2\/wp-json\/wp\/v2\/pages\/79\/revisions"}],"predecessor-version":[{"id":205,"href":"https:\/\/calculemus.org\/fi2\/wp-json\/wp\/v2\/pages\/79\/revisions\/205"}],"wp:attachment":[{"href":"https:\/\/calculemus.org\/fi2\/wp-json\/wp\/v2\/media?parent=79"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}