[Donnerstag] Kolloquium

[Torsten Schaub]

Guten Tag!

ich mo"chte Sie hiermit noch einmal ganz herzlich zum morgigen Vortrag im
Rahmen des Institutskolloquiums einladen.

MIT HERRN PROFESSOR HOTZ HABEN WIR MORGEN EINEN DER GRU"NDUNGSVA"TER DER
DEUTSCHEN INFORMATIK ZU GAST. ICH M"OCHTE DESHALB NOCH EINMAL GANZ BESONDERS
AN UNSERE STUDENT[INN]EN APPELLIEREN, SICH EINEN SOLCHEN VORTRAGENDEN NICHT
ENTGEHEN ZU LASSEN!

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.
__________________________________________________________________