William Thurston: "Matematicistas podem e preencher as lacunas, corrig...

"Matematicistas podem e preencher as lacunas, corrigir erros e fornecer mais detalhes e bolsas mais cuidadosas quando elas são chamados ou motivados para fazê-lo. Nosso sistema é muito bom em produzir teoremas confiáveis que podem ser solidamente apoiados. É só que a confiabilidade não vem principalmente de matemáticos formalmente verificando argumentos formais; Vem de matemáticos pensando com cuidado e criticamente sobre idéias matemáticas."

--- William Thurston

#Pensamento #Bolsa de estudo #Doe #Matemática #Ideias #Confiabilidade #Erros #Detalhes #Teoremas #Matemático #Motivado #Argumento #Lacunas #Formal #Cuidadoso #Matemático

Versão em inglês

Mathematicians can and do fill in gaps, correct errors, and supply more detail and more careful scholarship when they are called on or motivated to do so. Our system is quite good at producing reliable theorems that can be solidly backed up. It's just that the reliability does not primarily come from mathematicians formally checking formal arguments; it comes from mathematicians thinking carefully and critically about mathematical ideas.