প্রমাণের শ্রেণিবিন্যাসের জন্য কি কোনও ভান্ডার আছে?


15

আমি স্ব-লার্নিং প্রুফ অ্যাসিস্ট্যান্ট এবং সিদ্ধান্ত নিয়েছি কিছু বেসিক প্রমাণগুলি শুরু করব এবং আমার পথে কাজ করব। যেহেতু প্রমাণগুলি অন্যান্য প্রমাণের উপর ভিত্তি করে এবং তাই শ্রেণিবিন্যাস গঠন করে, তাই প্রমাণের শ্রেণিবিন্যাসের ভাণ্ডার রয়েছে কি?

আমি জানি যে আমি একটি নির্দিষ্ট প্রুফ-সহকারী বাছাই করতে পারি এবং এর পাঠক্রমটি নিষ্কাশনের জন্য এটির গ্রন্থাগারটি বিশ্লেষণ করতে পারি, তবে যদি আমি প্রমাণ করার জন্য একটি শৃঙ্খলে পরবর্তী প্রমাণ খুঁজে পেতে চাই, যখন এটি লাইব্রেরিতে না থাকে তখন আমি তা করতে পারি না।

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

আমি জানি যে গাণিতিক প্রমাণগুলি প্রুফ অ্যাসিস্ট্যান্টের সাথে ব্যবহারের জন্য অগত্যা সহজেই রূপান্তরযোগ্য নয়, তবে কী করা উচিত তা সম্পর্কে সাধারণ ধারণা থাকা মোটেই কারওর চেয়ে বেশি ভাল।

এছাড়াও মাস্টার ম্যাপের সাহায্যে, আমি দেখতে পাচ্ছি যে এক পয়েন্ট থেকে অ্যানোহর পর্যন্ত বহুবিধ পথ রয়েছে এবং পার্টিকুয়ালার প্রুফ সহকারীটির জন্য আরও উপযুক্ত একটি পথ বেছে নিতে পারেন।

সম্পাদনা

অনুসন্ধানে আমি গাণিতিক ফাংশনগুলির জন্য অনুরূপ কিছু পেয়েছি । আমি এনআইএসটি- তে প্রমাণের জন্য একটিও পাইনি


1
আপনি কি একটি কোডের সংগ্রহের সন্ধান করছেন (প্রুফ সিস্টেমগুলির জন্য), বা সাধারণ প্রমাণগুলির একটি "সংগ্রহশালা" (ইংরেজি / গাণিতিক স্বরলিপিতে লিখিত)? যদি তবে, আপনি কি দেখেছেন: প্রুফউইকি.আর.উইউকিউ
নিকোলাস মানকুসো

আমি একটি কাঠামোগত, বিস্তৃত প্রমাণ সংগ্রহস্থল খুঁজে অবাক হতে হবে। তা ছাড়া, প্রতিটি গণিতের বই একটি।
রাফায়েল

1
@ নিকোলাস ম্যাঙ্কুসো দেখতে আশাব্যঞ্জক। প্রুফ সংজ্ঞাগুলিতে "থেকে" ধারাটি আমার যা প্রয়োজন তা দেবে বলে মনে হয়। আমি জানি তালিকাটি বড় ~ 5,000 নয় তবে শিক্ষানবিস হিসাবে এটি আমার পক্ষে শুরু করার জন্য যথেষ্ট মানচিত্রের হতে পারে। এটির উত্তর দিন এবং আমি আপনাকে একটি আপ-ভোট দেব।
গাই কোডার

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

উত্তর:


11

মিজার সিস্টেমটি গণিতের প্রমাণগুলির একটি বিশাল সংগ্রহশালা। দেখুন উইকিপিডিয়া পৃষ্ঠা এবং অফিসিয়াল ওয়েবসাইট

ইংরেজী বিবৃতি ব্যবহার করে প্রকাশ করা যেতে পারে এমন সমস্ত গাণিতিক প্রমাণের

উইকিপিডিয়া / মিজার_সিস্টেম # মিজার_ ভাষা থেকে :

মিজার ভাষার স্বতন্ত্র বৈশিষ্ট্যটি এর পাঠযোগ্যতা its

প্রুফ নিবন্ধ হিসাবে লেখা হয়, যার মধ্যে এক হাজারেরও বেশি নিবন্ধ রয়েছে এবং 50,000 এরও বেশি প্রমাণিত উপপাদ্য রয়েছে। উইকিপিডিয়া পৃষ্ঠায় " কিউইডি ইশতেহার " এর কিছু আকর্ষণীয় ধারণা উল্লেখ করা হয়েছে , এবং মিজার কীভাবে এটি সম্পাদন করতে চলেছে ।


আমি মিজার লাইব্রেরিটি জানতাম তবে গ্রাফটি সম্পর্কে জানতাম না। আমি যখন সুযোগ পাব তখন অবজ্ঞাপূর্ণভাবে এটি একবার দেখব।
গাই কোডার

9

প্রুফউইকিতে গণিতের বিভিন্ন অঞ্চল থেকে প্রমাণের একটি শালীন পরিমাণ রয়েছে। এটি কোনওভাবেই সম্পূর্ণ নয়, তবে আপনি যা চান তার জন্য এটি একটি ভাল সূচনার পয়েন্ট।


8

মেটামাথের প্রমাণগুলির একটি বৃহত নির্বাচন রয়েছে যা প্রস্তাবিত যুক্তিতে তাদের মূল থেকে তৈরি built

এটি বলেছিল, সিএস তত্ত্বের ক্ষেত্রে এটি বেদনাদায়কভাবে অভাবযুক্ত। এটি প্রসারিত নির্দ্বিধায়!


আমি দ্রুত চেহারা নিলাম, এটি আশাব্যঞ্জক মনে হচ্ছে।
গাই কোডার

4

দেখুন TPTP সংরক্ষণাগার , উপপাদ্য Provers জন্য সমস্যার হাজার হাজার মানুষ। এটি ক্ষেত্রে কিছুটা মানক। এটি আপনি যে উপপাদ্য গ্রাফ সম্পর্কে জিজ্ঞাসা করছেন তার আরও "নোড"। সংরক্ষণাগারটি উল্লেখ করে কিছু কাগজপত্রগুলি এই গ্রাফের প্রান্তগুলি অন্বেষণ করতে পারে।

নোট করুন যে এটিএম-এর ক্ষেত্রে, অটোমেটেড উপপাদ্য প্রমাণ করে এবং উপপাদ্য প্রমাণে সহায়তা করেছেন, প্রমাণগুলি প্রতীকী এবং এটি আপনি যেমন কল্পনা করেন ঠিক ততই "ইংরেজি ভাষায় প্রমাণাদি" অধ্যয়ন করা সম্ভবপর বা বোধগম্য নয়।

তবে আপনি রিচার্ডের প্যারাডক্স সম্পর্কে শিখতে পারেন যা ভাষা গঠনের হিসাবে শুরু হয়েছিল এবং পরে প্রতীকীভাবে আনুষ্ঠানিকভাবে চালু হয়েছিল। বলা হয় এটি "অ্যান্টিমোনিজ" (দ্বন্দ্ব) এর প্রেরণা হিসাবে প্রাথমিক সেট তত্ত্বে পাওয়া যায় যা historতিহাসিকভাবে এমনকি গডেলের অসম্পূর্ণতা উপপাদ্যটির পথও প্রশস্ত করে তুলেছিল।

আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.