Одељење за математику, 15. јануар 2013.

• 10. Јануар, 2013
• Коментари (0)

Наредни састанак Одељења за математику биће одржан у уторак, 15. јануара 2013. у 12 часова у сали 301ф МИ САНУ.

Предавач: Professor Douglas Bridges, University of Canterbury, Christchurch, New Zealand

Наслов предавања: 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.