It was a good read, thank you for sharing. > "It was an interesting experience exchanging cultures. It became dramatically clear how much proofs depend on the

It was a good read, thank you for sharing. > "It was an interesting experience exchanging cultures. It became dramatically clear how much proofs depend on the audience. We prove things in a social context and address them to a certain audience. Parts of this proof I could communicate in two minutes to the topologists, but the analysts would need an hour lecture before they would begin to understand it. Similarly, there were some things that could be said in two minutes to the analysts that would take an hour before the topologists would begin to get it. And there were many other parts of the proof which should take two minutes in the abstract, but that none of the audience at the time had the mental infrastructure to get in less than an hour" I wonder if we would ever get to a point where we would find an effective and desirable mental infrastructure such that this wouldn't happen.