Boardunity & Video Forum

Boardunity & Video Forum (https://boardunity.de/)
-   CalitrixWiki Supportforum (https://boardunity.de/calitrixwiki-supportforum-f68.html)
-   -   Bug in Listen? (https://boardunity.de/bug-listen-t3170.html)

klaus1977 03.06.2005 16:46
Bug in Listen?
 
Die letzten zwei Zeilen werden unterstrichen:

Code:
* Beispiel: Programm T, das beliebiges Programm P dahingehend überprüft, ob P terminiert (d.h. nicht endlos rechnet)
** Behauptung: T kann (auf einem Computer) nicht existieren
** Beweis: Annahme „T existiert“; dann schreibe Programm:
@@@
program P
  if T(P) then
    while true do
    end
  end
@@@
** P terminiert nur, wenn T feststellt, dass es nicht terminiert (und        umgekehrt)
** Widerspruch! T kann es nicht geben!
gruss Klaus

exe 03.06.2005 17:10
Hm, seltsam. Auf Anhieb finde ich keine Fehlerquelle, da muss ich mal genauer nachforschen woher das kommt.


Alle Zeitangaben in WEZ +1. Es ist jetzt 14:24 Uhr.

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25