COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > The unreasonable effectiveness of Nonstandard Analysis

## The unreasonable effectiveness of Nonstandard AnalysisAdd to your list(s) Download to your calendar using vCal - Sanders, S (Ludwig-Maximilians-Universitt Mnchen)
- Monday 14 December 2015, 15:00-15:30
- Seminar Room 1, Newton Institute.
If you have a question about this talk, please contact webseminars. Mathematical, Foundational and Computational Aspects of the Higher Infinite The aim of my talk is to highlight a hitherto unknown computational aspect of Nonstandard Analysis. In particular, we provide an algorithm which takes as input the proof of a mathematical theorem from pure Nonstandard Analysis, i.e. formulated solely with the nonstandard definitions (of continuity, integration, dif- ferentiability, convergence, compactness, et cetera), and outputs a proof of the as- sociated effective version of the theorem. Intuitively speaking, the effective version of a mathematical theorem is obtained by replacing all its existential quantifiers by functionals computing (in a specific technical sense) the objects claimed to exist. Our algorithm often produces theorems of Bishops Constructive Analysis ([2]). The framework for our algorithm is Nelsons syntactic approach to Nonstandard Analysis, called internal set theory ([4]), and its fragments based on Goedels T as introduced in [1]. Finally, we establish that a theorem of Nonstandard Analysis has the same computational content as its highly constructive Herbrandisation. Thus, we establish an algorithmic two-way street between so-called hard and soft analysis, i.e. between the worlds of numerical and qualitative results. References: [1] Benno van den Berg, Eyvind Briseid, and Pavol Safarik, A functional interpretation for non- standard arithmetic, Ann. Pure Appl. Logic 163 (2012), no. 12, 19621994. [2] Errett Bishop and Douglas S. Bridges, Constructive analysis, Grundlehren der Mathematis- chen Wissenschaften, vol. 279, Springer-Verlag, Berlin, 1985. [3] Fernando Ferreira and Jaime Gaspar, Nonstandardness and the bounded functional interpre- tation, Ann. Pure Appl. Logic 166 (2015), no. 6, 701712. [4] Edward Nelson, Internal set theory: a new approach to nonstandard analysis, Bull. Amer. Math. Soc. 83 (1977), no. 6, 11651198. [5] Stephen G. Simpson, Subsystems of second order arithmetic, 2nd ed., Perspectives in Logic, CUP , 2009. This talk is part of the Isaac Newton Institute Seminar Series series. ## This talk is included in these lists:- All CMS events
- Featured lists
- INI info aggregator
- Isaac Newton Institute Seminar Series
- School of Physical Sciences
- Seminar Room 1, Newton Institute
- bld31
Note that ex-directory lists are not shown. |
## Other listsGastrointestinal Cancer Forum Clare College Student Investment Fund Research Seminars - Department of Biochemistry 2008/09 SPS Society History of Modern Medicine and Biology Advances and Controversies in Lipid Lowering## Other talksCambridge-Lausanne Workshop 2018 - Day 2 Multi-Index Stochastic Collocation (MISC) for Elliptic PDEs with random data Cohomology of the moduli space of curves Enhancing the Brain and Wellbeing in Health and Disease Description: TIE proteins: chemical harpoons of Gram-positive bacteria CPGJ Reading Group "Space, Borders, Power" |