[rohrpost] Fw: [codelab-intern] [codelab] codelab workshop on turing machines

Nadia Waigand n@codelab-berlin.de
Thu, 22 Nov 2001 23:50:23 +0100




> >From november 20 - december 2 codelab presents activities
> developed during the recent in-residency-phase in Podewil, Berlin.
>
> We invite you to
>
> 1st   visit the installations by the codelab based artists
>       (still going until december 2, daily 6-12 pm)
> 2nd   participate in a workshop on Turing machines,
> 3rd   visit the CodeBlueNight, live performances (nov. 30).
>
> ____________________________________________________________
>
> 2nd:     workshop on Turing machines by Manuel Bonik
>          saturday / sunday, november 24/25, 2-6 pm, Room 21
> ____________________________________________________________
>
> «On computable numbers, with an application to the Entschei-
> dungsproblem», written by Alan Turing in the middle of the
> thirties, maybe was the most important abstract of the 20th
> century. It contained a strict formalisation of the before
> intuitive notion of "algorithm" and thus laid a strong
> foundation of the theory of computers. There were other
> models (by Church, Gödel, Post.),  at about the same time
> but they all proofed to be equivalent, showing that something
> important was hit by all these mathematicians. Turing's model
> - the then so called Turing Machines (TMs) ? however stayed
> the most approachable scetch of what was meant. Until today
> TMs are a very good instrument to understand the basics of
> computing.
>
> For practical purposes you will of course use higher
> programming languages, but there is nothing you can do with a
> higher programming language you couldn't principally do with
> TMs. Therefore they are very good glasses to look on your
> doing as a programmer. Working with higher programming
> languages sometimes even hides urgent problems thich can
> clearly be seen when looking at things within the frame of
> TMs. E.g. understanding the unsolvebility of the Halteproblem
> for TMs gives insight that there are certain problem which
> principally cannot be solved by a program, and thus looking
> for such a program is a waste of time.
>
> On a different level TMs are very important if you consider
> the notion of Artificial Intelligence. TMs form sort of a
> bottleneck which always appears sooner or later in the
> discussions in this field, the question of: Is there
> anything a human brain can do, TMs principally couldn't do?
> - The so called Church Turing thesis says there isn't, and
> until today there has be no convincing counterproof to this
> thesis. Moreover it is highly likely that if you can proof
> that there is no TM to solve a certain problem, then there it
> is also impossible for humans to find a solution to it.
>
> (Manuel Bonik)
> ____________________________________________________________
>
> Please bring graph paper, pencil and eraser.
> To register email manuel@codelab-berlin.de.
>
> codelab
>
> ++49-(0)30-44010590 www.codelab-berlin.de
> at Podewil, Klosterstrasse 68-70, 10179 Berlin, ++49-(0)30-247496
>
>
> ____________________________________________________________
>
>
>
>
>
> Vom 20. November bis zum 2. Dezember zeigt Codelab Ergebnisse
> der in-residency-Phase im Podewil, Berlin.
>
>
> Wir laden herzlich ein
>
> 1.    zu Installationen von codelab-Kuenstlern
>       (bis 2. Dezember, taeglich 18-24 Uhr)
> 2.    zu einem Workshop ueber Turing-Maschinen,
> 3.    zur CodeBlueNight: Live-Performances (30. November).
>
> ____________________________________________________________
>
> 2.    Workshop Turing-Maschinen mit Manuel Bonik
>    (Samstag / Sonntag, 24./25. November, 14-18 Uhr, Raum 21)
> ____________________________________________________________
>
>
> Mit "On computable numbers, with an application to the
> Entscheidungsproblem" hat der englische Mathematiker Alan
> Turing Mitte der 30er Jahre den vielleicht wichtigsten
> Aufsatz dieses Jahrhunderts geschrieben. Er enthielt nicht
> weniger als eine bis heute gültige Formalisierung des
> Algorithmen-Begriffs und lieferte damit Grundlegendes zur
> Theorie des Computers. Turing-Maschinen erweisen sich bis
> heute als anschauliches Modell, wenn es um die Frage geht,
> was Computer mittels binärer Codes (0en und 1en) leisten
> können und warum sie es können; so läßt sich beispielsweise
> jede höhere Programmiersprache in das Modell der Turing-
> Maschinen übersetzen.
>
> Beispielsweise hilft Einsicht in die Unlösbarkeit des Halte-
> problems für Turing-Maschinen auch Fortgeschrittenen, ihre
> Zeit nicht mit der Suche nach Algorithmen zu verschwenden,
> die gar nicht existieren können. Wo solche Probleme in
> höheren Programmiersprachen unter Umständen durch die
> "Benutzerfreundlichkeit" der umfangreichen Module verdeckt
> werden, lassen sie sich auf der elementaren Ebene von
> Turing-Maschinen relativ leicht offensichtlich machen.
>
> In Zeiten von Internet-Euphorie und explodierenden Mengen
> "benutzerfreundlicher" Anwendungen sind Turing-Maschinen
> auch sehr gut geeignet, Computer-Mythen zu klären. So
> spielen sie beispielsweise in der Debatte um Künstliche
> Intelligenz eine zentrale Rolle, also dort, wo die
> Möglichkeiten und Grenzen von Computern (und Menschen?) zu
> klären sind. Die sogenannte Church-Turing-These besagt, daß
> jedes menschliche Verfahren prinzipiell auch durch eine
> Turing-Maschine geleistet werden kann. Wo sich beweisen
> läßt, daß eine Maschine für ein bestimmtes Verfahren nicht
> existieren kann, ist davon auszugehen, daß Menschen keine
> Möglichkeit haben, ein solches Verfahren zu finden.
>
> (Manuel Bonik)
> ____________________________________________________________
>
>
> Bitte Rechenpapier, Bleistift und Radierer mitbringen.
> Anmeldung bei manuel@codelab-berlin.de
>
> codelab
> ++49-(0)30-44010590 www.codelab-berlin.de
>
>
>
>
>
>
>
>