In der Vorbereitung auf eine Seminararbeit von “Great Principles of Information Technology” bin ich gerade dabei, mich ein bisschen in Debatten \u00fcber Berechenbarkeitstheorien zu vertiefen. Was mir dabei begegnet ist, d\u00fcrfte auch philosophisch relevant sein:<\/p>\n
Die Grundthese eines Artikels von “Jan van Leuuwen und “Jiri Widermann”<\/a> (2000) ist, dass sich unsere Vorstellungen von dem Begriff der Berechenbarkeit verschoben haben. Berechenung ist nicht mehr nur<\/strong> ein mechanischer Prozess, den eine Maschine f\u00fcr sich alleine mit fixem Anfang und Ende ausf\u00fchrt, das Ergebnis ausspuckt und dann anh\u00e4lt, sondern unterliegt interaktiven und evolution\u00e4ren, nicht-berechenbaren Elementen, die aus der Erfahrung, aus unvorhergesehenen Ereignissen kommen und die potentiell unendlich lange weiterlaufen:<\/p>\n The intuition that computing corresponds to formal computability by Turing machines … breaks down when the notion of what is computable is broadened to include interaction.<\/em> Though Church’s thesis is valid in the narrow sense that Turing machines express the behavior of algorithms, the broader assertion that algorithms precisely capture what can be comptued is invalid.<\/p><\/blockquote>\n In einer Zeit des Global Computing ist es fast ein Einzelfall, wenn ein Computer nicht mit anderen vernetzt ist. Das Verhalten des Computers ver\u00e4ndert sich unvorhergesehen durch Viren, Software-Updates und Hardware-Updates. Diese Ver\u00e4nderung kann selbst nicht berechnet, sondern nur als evolution\u00e4rer Prozess beschrieben werden. Durch automatische Software-Updates und Viren k\u00f6nnen selbst Systemadministratoren nicht alle Eventualit\u00e4ten dieser Ver\u00e4nderung \u00fcberschauen.<\/p>\n Turing hat sein Maschinen-Modell dem Menschen, der isoliert am Flie\u00dfband arbeitet oder der im Stillen mathematische Beweise f\u00fchrt, abgeschaut. Unsere Erfahrung zeigt, dass gerade durch die Realisierung dieses Maschinen-Modells Interaktion und Kooperation ins Zentrum unseres Interesses r\u00fccken und zu einer Erweiterung dieses Modells n\u00f6tigen. Durch die Vernetzung entsteht neue Komplexit\u00e4t, die mit neuen Maschinenmodellen \u00fcberschaut werden muss: “Interaktive Turing-Maschinen mit Beratungs-Funktion” ist die Antwort, die neue Art der Berechnung zu formalisieren. Die wesentlichen Unterschiede sind:<\/p>\n Ein interessanter Schritt, der am Ende der Arbeit angedeutet wird ist, dass man dieses Berechnungsmodell zur\u00fcckbeziehen kann auf die Ph\u00e4nomene in der sozialen Welt. Jeder Akteur kann als eine “interaktive Turing-Maschine mit Beratungs-Funktion” verstanden werden. Sie handeln aufgrund eines bestimmten Schemas, jedoch kann sich das Schema aufgrund von Ereignissen und Erfahrugnen \u00e4ndern, sich sozusagen selbst korrigieren. Die “Beratungs-Funktion” ist das Fenster zwischen der a-priori Welt des “eingebrannten” Regelwerks und der a-posteriori-Welt der unvorhergesehenen Ereignisse und Erfahrungen:<\/p>\n Consider the case of a finite system of intelligent autonomous mobile agents that move around in some environment and exchange messages by whatever formalisable means: spoken language, via mobile phones, via the Internet, by ordinary mail, and so on. Occasionally, new agents appear and start to interact with their environment. Some agents may be killed by accident, some will not work properly, but all will die after some time. For some unpredictable reasons some agents may even behave better than any other previous ones. In general all agents are intelligent, which means that they are able to learn. In the course of their education new agents will successively become skilled, start to cooperate with other agents and perhaps invent new knowledge. The wohle society will develop.<\/p>\n Under suitable assumptions behaviours like this can be seen as ‘computations’ of a dynamic system of interactive Turing machines with advice. The assumptions are that all agents behave as interactive algorithms and that their evolutionary upgrades and moving around in the environment as well as their interaction as well as the times of their birth and death are captured in the respective advice. The similarty with the internet machine is obvious.[…] In the virtual world modeled in a computer a virtual society could develop as envisioned above. One could monitor the respective development and could make non-computable interventions into the underlying process.<\/p><\/blockquote>\n Gottes Wege sind unergr\u00fcndlich, genauso wie f\u00fcr die virtuelle Bev\u00f6lkerung jene Interventionen, die wir machen k\u00f6nnten, wenn wir die soziale Welt im Computer simulierten. Ist der aktuelle Crash der Finanzwelt genauso unergr\u00fcndlich? In gewisser Weise ist er ein Ereignis, der unsere Operationsweisen ver\u00e4ndern kann, soviel kann man zugeben.<\/p>\n Ein kleiner technischer Hinweis: Die Beratungs-Funktion (advice-function) ist eine schw\u00e4chere Form von dem, was Turing “Orakel” genannt hat. Die Turing-Maschine braucht nur eine Anfrage an das Orakel zu stellen und erh\u00e4lt im n\u00e4chsten Schritt die gew\u00fcnschte Antwort. Bei der Beratungs-Funktion werden die m\u00f6glichen Anfragen eingeschr\u00e4nkt, sodass die Turingmaschine trotzdem noch die Notwendigkeit hat, selbst jene Berechnungen durchzuf\u00fchren, die sie durchf\u00fchren kann oder um zu verhindern, dass sie “cheatet” indem sie zu komplexe Fragen stellt.<\/p>\n Was auch immer von dem Vorhaben – die soziale Welt zu simulieren – zu halten ist, es ist bezeichnend, dass ein neues Paradigma der Berechenbarkeit diskutiert wird, das den Fokus auf Interaktion und Kooperation legt.<\/p>\n","protected":false},"excerpt":{"rendered":" In der Vorbereitung auf eine Seminararbeit von “Great Principles of Information Technology” bin ich gerade dabei, mich ein bisschen in Debatten \u00fcber Berechenbarkeitstheorien zu vertiefen. Was mir dabei begegnet ist, d\u00fcrfte auch philosophisch relevant sein: Die Grundthese eines Artikels von “Jan van Leuuwen und “Jiri Widermann” (2000) ist, dass sich unsere Vorstellungen von dem BegriffRead more<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[7],"tags":[37,75,102,160],"class_list":["post-395","post","type-post","status-publish","format-standard","hentry","category-medienphilosophie","tag-berechnung","tag-evolution","tag-interaktion","tag-simulation"],"_links":{"self":[{"href":"https:\/\/quatsch.philo.at\/index.php?rest_route=\/wp\/v2\/posts\/395","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/quatsch.philo.at\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/quatsch.philo.at\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/quatsch.philo.at\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/quatsch.philo.at\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=395"}],"version-history":[{"count":0,"href":"https:\/\/quatsch.philo.at\/index.php?rest_route=\/wp\/v2\/posts\/395\/revisions"}],"wp:attachment":[{"href":"https:\/\/quatsch.philo.at\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=395"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/quatsch.philo.at\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=395"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/quatsch.philo.at\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=395"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}\n