သင်္ချာအခြေခံ

ဝီကီပီးဒီးယား မှ
ဤနေရာသို့သွားရန် - အ​ညွှန်း​, ရှာဖွေရန်

သင်္ချာအခြေခံ (Foundations of mathematics) ဟူသည် သင်္ချာပညာရပ်၏ အထိုင်အုတ်မြစ်နှင့် သက်ဆိုင်သည့် ယုတ္တိဗေဒနှင့် ဒဿနိကဗေဒဆိုင်ရာ ကိစ္စရပ်များကို လေ့လာသည့် ဘာသာရပ်ဖြစ်သည်။ သာဓကအားဖြင့် အက်ဆီယမ်စနစ်တစ်ခု (axiom system) အတွင်း သဟဇာတဖြစ်မှု (consistency) ရှိ/မရှိ နှင့် ပြီးပြည့်စုံမှု (completeness)[မှတ်စု ၁] ရှိ/မရှိ လေ့လာခြင်းမျိုးဖြစ်သည်။[၂] သင်္ချာ၏ သဘောသဘာဝနှင့် ပတ်သက်သည့် အတွေးအခေါ်ဆိုင်ရာ သီအိုရီ သဘောတရားများ၊ ၎င်းတို့၏ အကျိုးသက်ရောက်မှုများ စသည်တို့ကိုလည်း လေ့လာလေ့ရှိသည်။[၃]

မှတ်စု (Notes)[ပြင်ဆင်ရန်]

  1. ပြီးပြည့်စုံမှု (completeness) ရှိသည့် အက်ဆီယမ်စနစ်ဆိုသည်မှာ ၎င်းစနစ်တွင်းရှိ closed sentences ခေါ် ဝါကျအပိတ် များကို မှန်သည်၊ သို့မဟုတ် မှားသည်ဟု၊ တစ်မျိုးတိတိသာ သက်သေပြနိုင်သည့် စနစ်တစ်ခုဖြစ်သည်။[၁]

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

ကျမ်းကိုး/အကိုးအကား (References)[ပြင်ဆင်ရန်]

  • "Completeness", Encyclopædia Britannica (Encyclopædia Britannica, Inc.), retrieved January 22, 2015 
  • "Foundations of mathematics", Encyclopædia Britannica (Encyclopædia Britannica, Inc.), retrieved January 22, 2015 
  • "Philosophy of Mathematics", Stanford Encyclopedia of Philosophy (Center for the Study of Language and Information (CSLI), Stanford University), retrieved January 22, 1015