Woensdag 19 februari 2003
Spreker: 
Bas Spitters (KUN)

Titel: 
A constructive view on compact groups

Tijd: 
11:00  12:00

Plaats: 
CK N4 (N3045)

Vanaf half 11 is er koffie en chocola.
Abstract
We claim that, contrary to Weyl's belief, constructive mathematics suffices
for the applications of mathematics. To support our claim we prove the
PeterWeyl theorem in a constructive and natural way.
For this proof we need constructive integration theory, Gelfand theory
and spectral theory. These theories will be outlined in the talk.
As proposed by Weyl we stress that mathematics should be built on
basic observables or finite approximations.