Zur Boardunity Forenstartseite
  #1  
Alt 03.06.2005, 17:46
neues Mitglied
 
Registriert seit: 06.2005
Beiträge: 7

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
  #2  
Alt 03.06.2005, 18:10
Benutzerbild von exe
exe exe ist offline
titellos
 
Registriert seit: 07.2003
Ort: München
Beiträge: 888
Hm, seltsam. Auf Anhieb finde ich keine Fehlerquelle, da muss ich mal genauer nachforschen woher das kommt.

__________________
Johannes Klose
Calitrix Wiki - Wiki auf Basis von PHP und MySQL
Antwort


Stichworte
-

Themen-Optionen
Thema bewerten
Thema bewerten:

Forumregeln
Es ist dir nicht erlaubt, neue Themen zu verfassen.
Es ist dir nicht erlaubt, auf Beiträge zu antworten.
Es ist dir nicht erlaubt, Anhänge hochzuladen.
Es ist dir nicht erlaubt, deine Beiträge zu bearbeiten.
Gehe zu






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