«Ապացույցների տեսություն»–ի խմբագրումների տարբերություն

'''Ապացույցների տեսություն''', մաթեմատիկական տրամաբանության բաժին, որ ներկայացնում է ապացույցներ ֆորմալ մաթեմատիկական օբյեկտների տեսքով, որոնց վերլուծությունը իրականանում է մաթեմատիկական մեթոդների օգնությամբ: Ապացույցները հիմնականում լինում են ինդուկտիվ կերպով որոշված տվյալների համակարգի տեսքով, որորոնք ստեղծվել են ֆորմալ համակարգերի աքսիոմաներինաքսիոմներին և եզրակացություններին համապատասխան: Այդ եղանակով ապացույցների տեսությունը [[Տրամաբանական շարահյուսություն|սինտակտային]] են` ի տարբերություն մոդելների իմաստաբանական տեսության: Մոդելների տեսության, բազմության աքսիոմատիկ տեսության և ալգորիթմների տեսության հետ միասին ապացույցների տեսությունը մաթեմատիկայիմաթեմատիկայի՝ այսպես կոչված «չորս սյուներից» մեկն է<ref name=wang>E.g., Wang (1981), pp. 3-4, and Barwise (1978).</ref>: Ապացույցների տեսությունը օգտագործում է ապացույցների հասկացությունների ճշգրիտ սահմանումները:

Չնայած տրամաբանության ձևավորումը նշանակալիորեն զարգացում է ապրել այնպիսի հեղինակների ստեղծագործությունների շնորհիվ, ինչպիսիք են Գ. ՖրեգըՖրեգեն, Ջ. Պեանոն, Բ. Ռասելը և Ռ. Դեդեքինդը: Սակայն ապացույցների տեսության հիմնադիրը համարվում է Հիլբերտը, ով ստեղծել է այն, ինչ կոչվում է Հիլբերտի ծրագիր մաթեմատիկայի հիմունքների համար: