गणितीय पुरावा

गणितीय पुरावा हा गणितीय विधानासाठी एक तार्किक युक्तिवाद आहे, जो दर्शविते की सांगितलेली गृहितके तार्किकदृष्ट्या निष्कर्षाची हमी देतात । युक्तिवाद हा इतर पूर्वप्रस्थापित विधाने वापरू शकतो, उदाहरणार्थ प्रमेय ; परंतु प्रत्येक पुरावा, तत्त्वतः, केवळ काही मूलभूत किंवा मूळ गृहितके वापरून तयार केला जाऊ शकतो ज्याला अनुमानांच्या मान्य नियमांसह स्वयंप्रस्थापित सिद्धांत म्हणून ओळखले जाते । पुरावे ही सर्वसमावेशक व्युत्पन्न युक्तिवादाची उदाहरणे आहेत जी तार्किक निश्चितता प्रस्थापित करतात, अनुभवजन्य युक्तिवाद किंवा गैर-संपूर्ण प्रेरक तर्कांपासून वेगळे केले जातात जे "वाजवी अपेक्षा" स्थापित करतात। अनेक प्रकरणे सादर करणे ज्यामध्ये विधान धारण केले आहे ते पुराव्यासाठी पुरेसे नाही, जे सर्व संभाव्य प्रकरणांमध्ये विधान सत्य आहे हे दाखवणे आवश्यक असते । एक प्रस्ताव जो अद्याप सिद्ध झाला नाही परंतु सत्य आहे असे मानले जाते त्याला कंजेक्चर म्हणून ओळखले जाते, या ते जर पुढील गणितीय कार्यासाठी गृहीतक म्हणून वारंवार वापरल्यास त्याला एक हायपोथेसिस म्हणले जाते ।

विकिपीडियावर संपूर्ण लेख वाचा →