Hermann Weyl: "Não estamos muito satisfeitos quando somos forçados a a...

"Não estamos muito satisfeitos quando somos forçados a aceitar uma verdade matemática em virtude de uma corrente complicada de conclusões formais e cálculos, que atravessamos cegamente, ligue por link, sentindo nosso caminho por toque. Queremos primeiro uma visão geral do objetivo e da estrada; Queremos entender a ideia da prova, o contexto mais profundo."

--- Hermann Weyl

Versão em inglês

We are not very pleased when we are forced to accept a mathematical truth by virtue of a complicated chain of formal conclusions and computations, which we traverse blindly, link by link, feeling our way by touch. We want first an overview of the aim and of the road; we want to understand the idea of the proof, the deeper context.