Saya benar-benar tidak tahu mengapa ini perlu dikatakan, tetapi bisakah kita semua berhenti berpura-pura bahwa baris bukti matematika yang berbug pada dasarnya lebih bencana daripada baris kode yang bermasalah? Tentu. Beberapa adalah. Saya akan bertaruh (secara metaforis!!!) makalah matematika rata-rata yang diterbitkan memiliki > 0 bug. Tanpa membatalkan.