William Thurston: "Matematikawan dapat dan memang mengisi kekosongan,...

"Matematikawan dapat dan memang mengisi kekosongan, mengoreksi kesalahan, dan menyediakan lebih banyak detail dan beasiswa yang lebih cermat ketika mereka dipanggil atau dimotivasi untuk melakukannya. Sistem kami cukup baik dalam menghasilkan teorema yang andal yang dapat didukung. Hanya saja keandalannya tidak terutama berasal dari ahli matematika yang secara formal memeriksa argumen formal; itu berasal dari ahli matematika yang berpikir dengan hati-hati dan kritis tentang ide-ide matematika."

--- William Thurston

#Berpikir #Lakukan itu #Ide ide #Kesalahan #Beasiswa #Matematika #Argumen #Teorema #Kesenjangan #Matematis #Ahli matematika #Detail #Termotivasi #Cermat #Resmi #Keandalan

Versi Bahasa Inggris

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.