On the extraction of computational content from noneffective convergence proofs in analysis

MaRDI QIDQ6486807zbMATH OpenFDO

Authors Pavol Safarik

Publication date 17 November 2014

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Computation over the reals, computable analysis (03D78) Constructive and recursive analysis (03F60) Nonstandard models in mathematics (03H05) Functionals in proof theory (03F10)

Recommendations

• Fluctuations, effective learnability and metastability in analysis
• On the computational content of convergence proofs via Banach limits
• Metastability and higher-order computability
• A uniform quantitative form of sequential weak compactness and Baillon's nonlinear ergodic theorem
• A quantitative nonlinear strong ergodic theorem for Hilbert spaces

Cited in

(3)

• Nonstandard convergence gives bounds on jumps
• The metamathematics of ergodic theory
• Metastability and higher-order computability

This page was built for publication: On the extraction of computational content from noneffective convergence proofs in analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6486807)