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