[Donnerstag] Kolloquium

Torsten Schaub torsten at cs.uni-potsdam.de
Mon Nov 22 07:00:40 CET 1999


Guten Tag!

ich mo"chte Sie hiermit ganz herzlich zum Vortrag im Rahmen des
Institutskolloquiums am Donnerstag einladen.

Weitere Details entnehmen Sie bitte der beigef"ugten
Ank"undigung oder unseren WWW-Seiten unter:

 http://www.cs.uni-potsdam.de/inst_koll/index.html

 Mit freundlichen Gru"ssen, -torsten schaub

__________________________________________________________________
   
                      Kolloquium: Donnerstag, 25. November
                                        
   am Institut für Informatik der Universität Potsdam
   
                                      -
                                      
   Der Vortrag findet am Donnerstag, 25. November 1999 um 15.30 Uhr
   in Raum 0.37, Haus 22, Campus Am Neuen Palais statt.
   
Titel

   Analytische Maschinen
   
Referent

   Prof Günter Hotz, Universität Saarbrücken
   
Resümee

   Wir betrachten Berechnungen über den reellen und rationalen Zahlen
   endlicher und unendlicher Dauer. Im letzteren falle nur solche, die
   konvergente Ausgaben erzeugen. Wir geben Kriterien für die
   Nichtberechenbarkeit von Funktionen mittels diesen Algorithmen an und
   beweisen einige universelle Approximationstheoreme von reell
   analytischen berechenbaren Funktionen durch rationalanalytische
   Maschinen. Wir zeigen, dass das Stabilitätsproblem dynamischer Systeme
   nicht reellanalytisch entscheidbar ist. Aus den Hierarchiesätzen über
   rational approximierbare Abbildungsklassen ergibt sich hieraus, dass
   das allgemeine Stabilitätsproblem auch nicht approximativ entscheidbar
   ist.
__________________________________________________________________




More information about the Fsr-inf-fachschaft mailing list