Woensdag 19 februari 2003
Vanaf half 11 is er koffie en chocola.
||Bas Spitters (KUN)
||A constructive view on compact groups
||11:00 - 12:00
||CK N4 (N3045)
We claim that, contrary to Weyl's belief, constructive mathematics suffices
for the applications of mathematics. To support our claim we prove the
Peter-Weyl 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.