История математики, не имеющая руководства философии, не слепа, в то время как философия математики, отвергая его на самые интригующие явления в истории математики, пуста.