رياضياتي ثبوت

رياضياتي ثبوت (Mathematical Proof) ڪنهن به رياضياتي بيان لاءِ هڪ اهڙو استخراجي دليل هوندو آهي، جيڪو ثابت ڪري ٿو ته ڏنل فرض ڪيل ڳالهيون (Assumptions) منطقي طور تي نتيجي جي ضمانت ڏين ٿيون. ثبوت صرف ڪجهه مثالن تي ٻڌل نه هوندو آهي، پر اهو ظاهر ڪرڻ ضروري هوندو آهي ته بيان "هر حال ۾" سچو آهي.

 ثبوت جي جوڙجڪ 
هڪ رياضياتي ثبوت ۾ هيٺيان عنصر شامل هوندا آهن:
 اڪسيومز (Axioms): اهي بنيادي سچايون جن کي بغير ثبوت جي مڃيو ويندو آهي.
 منطقي نتيجا (Inference): اڳواٽ ثابت ٿيل ٿيوريمز ۽ منطق جي اصولن جو استعمال.
 مفروضو (Conjecture): اهڙو بيان جيڪو سچو ته لڳي پر اڃا تائين ثابت نه ٿيو هجي. جيڪڏهن اهو ثابت ٿي وڃي ته ان کي ٿيوريم چيو ويندو آهي.

 رسمي ۽ غير رسمي ثبوت 
رياضي دان ثبوتن کي ٻن طريقن سان لکندا آهن:
 غير رسمي ثبوت (Informal Proof): جنهن ۾ قدرتي ٻولي (جهڙوڪ سنڌي يا انگريزي) سان گڏ رياضياتي علامتون استعمال ٿينديون آهن. اڪثر رياضياتي لٽريچر هن طرز تي هوندو آهي.
 رسمي ثبوت (Formal Proof): جيڪو مڪمل طور تي علامتي ٻوليءَ ۾ لکيو ويندو آهي ۽ ان ۾ انساني ٻوليءَ جو دخل نه هوندو آهي. هي "پروف ٿيوري" جو خاص موضوع آهي.

 ثبوت جا مختلف طريقا 
رياضي ۾ ڪنهن ڳالهه کي ثابت ڪرڻ جا ڪيترائي طريقا آهن:
 سڌو ثبوت (Direct Proof): جتي اڪسيومز ۽ قاعدن کي سڌي طرح استعمال ڪري نتيجو ڪڍيو وڃي.
 تضاد ذريعي ثبوت (Proof by Contradiction): جتي فرض ڪيو وڃي ته بيان غلط آهي، ۽ پوءِ ثابت ڪيو وڃي ته اهو فرض ڪرڻ سان هڪ ناممڪن صورتحال پيدا ٿئي ٿي.
 رياضياتي انڊڪشن (Mathematical Induction): جيڪو اڪثر انگن جي سلسلن کي ثابت ڪرڻ لاءِ استعمال ٿيندو آهي.

 اهم اصطلاح 
 اصطلاح  مطلب ٿيوريم (Theorem)  اهڙو بيان جيڪو منطقي طور ثابت ٿي چڪو هجي. ليما (Lemma)  هڪ ننڍو ثابت ٿيل بيان جيڪو وڏي ٿيوريم کي ثابت ڪرڻ ۾ مدد ڪري. ڪورولري (Corollary)  اهڙو نتيجو جيڪو ڪنهن ٿيوريم مان سڌو سنئون نڪرندو هجي.

 حوالا 

زمرو:رياضي
زمرو:منطق
زمرو:رياضياتي ثبوت