UMFRAGE: perfekter code - oder funktion

[Richard Rüfenacht]

Hallo Fabian, Heinz von Foerster Fan ;-)

"Das Funktionieren ist ein Beleg für das Funktionieren." - Heinz von Foerster[2]
[2] Dazu ist zu sagen, dass von Foerster diesen Satz nicht im Zusammenhang von (Internet-)Programmierung gesagt hat, sondern in einem Interview zur philosophischen Wahrheitsverifikation.

und was hältst du vom Halteproblem bei einer Turing Maschine? Da ist das Funktionieren kein Beweis mehr für das Funktionieren ;-)

speziell: http://www.matheprisma.uni-wuppertal.de/Module/Turing/Kapitel10.htm
allgemein: http://www.matheprisma.uni-wuppertal.de/Module/Turing/

Beste Grüsse
Richard