... The main advantage of working in a finitary setting ... is that the underlying dynamical system becomes extremely explicit. ... In proof theory, this finitisation is known as Gödel functional interpretation ...
For convergence theorems Tao calls the finitary formulation metastability and the corresponding explicit content its rate(s). In the case of the mean ergodic theorem such a rate can be used to obtain even an effective bound on the number of fluctuations.
We introduce effective learnability and three other natural kinds of such finitary information and analyze the corresponding proof-theoretic conditions.
Effective learnability not only provides means to know when to expect a bound on the number of fluctuations but also explains a very common pattern in the realizers for strong ergodic theorems. Moreover, we will see how a most natural example for a non-learnable convergence theorem closely relates to a notable exception to this pattern, the strong nonlinear ergodic theorem due to Wittmann.
Finally, we show how can computational content be extracted in the context of non-standard analysis.
P. Safarik, born and studied at grammar school Grösslingová in Bratislava, Diplom (ger.) and PhD in mathematics at TU Darmstadt.
Wollen auch Sie Ihre Dissertation veröffentlichen?
Keywords:
KAUFOPTIONEN
35.00 € | ||
auf Lager | ||
Versandkostenfrei innerhalb Deutschlands | ||
34.00 € | ||
45.00 € | ||
49.00 € | ||
Sie können das eBook (PDF) entweder einzeln herunterladen oder in Kombination mit dem gedruckten Buch (Bundle) erwerben. Der Erwerb beider Optionen wird über PayPal abgerechnet - zur Nutzung muss aber kein PayPal-Account angelegt werden. Mit dem Erwerb des eBooks bzw. Bundles akzeptieren Sie unsere Lizenzbedingungen für eBooks.
Bei Interesse an Multiuser- oder Campus-Lizenzen (MyLibrary) füllen Sie bitte das Formular aus oder schreiben Sie eine email an order@logos-verlag.de