Diskussion:Berechenbare Funktion
aus Wikipedia, der freien Enzyklopädie
keine Turing-Maschine bei den Konstruktivisten
Eine Funktion hat für konstruktive Mathematiker allerdings nichts mit einer Turing-Maschine zu tun sondern ist eine Abstraktion aus Termen. (vgl. Lorenzen 1965 p 23-30) PaCo 00:41, 23. Jul 2005 (CEST)
- Beide Betrachtungsweisen sind äquivalent. --Rtc 00:49, 23. Jul 2005 (CEST)