A philosopher's mathematician: Hans Hahn and the Vienna Circle