கணித நிறுவல்: திருத்தங்களுக்கு இடையிலான வேறுபாடு
No edit summary |
|||
வரிசை 33: | வரிசை 33: | ||
==மேற்கோள்கள்== |
==மேற்கோள்கள்== |
||
{{Reflist|30em}} |
{{Reflist|30em}} |
||
==தகவல் வாயில்கள்== |
|||
*{{citation|last=Pólya|first=G.|authorlink=George Pólya|title=[[Mathematics and plausible reasoning|Mathematics and Plausible Reasoning]]|publisher=Princeton University Press|year=1954}}. |
|||
*{{citation|last=Fallis|first=Don|year=2002|url=http://dlist.sir.arizona.edu/1581/|title=What Do Mathematicians Want? Probabilistic Proofs and the Epistemic Goals of Mathematicians|journal=Logique et Analyse|volume=45|pages=373–388}}. |
|||
*{{citation|author1-link=James Franklin (philosopher)|last1=Franklin|first1=J.|last2=Daoud|first2=A.|url=http://www.maths.unsw.edu.au/~jim/proofs.html|title=Proof in Mathematics: An Introduction|publisher=Kew Books|year=2011|isbn=0-646-54509-4}}. |
|||
*{{citation|last=Solow|first=D.|title=How to Read and Do Proofs: An Introduction to Mathematical Thought Processes|publisher=[[Wiley Publishing|Wiley]]|year=2004|isbn=0-471-68058-3}}. |
|||
*{{citation|last=Velleman|first=D.|title=How to Prove It: A Structured Approach|publisher=Cambridge University Press|year=2006|isbn=0-521-67599-5}}. |
|||
==வெளி இணைப்புகள்== |
|||
{{Wiktionary|proof}} |
|||
* [http://www.cut-the-knot.org/proofs/index.shtml Proofs in Mathematics: Simple, Charming and Fallacious] |
|||
* A [[v:Discrete Mathematics for Computer Science/Proof|lesson]] about proofs, in a [[v:Discrete Mathematics for Computer Science|course]] from [[v:|Wikiversity]] |
|||
13:08, 19 ஆகத்து 2017 இல் நிலவும் திருத்தம்
இந்தக் கட்டுரை 'உலோ.செந்தமிழ்க்கோதை' எனும் பயனரால் தொடர்பங்களிப்பாளர் போட்டிக்காக ஆகத்து 17, 2017 அன்று முற்பதிவு செய்யப்பட்டுள்ளது. அருள்கூர்ந்து, வேறு எவரும் 10 நாட்களுக்கு இக்கட்டுரையில் எதுவித தொகுப்புக்களையும் செய்யவேண்டாம். இக்கட்டுரை 10 நாட்களுக்கு மேல் குறிப்பிட்ட பயனரால் தொகுக்கப்படாதிருப்பின், இங்கிருக்கும் வார்ப்புருவை நீக்கிவிட்டு, வேறொருவர் இந்தக் கட்டுரையைத் தொகுக்கலாம். |
கணிதத்தில் கணித நிறுவல் என்பது, அத்துறையின் வரையறைகளுக்கு உட்பட்ட வகையில், கணிதவியல் கூற்று ஒன்றை ஏற்றுக்கொள்ளத்தக்க வகையில் விளக்குவதாகும். நிறுவல் என்பது தருக்க அடிப்படையில் உய்த்தறியும் ஒரு முறை. சோதனைகள் மூலம் பெறப்படுவது அல்ல. அதாவது, எடுகோள், ஒரு விதிவிலக்குக் கூட இல்லாமல் அது பயன்படுத்தப்படும் எல்லாச் சந்தர்ப்பங்களுக்கும் உண்மை என்பதை, நிறுவல் விளக்கவேண்டும். சரியாக இருக்கக்கூடும் என நம்பப்படும் ஆனால் நிறுவப்படாத ஒரு கூற்று, ஊகம் எனப்படும்.
நிறுவல் தருக்கத்தைப் பயன்படுத்துகிறது எனினும், வழமையாக இயல்பான மொழியும் பயன்படுத்தப்படுகின்ற காரணத்தால் நிறுவலில் ஓரளவு மயக்க நிலையும் (ambiguity) காணப்படுவதுண்டு. உண்மையில் எழுத்துமூலக் கணிதத்தில் பெரும்பாலான நிறுவல்கள் முறைசாராத் தருக்கத்தைப் (informal logic) பயன்படுத்துகின்றன. தூய முறைசார் நிறுவல்கள் நிறுவல் கோட்பாட்டில் கையாளப்படுகின்றன. முறைசார்ந்த நிறுவலுக்கும், முறைசாரா நிறுவலுக்கும் இடையிலான வேறுபாடு தற்காலத்திலும், முன்னரும் கைக்கொள்ளப்பட்ட கணிதச் செயல்முறைகள் பற்றிய பல ஆய்வுகளுக்கு வித்திட்டுள்ளது. கணித மெய்யியல், நிறுவல்களில் மொழியினதும், தருக்கத்தினதும் பங்குகளைக் கருத்தில் எடுத்துக்கொள்கிறது.
உண்மை என நிறுவப்பட்ட ஒரு கூற்று தேற்றம் (theorem) எனப்படும். நிறுவப்பட்ட ஒரு தேற்றத்தை வேறு கூற்றுக்களை நிறுவுவதற்குப் பயன்படுத்தலாம். பிற தேற்றங்களை நிறுவுவதற்கு அடிப்படையாகப் பயன்படும் தேற்றங்களை முற்கோள்கள் (lemma) என்றும் குறிப்பிடுவது உண்டு. அடிப்படை உண்மைகள் என்பன ஒருவரால் நிறுவப்படத் தேவையற்ற கூற்றுக்கள் ஆகும்.
நிறுவல் முறைகள்
நேரடி நிறுவல்
நேரடி நிறுவலில், அடிப்படை உண்மைகள், வரைவிலக்கணங்கள், நிறுவப்பட்ட தேற்றங்கள் என்பன தருக்க முறையில் ஒன்றிணைக்கப்படுகின்றன. எடுத்துக்காட்டாக, இரண்டு இரட்டை முழுஎண்களின் கூட்டுத்தொகை எப்பொழுதும் இரட்டை எண்ணே என நிறுவுவதற்கு நேரடி நிறுவல் முறையைப் பயன்படுத்தலாம்.
எதிர்மறுப்பு நிறுவல்
எதிர்மறுப்பு நிறுவல் முறையில், ஒரு கூற்று உண்மையானது என்பதை நிறுவ, அக்கூற்று உண்மையில்லை என எடுத்துக்கொண்டு, அதன் விளைவாக ஏற்கனவே நிறுவப்பட்ட வேறு கூற்றுகளில் முரண்பாடு ஏற்படுவதைச் சுட்டிக்காட்டுவதன் மூலம் கூற்று உண்மையாகத்தான் இருக்க வேண்டும் என நிறுவப்படுகிறது. இது மறைமுக நிறுவல் அல்லது முரண்பாடு நிறுவல் எனவும் அழைக்கப்படுகிறது.
உய்த்தறி முறை நிறுவல்
இடமாற்ற முறை நிறுவல்
மேற்கோள்கள்
- ↑ Bill Casselman. "One of the Oldest Extant Diagrams from Euclid". University of British Columbia. பார்க்கப்பட்ட நாள் 2008-09-26.
{{cite web}}
: Cite has empty unknown parameter:|coauthors=
(help)
தகவல் வாயில்கள்
- Pólya, G. (1954), Mathematics and Plausible Reasoning, Princeton University Press.
- Fallis, Don (2002), "What Do Mathematicians Want? Probabilistic Proofs and the Epistemic Goals of Mathematicians", Logique et Analyse, 45: 373–388.
- Franklin, J.; Daoud, A. (2011), Proof in Mathematics: An Introduction, Kew Books, ISBN 0-646-54509-4.
- Solow, D. (2004), How to Read and Do Proofs: An Introduction to Mathematical Thought Processes, Wiley, ISBN 0-471-68058-3.
- Velleman, D. (2006), How to Prove It: A Structured Approach, Cambridge University Press, ISBN 0-521-67599-5.
வெளி இணைப்புகள்
- Proofs in Mathematics: Simple, Charming and Fallacious
- A lesson about proofs, in a course from Wikiversity