2
যদি পি = এনপি হয় তবে আমরা কি গোল্ডবাচের কনজেকচার ইত্যাদির প্রমাণ পেতে পারি?
এটি আমার দক্ষতার বাইরে একটি নির্লজ্জ প্রশ্ন; অগ্রিম ক্ষমা গোল্ডবাচের কনজেকচার এবং গণিতে অনেকগুলি অমীমাংসিত প্রশ্নকে প্রাকটিক্যাল ক্যালকুলাসে সংক্ষিপ্ত সূত্র হিসাবে লেখা যেতে পারে। উদাহরণস্বরূপ, কুকের কাগজ "কম্পিউটারগুলি কি গণিতের প্রুফগুলিকে নিয়মিত আবিষ্কার করতে পারে?" হিসাবে অনুমান যে সূত্র ∀n[(n>2∧2|n)⊃∃r∃s(P(r)∧P(s)∧n=r+s)]∀n[(n>2∧2|n)⊃∃r∃s(P(r)∧P(s)∧n=r+s)]\forall n [( n > 2 \wedge 2 | n) \supset …