«Մաթեմաթիկական ապացոյց» խմբագրումներու միջեւ տարբերութիւն
Content deleted Content added
No edit summary |
|||
Տող 18.
== Պատմութիւն և ստուգաբանութիւն ==
Տե՛ս նաև՝ History of logic
«Վստահութիւն» իրաւական թերմինը կը նշանակէ հեղինակութիւն կամ հաւաստիութիւն՝ փաստեր ապացուցելու համար, հեղինակութիւն կամ կարգավիճակ ունեցող անձանց կողմէն տրուած վկայութեան
Խիստ մաթեմաթիկական ապացոյցներուն նախորդեր են նմանութեան փաստարկները, ինչպիսիք են նկարները և անալոգիաները։<ref name="Krantz">[http://www.math.wustl.edu/~sk/eolss.pdf The History and Concept of Mathematical Proof], Steven G. Krantz. 1. February 5, 2007</ref> Հաւանաբար, եզրակացութեան գաղափարը առաջացեր է երկրաչափութեան հետ կապուած, որ
Մաթեմաթիկական ապացոյցը յեղփոխականացուեցաւ Էվկլիդեսի կողմից (Ք.Ա․300), որ մտցուց աքսիոմաթիկ մեթոտ, որ մինչեւ այսօր կ'օգտագործուի։ Այն կը սկսի չսահմանուած հասկացութիւններէն և աքսիոմներէն, կ'ենթադրուի որ չսահմանուած թերմինները ինքնին ակնյայտ է որ ճիշտ են (յունարէն "axios", ինչ որ արժէքաւոր բան)։ Այս հիմքի վրայ մեթոտը թէորեմները կ'ապացուցէ օգտագործելով դեդուկտիւ տրամաբանութիւն։
Հետագայ առաջընթացներ տեղի ունեցան միջնադարեան իսլամական մաթեմաթիկայի մէջ։ Մինչ վաղ յունական ապացոյցները հիմնականին կը կրէին երկրաչափական ցուցադրութիւններ, մահմետական մաթեմաթիկոսներու կողմէն թուաբանութեան և հանրահաշուի զարգացումը աւելի ընդհանուր ապացոյցներ կ'օգտագործէին, անկախ երկրաչափական մտատեսութիւնէն (intuition)։ 10-րդ դարու Իրաքեան մաթեմաթիկոս Al-Hashimi-ն թիւերու հետ կ'աշխատէր որպէս շարքեր և հանրահաշուական գործողութիւններ պարունակող առաջադրանքները, ներառեալ անտրամաբանական թիւերու գոյութիւնը, ապացուցելու համար, անպայման չէ երկրաչափական առարկաներու չափումներ կատարել։<ref>{{citation|last=Matvievskaya|first=Galina|year=1987|title=The Theory of Quadratic Irrationals in Medieval Oriental Mathematics|journal=[[New York Academy of Sciences|Annals of the New York Academy of Sciences]]|volume=500|issue=1|pages=253–77 [260]|doi=10.1111/j.1749-6632.1987.tb37206.x|bibcode=1987NYASA.500..253M}}</ref>Ալ-Ֆաղրիում (1000) Ալ-Քարաճին մակածութեան (induction) մեթոտը օգտագործեց թուաբանական յառաջատուութեան համար։ Ան այն օգտագործեց նաև (binomial theorem) երկրաբաշխական օրէնքը ապացուցելու և Փասքալի եռանկեան յատկութիւններու համար։ Ալ հազենը ապուցուցման եղանակները զարգացուց "հակառակ ենթադրութիւնէն ապացոյցով", որպէս առաջին փորձ կիրառելով այն եւկլիտեան (Euclidian) երկրաչափութեան զուգահեռութեան յառաջադրութիւնը կամ ենթադրութիւնը (postulate) ապացուցելու համար։<ref>{{Citation |last=Eder |first=Michelle |year=2000 |title=Views of Euclid's Parallel Postulate in Ancient Greece and in Medieval Islam |url=http://www.math.rutgers.edu/~cherlin/History/Papers2000/eder.html |publisher=[[Rutgers University]] |accessdate=January 23, 2008 }}</ref>
Ժամանակակից ապացուցներու տեսութիւնը ապացոյցները կը դիտարկէ որպէս մակածութեան (induction) սահմանուած տուեալներու կառուցուածք, որոնք չեն պահանջեր աքսիոմներու ճշմարիտ լինելը որևէ իմաստով։ Այս թոյլ կու տայ զուգահեռ օգտագործել զուգահեռ մաթեմաթիկական տեսութիւններ որպէս տուած մտատեսութիւն (intuition) հասկացութեան ֆորմալ մոտելներ, որոնք հիմնուած են աքսիոմաներու (alternative) փոխընտրութիւն բազմութեան վրայ, օրինակ, բազմութիւններու աքսիոմաթիկ տեսութիւն և Ոչ-եւկլիտեան (Euclidian) երկրաչափութիւն։
|