1
প্রুফ চেকার বাগ কি কখনও কোনও বড় প্রমাণকে অবৈধ করে দিয়েছে?
বেশিরভাগ (সমস্ত?) প্রমাণ সহকারীদের উপলক্ষে নির্দিষ্ট করা সাউন্ডনেস বাগ রয়েছে। যাইহোক, আমি এই বাগগুলি দেখেছি তাদের কাছ থেকে সাধারণত অনিচ্ছাকৃতভাবে পারাপার করা কঠিন এবং বাগটি ঠিক হওয়ার আগে ফলাফলগুলি প্রমাণিত হওয়ার পরে সাধারণত প্রমাণিত হয়। শক্তির ক্রমে তিনটি প্রশ্ন: প্রমাণকে পরিবর্তন না করেই কি এই ধরণের সাউন্ডনেস বাগ ফিক্সের কারণে …