Climbing Mount Bourbaki | Thoughts on mathematics