It is interesting that a lot of great mathematicians have believed in truth beyond the sausage factory. Not that the reality isn't a sausage factory but belief in an ideal (truth, beauty) seems to often be what keeps them going.

Kurt Godel proved that the machinery of mathematics couldn't create a complete truth system accessible through proofs (which are ultimately a mechanical process) but he definitely was on the side of ideal-truth when he said "Either mathematics is too big for the human mind, or the human mind is more than a machine."

Edit: And Grigori Perelman was certainly famous for rejecting what he saw as the sausage factory of mathematics.