Why Church's thesis still holds. Some notes on Peter Wegner's tracts on interaction and computability

Peter Wegner's definition of computability differs markedly from the classical term as established by Church, Kleene, Markov, Post, Turing \+i\et al.\-i\ Wegner identifies interaction as the main feature of today's systems which is lacking in the classical treatment of computability. This...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Computer journal 1998-01, Vol.41 (6), p.357-362
Hauptverfasser: PRASSE, M, RITTGEN, P
Format: Artikel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Peter Wegner's definition of computability differs markedly from the classical term as established by Church, Kleene, Markov, Post, Turing \+i\et al.\-i\ Wegner identifies interaction as the main feature of today's systems which is lacking in the classical treatment of computability. This paper compares the different approaches and argues whether or not Wegner's criticism is appropriate. Taking into account the major arguments from the literature, the paper shows that Church's thesis still holds. (Original abstract - amended)
ISSN:0010-4620
1460-2067
DOI:10.1093/comjnl/41.6.357