Теорията на доказателствата

Теорията на доказателствата изследва формалните математически твърдения. Доказателствата се представят като математически обекти, за да бъдат изследвани с помощта на математически техники. Първоначално теорията на доказателствата е създадена за обосноваване на инфинитните математически методи на базата на финитни, избягващи безкрайността разсъждения. Фреге се занимава с математически доказателства и формализира понятието доказателство. Терминът "теория на доказателствата" е предложен от Давид Хилберт.



{START_COUNTER}