[informatik-bonn] Narf

  • From: Lutz Oberst <oberst@xxxxxxxxxxx>
  • To: informatik-bonn@xxxxxxxxxxxxx
  • Date: Tue, 8 Jul 2003 16:26:02 +0200

Hallo,

male wieder ne Frage zur Vorlesung. Der Beweis zu 1.7 ist
doch Käse, oder?

M' hält auf \psi(<M'>) <==> \psi(<M'>) \notin H_e

Das folgt noch logisch aus der Definition von M'.

\psi(<M'>) \notin H_e  <==>  M' hält nicht auf \psi(<M'>)

Das kann ich dann aber nicht mehr nachvollziehen, da:

\psi(<M'>) \notin H_e  ==> M auf \psi(<M'>) = 0
                       ==> M' hält auf \psi(<M'>)

Versteht das jemand?

BTW: Ich hab das auch mal ins Forum geposted.

Bye, Lutz
-- 
signature intentionally left blank


Other related posts:

  • » [informatik-bonn] Narf