Odeljenje za matematiku, 15. januar 2013.

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.



Nažalost nije moguće ostaviti komentar.