သက်သေပြချက်သီအိုရီ
သင်္ချာယုတ္တိဗေဒ၏ ဘာသာခွဲတစ်ခု
သင်္ချာဆိုင်ရာ သက်သေပြချက်များ (mathematical proofs) နှင့် သင်္ချာဆိုင်ရာ သက်သေပြနိုင်မှု/မပြနိုင်မှု (mathematical provability) စသည့် သဘောတရားများကို လေ့လာသည့် ဘာသာကို သက်သေပြချက် သီအိုရီ (proof theory) ဟု ခေါ်သည်။[၁]
အညွှန်း
ပြင်ဆင်ရန်ကိုးကား
ပြင်ဆင်ရန်- Buss၊ Samuel R. (1998)၊ "An Introduction to Proof Theory"၊ in Buss၊ Samuel R. (ed.)၊ Handbook of Proof Theory၊ Elsevier၊ ISBN 0-444-89840-9
 | ဤ သင်္ချာနှင့် သက်ဆိုင်သော ဆောင်းပါးမှာ ဆောင်းပါးတိုတစ်ပုဒ် ဖြစ်သည်။ ဖြည့်စွက်ရေးသားခြင်းဖြင့် မြန်မာဝီကီပီးဒီးယားကို ကူညီပါ။ |