Experiment and the Mathematical Spirit