“Bulletin Board”

 School of Mathematics - November 4, 2001

Mathematical Talks

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

 
 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
scroll left or right