Okaloma & Video Forum - Bug in Listen?

Okaloma & Video Forum (https://okaloma.com/index.php)

- CalitrixWiki Supportforum (https://okaloma.com/forumdisplay.php?f=68)

- - Bug in Listen? (https://okaloma.com/showthread.php?t=3170)

klaus1977

03.06.2005 17: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 18: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 23:37 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