Kurt Gödel: "Perkembangan matematika menuju ketepatan yang lebih besar...

"Perkembangan matematika menuju ketepatan yang lebih besar telah menyebabkan, seperti diketahui, pada formalisasi traktat-traktat besar itu, sehingga seseorang dapat membuktikan teorema apa pun hanya dengan menggunakan beberapa aturan mekanis."

--- Kurt Gödel

#Presisi #Sumur #Membuktikan #Integer #Teorema #Lebih besar #Diketahui #Matematika #Pengembangan #Terkenal

Versi Bahasa Inggris

The development of mathematics towards greater precision has led, as is well known, to the formalization of large tracts of it, so that one can prove any theorem using nothing but a few mechanical rules.