29
Matematiksel kanıtları yazmak neden bilgisayar kodunu yazmaktan daha hatalıdır?
Herhangi bir hata yapmadan matematiksel kanıtları yazmayı, hata yapmayan bir bilgisayar programı yazmayı çok daha kolay bulduğumu fark ettim. Görünüşe göre bu benim deneyimimden daha yaygın bir şey. Çoğu insan programlarında sürekli yazılım hataları yapar ve her zaman hatanın ne olduğunu söyleyen derleyicileri vardır. Büyük bir bilgisayar programı yazan ve …