Most writers on the subject seem to agree that the typical working mathematician is a Platonist on weekdays and a formalist on Sundays.