«Մաթեմաթիկական ապացոյց» խմբագրումներու միջեւ տարբերութիւն
Content deleted Content added
No edit summary |
|||
Տող 1.
Մաթեմաթիկական ապացոյցը մաթեմաթիկական պնդման համար տրամաբանական փաստարկ է, որ ցուց կու տայ, որ նշուած դատողութիւնները տրամաբանօրէն կ'երաշխաւորեն եզրակացութիւնը: Փաստարկը կարելի է օգտագործել նախկին դուրս բերուած այլ պնդումներ, ինչպիսիք թեորեմներն են, սակայն իւրաքանչիւր ապացոյց սկզբունքօրէն, կարելի է կառուցուել՝ օգտագործելով միայն որոշ հիմնական կամ նախնական ենթադրութիւններ, որոնք յայտնի են որպէս աքսիոմներ,
Ապացոյցները, բնական լեզուի հետ մէկտեղ, որոնք սովորաբար երկիմաստութիւն կը պարունակեն, կ'օգտագործեն որոշակի տրամաբանութիւն արտայայտող մաթեմաթիկական սիմվոլներ։ Ապացոյցներու տեսութեան մէջ կը դիտարկուին առանց բնական լեզուի օգտագործման, սիմվոլիկ լեզուով գրուած, լիովին ֆորմալ ապացոյցները։ Ֆորմալ և ոչ ֆորմալ ապացոյցներու տարբերութիւնը բերած է ընթացիկ և պատմական մաթեմաթիկական փորձառութեան քննութեան՝ քվազի-էմպիկրիզմին մաթեմաթիկայի մէջ, և այսպէս կոչուած ժողովրդական մաթեմաթիկային, հիմնական մաթեմաթիկան հանրութեան և այլ մշակոյթներու մէջ բանաւոր աւանդոյթներուն։
| |||