သက်သေပြချက်သီအိုရီ

ဝီကီပီးဒီးယား မှ
၁၈:၁၇၊ ၂၃ ဇန်နဝါရီ ၂၀၁၅ နေ့က မင်းသန့် (ဆွေးနွေး | ပံ့ပိုး) (bold) တည်းဖြတ်သည့်မူ
(ကွဲပြားမှု) ← မူဟောင်း | နောက်ဆုံး မူ (ကွဲပြားမှု) | ပိုသစ်သော တည်းဖြတ်မူ → (ကွဲပြားမှု)

သင်္ချာဆိုင်ရာ သက်သေပြချက်များ (mathematical proofs) နှင့် သင်္ချာဆိုင်ရာ သက်သေပြနိုင်မှု/မပြနိုင်မှု (mathematical provability) စသည့် သဘောတရားများကို လေ့လာသည့် ဘာသာကို သက်သေပြချက် သီအိုရီ (proof theory) ဟု ခေါ်သည်။[၁]

အညွှန်း[ပြင်ဆင်ရန်]

  1. Buss 1998, p. 2.

ကိုးကား[ပြင်ဆင်ရန်]

  • Buss၊ Samuel R. (1998)၊ "An Introduction to Proof Theory"၊ in Buss၊ Samuel R. (ed.)၊ Handbook of Proof Theory၊ Elsevier၊ ISBN 0-444-89840-9