Bemerkungen zu Peter Wegners Ausführungen
| dc.contributor.author | Prasse, Michael | |
| dc.contributor.author | Rittgen, Peter | |
| dc.date.accessioned | 2018-01-05T20:07:23Z | |
| dc.date.available | 2018-01-05T20:07:23Z | |
| dc.date.issued | 1998 | |
| dc.description.abstract | Peter Wegner vertritt einen Berechenbarkeitsbegriff, der vom klassischen abweicht, wie er von Church, Kleene, Markov, Post, Turing und anderen etabliert wurde. Insbesondere umfassen Wegners Ideen die Interaktion als grundlegende Eigenschaft heutiger Systeme. In dieser Arbeit erfolgt ein Vergleich der beiden verschiedenen Auffassungen sowie eine Erörterung, ob die Kritik von Wegner am klassischen Berechenbarkeitsbegriff berechtigt ist.Summary Peter Wegner’s definition of computability differs markedly from the classical term as established by Church, Kleene, Markov, Post, Turing et al.. Wegner identifies interaction as the main feature of today’s systems lacking in the classical treatment of computability. We compare the different approaches and argue whether or not Wegner’s criticism is appropriate. | |
| dc.identifier.pissn | 1432-122X | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/10478 | |
| dc.publisher | Springer-Verlag | |
| dc.relation.ispartof | Informatik-Spektrum: Vol. 21, No. 3 | |
| dc.relation.ispartofseries | Informatik-Spektrum | |
| dc.subject | Algorithm | |
| dc.subject | Algorithmus | |
| dc.subject | Berechenbarkeit | |
| dc.subject | Church’s Thesis | |
| dc.subject | Churchsche These | |
| dc.subject | Computability | |
| dc.subject | Computing Classification System F.1.1 | |
| dc.subject | F.1.2 | |
| dc.subject | I.2..0 | |
| dc.subject | Interaction Machine | |
| dc.subject | Interaktionsmaschine | |
| dc.subject | Turing Machine | |
| dc.subject | Turingmaschine | |
| dc.title | Bemerkungen zu Peter Wegners Ausführungen | |
| dc.type | Text/Journal Article | |
| gi.citation.endPage | 146 | |
| gi.citation.publisherPlace | Berlin Heidelberg | |
| gi.citation.startPage | 141 |