Odeljenje za matematiku, 15. januar 2013.
- 10. Januar, 2013
- Komentari (0)
Naredni sastanak Odeljenja za matematiku biće održan u utorak, 15. januara 2013. u 12 časova u sali 301f MI SANU.
Predavač: Professor Douglas Bridges, University of Canterbury, Christchurch, New Zealand
Naslov predavanja: FUNDAMENTALS OF CONSTRUCTIVE MATHEMATICS
Abstract: Introduction to constructive logic and foundations; the BHK interpretation of logic; omniscience principles; varieties of constructive mathematics: BISH, INT, and RUSS. The real line R; metric and normed spaces; the fundamental theorem of approximation theory. Hilbert space, projections, and compact operators.
References
[1] E. Bishop: Foundations of Constructive Analysis, McGraw-Hill, New York 1967.
[2] E. Bishop and D.S. Bridges: Constructive Analysis, Grundlehren der Math. Wissenschaften279, Springer.Verlag, Heidelberg, 1985.
[3] D.S. Bridges and L.S. Va: Techniques of Constructive Analysis, Universitext, Springer New York, 2006.
[4] D.S. Bridges and L.S. Va: Apartness and Uniformity. a Constructive Development, in: CiE series .Theory and Applications of Computability", Springer Verlag, Heidelberg, 2011.
Komentari(0)