A true Realist, a true Platonist will not stoop to choose between Beauty and Truth, he will have the tenacity to stick it through until Truth is caught shining in her own Beauty. Sure there are messy proofs, we have to bushwhack trough a wilderness of ad hoc arguments, tours de force, combinatorial jungles, false starts and the temptations of definitions ever so slightly off target. Eventually, maybe not in our own lifetime, a good proof, a clear and beautiful proof will be honed out. That, I think, is the belief of the true Platonist. What Gödel and Einstein were doing when walking together over the Institute’s grounds may have been just that; bush whacking, comparing mental notes and encouraging each other not to give up while getting all scratched and discouraged.
More here.