Category:Proof theory

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search
teoría de la demostración (es); teori bukti (ms); Beweistheorie (de); نظریه برهان (fa); 证明论 (zh); Tanıtlama teorisi (tr); 証明論 (ja); bevisteori (sv); תורת ההוכחות (he); 語法地 (zh-hant); 语法地 (zh-cn); 증명 이론 (ko); pruvoteorio (eo); teoria della dimostrazione (it); প্রমাণ তত্ত্ব (bn); théorie de la démonstration (fr); تيوري بوقتي (ms-arab); Lý thuyết chứng minh (vi); teoria da prova (pt); Bewysteorie (af); теорија доказа (sr); 证明论 (zh-hans); Ապացույցների տեսություն (hy); teoria de la demostració (ca); теорија доказа (sr-ec); သက်သေပြချက်သီအိုရီ (my); teoria dowodu (pl); د ثبوت نظريه (ps); bewijstheorie (nl); теория доказательств (ru); теорія доведення (uk); 證明論 (lzh); todistusteoria (fi); proof theory (en); نظرية البرهان (ar); teòria de ła demostrasion (vec); teorija dokaza (sr-el) သင်္ချာယုတ္တိဗေဒ၏ ဘာသာခွဲတစ်ခု (my); 数理論理学の一分野であり、証明を数学的対象として形式的に表して数学的解析を施す分野 (ja); Teilgebiet der mathematischen Logik (de); branch of mathematical logic (en); fako de matematika logiko (eo); গাণিতিক যুক্তির শাখা (bn); rama de la lógica matemática (es) teoría de la prueba, teoria de la prueba, teoria de la demostracion, teoria de la demostración, teoría de la demostracion (es); 証明理論, 証明 (数学) (ja); théorie de la preuve (fr); תורת ההוכחה (he); математическая теория доказательств (ru); 증명이론, 증명론 (ko); نظریه اثبات, تئوری اثبات, نظریهٔ برهان (fa); pruvteorio (eo); 验证理论 (zh); نظريه البرهان (ar)
proof theory 
branch of mathematical logic
Upload media
Instance of
Subclass of
Authority control
ReasonatorScholiaPetScanstatisticsWikiMapLocator toolKML fileSearch depicted
Edit infobox data on Wikidata
English: In mathematics, Proof theory is the study of formalized arguments.

Subcategories

This category has the following 3 subcategories, out of 3 total.

I

Media in category "Proof theory"

This category contains only the following file.