Zum Inhalt
Turing-Berechenbarkeit und Churchsche These
Aus ProgrammingWiki
<
Berechenbarkeitstheorie
Archivierte Version vom 2012-04-15T07:31:12+00:00.
Aktuelle Version
Merkwürdige aber berechenbare Funktionen
Collatz-Folge
(define collatz (lambda (n) (cond ((= n 1) '()) ((even? (cons n (collatz (/ n 2)))) (else (cons n (collatz (+ (* 3 n) 1)))))))
(collatz 7)
ausführen
Für alle Argumente undefinierte Funktion
(define nirgends-definiert (lambda (n) (nirgends-definiert n)))
(nirgends-definiert)
ausführen
Seite
Quelltext
Versionen/Autoren
Konto registrieren
Anmelden
Navigation
Startseite
Letzte Änderungen
Alle Seiten
Einführungskurs
Hilfe
Dateien
Suche
Suchen
Werkzeuge
Links auf diese Seite
Spezialseiten