തെളിവ് ഗണിതശാസ്ത്രത്തിൽ
ഏതെങ്കിലും ഒരു മൗലികതത്ത്വം ശരിയാണെങ്കിൽ ഒരു ഗണിതശാസ്ത്ര പ്രസ്താവനയും ശരിയായിരിക്കണം എന്നത് ബോദ്ധ്യപ്പെടുത്തുന്ന പ്രക്രീയയെയാണ് ഗണിതശാസ്ത്രത്തിൽ, തെളിവ് (proof) എന്ന് വിളിക്കുന്നത്. [1][2] സിദ്ധാന്തങ്ങളെ നിദാനമായെടുത്താണ് (ഡിഡക്റ്റീവ് റീസണിംഗ്) ഗണിതശാസ്ത്രത്തിലെ തെളിവുകൾ കണ്ടെത്തുന്നത്. വസ്തുതകളുടെ അടിസ്ഥാനത്തിലല്ല (ഇൻഡക്റ്റീവ് റീസണിംഗ്) ഇത്തരം വിചിന്തനങ്ങൾ നടക്കുന്നത്. ഗണിതശാസ്ത്ര പ്രസ്താവന എപ്പോഴും ശരിയാണെന്ന് കാണിച്ചാൽ മാത്രമേ അതിനെ തെളിവായി ഗണിതത്തിൽ അംഗീകരിക്കുകയുള്ളൂ. തെളിയിക്കപ്പെടാത്ത പ്രസ്താവനയെ അനുമാനം (കൺജെക്ചർ) എന്നാണ് ഗണിതത്തിൽ വിളിക്കുന്നത്.
അവലംബങ്ങൾ
സ്രോതസ്സുകൾ
പുറത്തേയ്ക്കുള്ള കണ്ണികൾ
- വാട്ട് ആർ മാത്തമാറ്റിക്കൽ പ്രൂഫ്സ് ആൻഡ് വൈ ദേ ആർ ഇമ്പോർട്ടന്റ്?
- 2πix.com: ലോജിക്ക് ഫലകം:Webarchive പാർട്ട് ഓഫ് എ സീരീസ് ഓഫ് ആർട്ടിക്കിൾസ് കവറിംഗ് മാത്തമാറ്റിക്സ് ആൻഡ് ലോജിക്.
- ഹൗ റ്റു റൈറ്റ് പ്രൂഫ്സ് ലാറി ഡബ്ല്യൂ. ക്യൂസിക്ക്
- ഹൗ റ്റുറൈറ്റ് എ പ്രൂഫ് ലെസ്ലി ലാമ്പോർട്ട് ദി മോട്ടിവേഷൻ ഓർ പ്രൊപോസിംഗ് സച്ച് എ ഐറാർക്കിയൽ പ്രൂഫ് സ്റ്റൈൽ.
- പ്രൂഫ്സ് ഇൻ മാത്തമാറ്റിക്സ്: സിമ്പിൾ, ചാമിംഗ് ആൻഡ് ഫലേഷ്യസ്
- ദി സെവന്റീൻ പ്രൂവേഴ്സ് ഓഫ് ദി വേൾഡ്, ed. ബൈ ഫ്രീക് വൈഡിജ്ക്, ഫോർവേഡ് ബൈ ഡാന എസ്. സ്കോട്ട്, ലക്ചർ നോട്ട്സ് ഇൻ കമ്പ്യൂട്ടർ സയൻസ് 3600, സ്പ്രിംഗർ, 2006, ISBN 3-540-30704-4. കണ്ടൈൻസ് ഫോർമലൈസ്ഡ് വേർഷൻസ് ഓഫ് പ്രൂഫ് ദാറ്റ് ഈസ് ഇറേഷണൽ ഇൻ സെവറൽ ഔട്ടോമേറ്റഡ് പ്രൂഫ് സിസ്റ്റംസ്.
- വാട്ട് ഈസ് പ്രൂഫ്? തോട്ട്സ് ഓൺ പ്രൂഫ്സ് ആൻഡ് പ്രൂവിംഗ്.
- പ്രൂഫ്വിക്കി.ഓർഗ് ഫലകം:Webarchive എ വിക്കി കമ്പെൻഡിയം ഓഫ് മാത്തമാറ്റികൽ പ്രൂഫ്സ്.
- planetmath.org വിക്കി ശൈലിയിൽ തെളിവുകൾക്കായുള്ള വിജ്ഞാനകോശം
- തെളിവ് സംബന്ധിച്ച് വിക്കി സർവ്വകലാശാലയിലെ ഒരു പാഠം
- ദി റോൾ ആൻഡ് ഫങ്ഷൻ ഓഫ് പ്രൂഫ് ഫലകം:Webarchive മൈക്കൽ ഡെ വില്ലിയേഴ്സ്
- ഡെവലപ്പിംഗ് അണ്ടർസ്റ്റാൻഡിംഗ് എബൗട്ട് ഡിഫറന്റ് റോൾസ് ഓഫ് പ്രൂഫ് ഫലകം:Webarchive മൈക്കൽ ഡെ വില്ലിയേഴ്സ്