John Grue Dr.philos, professor ved Matematisk Institutt, Universitetet i Oslo johng@math.uio.no 416 07 182