|
School of Mathematics - November 4, 2001 |
Mathematical TalksFollowing a one day Seminar of Philosophy of Mathematics which was held at Shahid Beheshti University on Oct. 17, 2001, two of the invited speakers: Prof. Wim Veldman of Nijmegen University, Netherland and Dr. Mark van Atten of Louvain University, Belgium visited IPM on Monday Oct. 22, 2001 and presented two talks.
See Photos |
| |
| | Following a one day Seminar of Philosophy of Mathematics which was held at Shahid Beheshti University on Oct. 17, 2001, two of the invited speakers: Prof. Wim Veldman of Nijmegen University, Netherland and Dr. Mark van Atten of Louvain University, Belgium visited IPM on Monday Oct. 22, 2001 and presented two talks.
See Photos
Abstracts:
Introduction to choice sequence
Dr. Mark van Atten of Louvain University, Belgium
The concept of choice sequence was introduced by L. E. J. Brouwer in 1914-16 to capture the continuum. Brouwer in his doctoral dissertation accepts
continuum as "an intuition given to us". By choice sequence, he then has
a better picture of "discrete vs continuous".
Some consequences of Continuity Principle
Prof. Wim Veldman of Nijmegen University, Netherland
Continuity Principle comes from an intuitionistic justification of choice sequence introduced by L. E. J. Brouwer. This principle is the main tool in reconstruction of intuitionistic Mathematics.
Some of the well known results in intuitionistic Analysis and Topology are
proved using this principle.
| |
|
| |
| back to top |
