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

ဝီကီပီးဒီးယား မှ

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

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

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

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

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

  • "Completeness"Encyclopædia Britannica၊ Encyclopædia Britannica, Inc.January 22, 2015 တွင် ပြန်စစ်ပြီး
  • "Foundations of mathematics"Encyclopædia Britannica၊ Encyclopædia Britannica, Inc.January 22, 2015 တွင် ပြန်စစ်ပြီး
  • "Philosophy of Mathematics"Stanford Encyclopedia of Philosophy၊ Center for the Study of Language and Information (CSLI), Stanford UniversityJanuary 22, 1015 တွင် ပြန်စစ်ပြီး |accessdate= ရှိ ရက်စွဲတန်ဖိုး စစ်ဆေးရန် (အကူအညီ)