David Berlinski: "Sistem aksiomatik terdiri dari aksioma dan teorema d...

"Sistem aksiomatik terdiri dari aksioma dan teorema dan membutuhkan sejumlah koordinasi tangan-mata sebelum dapat bekerja. Sistem formal terdiri dari daftar simbol yang eksplisit, seperangkat aturan eksplisit yang mengatur kohabitasi mereka, daftar aksioma yang eksplisit, dan, di atas semua itu, daftar aturan eksplisit yang secara eksplisit mengatur langkah-langkah yang dapat diambil oleh ahli matematika mulai dari asumsi hingga kesimpulan . Tidak menarik bagi makna atau intuisi. Simbol kehilangan kekuatan referensi mereka; kesimpulan menjadi mekanis."

--- David Berlinski

#Intuisi #Mata #Aksioma #Mungkin #Tangan #Kerugian #Teorema #Langkah #Matematika #Ahli matematika #Memerintah #Simbol #Kesimpulan #Jumlah #Tertentu #Daftar #Eksplisit #Banding #Koordinasi #Kesimpulan #Anggapan #Resmi #Kohabitasi

Versi Bahasa Inggris

An axiomatic system comprises axioms and theorems and requires a certain amount of hand-eye coordination before it works. A formal system comprises an explicit list of symbols, an explicit set of rules governing their cohabitation, an explicit list of axioms, and, above all, an explicit list of rules explicitly governing the steps that the mathematician may take in going from assumptions to conclusions. No appeal to meaning nor to intuition. Symbols lose their referential powers; inferences become mechanical.