প্রমাণ কম্পিউটারে পাওয়া গেছে

Question

1996 সালে, একটি দীর্ঘকালীন উন্মুক্ত সমস্যা একটি কম্পিউটার দ্বারা সমাধান করা হয়েছিল; যথা, রবিনস বীজগণিত এবং বুলিয়ান বীজগণিত একই। প্রমাণটি একটি অটোমেটেড উপপাদক প্রবাদটি খুঁজে পেয়েছিল।

তদুপরি, ফোর কালার উপপাদ্যের জ্ঞাত প্রমাণে কম্পিউটার-উত্পাদিত উপাদান রয়েছে।

এই প্রশ্নের উদ্দেশ্য হ'ল কম্পিউটার দ্বারা প্রাপ্ত (সম্পূর্ণ বা আংশিক) প্রমাণগুলি তালিকাভুক্ত করা (একমাত্র পরিচিত প্রমাণ বা প্রথমবারের জন্য এটি আবিষ্কার করা হয়েছে )।

Comments

কিছু ছড়িয়ে ছিটিয়ে থাকা সীমাবদ্ধ সরল গোষ্ঠী (যেমন লিয়নস গ্রুপটি প্রথম কম্পিউটার ব্যবহার করে নির্মিত হয়েছিল, তাদের অস্তিত্বের প্রমাণটি ছিল (আংশিক) কম্পিউটার-উত্পাদিত

— jp

খোলা সমস্যা সমাধানের জন্য ব্যবহৃত প্রশ্ন "এক্সপোরিমেন্টাল কমপ্লেক্সিটি থিওরি" এটি এর সাথে সম্পর্কিত।

— অ্যাড্রিয়ানএন

আইএমএইচও আপনাকে "পাওয়া" এবং "চেক করা" এর মধ্যে আরও সতর্কতার সাথে আলাদা করতে হবে। গনথিয়র এট আল এর প্রমাণ কম্পিউটার দ্বারা পাওয়া যায় নি।

— গ্যালাইস

দুর্দান্ত প্রশ্ন তবে হায়

— হ'ল

এছাড়াও খুব অনুরূপ: পূর্বে কোন অজানা ফলাফল একটি স্বয়ংক্রিয় উপপাদ প্রবাদ দ্বারা প্রমাণিত হয়েছে? ।

— পেটর পুদলেক

Answer 1

আর একটি বিখ্যাত উদাহরণ হেলসের কেপলারের অনুমানের প্রমাণ যা একটি খুব বড় কম্পিউটারের সাহায্য প্রাপ্ত উপাদান ছিল।

উইকিপিডিয়া থেকে :

আগস্ট 1998 সালে হেলস ঘোষণা করেছিল যে প্রমাণটি সম্পূর্ণ ছিল। এই পর্যায়ে এটিতে 250 পৃষ্ঠাগুলির নোট এবং 3 গিগাবাইট কম্পিউটার প্রোগ্রাম, ডেটা এবং ফলাফল রয়েছে।

Answer 2

এটি তালিকার একটি তালিকাতে এটি আরও একটি মেটা উত্তর।

1. ডোরন জিলবার্গারের কাগজপত্র । তিনি একজন গণিতবিদ এবং কম্পিউটারটি ফলাফল প্রাপ্তিতে কম্পিউটারের যে ভূমিকা রেখেছে সেখানে সমস্ত কাগজপত্রের সহকর্মী শালোশ বি Ekখাদে তালিকাবদ্ধ রয়েছে।

2. জর্জেস গন্টিয়ারের কাজ । তিনি চারটি রঙের উপপাদ্যের একটি মেশিন-পরীক্ষিত প্রমাণ ইঞ্জিনিয়ার করেছিলেন এবং সম্প্রতি ফি-থম্পসন উপপাদ্যে কাজ করছেন। তিনি সম্প্রতি অড-অর্ডার উপপাদ্যের আনুষ্ঠানিককরণ সম্পন্ন করেছেন।

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

4. 100 টি উপপাদ্যকে ফরমালাইজ করে , কিছু বিখ্যাত উপপাদকের মেশিন পরীক্ষিত প্রমাণ রয়েছে।

Comments

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

— মাহদী চেরাগচি

Answer 3

একটি উদাহরণ অ এর অস্তিত্ব প্রমাণ 10 আদেশের বিমানের ।

দেখুন অর্ডার 10 একটি নির্দিষ্ট প্রক্ষিপ্তভাবে প্লেন জন্য অনুসন্ধান করুন এবং অর্ডার 10 নির্দিষ্ট প্রক্ষিপ্তভাবে প্লেন অ অস্তিত্ব ।