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