6
প্রমাণ জাল সম্পর্কে আমার কীভাবে চিন্তা করা উচিত?
এই প্রশ্নের উত্তরে , স্টিফেন গিমেনেজ আমাকে লিনিয়ার যুক্তিতে প্রমাণের জন্য বহু-কালীন স্বাভাবিককরণ অ্যালগরিদমের দিকে ইঙ্গিত করেছিলেন pointed জিরার্ডের কাগজে থাকা প্রমাণটিতে প্রুফ নেট ব্যবহার করা হয়, যা লিনিয়ার যুক্তির একটি দিক যা আমি আসলে খুব বেশি জানি না। এখন, আমি এর আগে প্রুফ নেটগুলিতে কাগজপত্র পড়ার চেষ্টা করেছি (যেমন …