David Berlinski: "Um sistema axiomático estabelece uma relação reverbe...

"Um sistema axiomático estabelece uma relação reverberadora entre o que um matemático assume (os axiomas) e o que ele ou ela pode derivar (os teoremas). Na melhor das circunstâncias, o relacionamento é claro o suficiente para que o matemático possa enviar o seu raciocínio para uma lista de verificação informal, passando do passo para pisar com a facilidade de confiança que os passos são pequenos o suficiente para que ele não possa ser envergonhado nem tropeçou ."

--- David Berlinski

#O suficiente #Matemática #Degraus #Circunstâncias #Claro #Fácil #Lista de verificação #Teoremas #Raciocínio #Envergonhado #Axiomas #Passagens #Enviar #Matemático #Passando #Assumindo

Versão em inglês

An axiomatic system establishes a reverberating relationship between what a mathematician assumes (the axioms) and what he or she can derive (the theorems). In the best of circumstances, the relationship is clear enough so that the mathematician can submit his or her reasoning to an informal checklist, passing from step to step with the easy confidence the steps are small enough so that he cannot be embarrassed nor she tripped up.