مسلمات بيانو: الفرق بين النسختين

أُضيف 86 بايت ، ‏ قبل سنتين
ط
بوت:إصلاح تحويلات القوالب
ط (بوت: إضافة بوابات معادلة 1 (ᴇɴ) (بوابة:فلسفة))
ط (بوت:إصلاح تحويلات القوالب)
أثار [[هيرمان كراسمان]] عام [[1860]] الاهتمام حول الشكليات {{إنج|formalism}} [[حسابيات|الحسابية]] من خلال أبحاثه التي بين فيها إمكانية [[استقراء رياضي|استقراء]] العديد من الحقائق الرياضية المعقدة بدءاً من حقائق قاعدية بسيطة توضح ماهية عملية التالي وطريقة القيام بالاستقراء. عام [[1881]] أوجد الرياضي [[شارل ساندرز بيرس|تشارلز ساندرز بيرس]] تبديهاً (أي تبسيطاً للحقائق) {{إنج|Axiomatization}} لحساب الأعداد الطبيعية. وقد اقترح [[ريتشارد ديدكايند]] عام [[1888]] جملةً من البديهيات المتعلقة بالأعداد، ونشر [[جيوسيبي بيانو|بيانو]] عام [[1889]] ضمن كتابه "مبادئ الحساب موضحةً بطريقة جديدة" {{لات|Arithmetices principia, nova methodo exposita}} نسخةً أكثر دقة من هذه البديهيات.
 
تقع بديهيات بيانو ضمن ثلاث فئات: تحتوي '''الفئة الأولى''' على بديهية واحدة تجزم وجوب احتواء مجموعة الأعداد على عنصر واحد على الأقل.<ref>{{harvnbاستشهاد بهارفارد دون أقواس|Gentzen|1936}}</ref><ref>{{harvp|Hermes|1973|loc=VI.3.1}}</ref><ref>{{harvnbاستشهاد بهارفارد دون أقواس|Hilbert|1900}}</ref> تتضمن '''الفئة الثانية''' أربع بديهيات تصف خصائص المساواة، أما '''الفئة الثالثة''' فهي تتضمن جملاً من [[منطق الرتبة الأولى|الرتبة الأولى]] تتعلق بالأعداد الطبيعية وتعبر عن الصفات الرئيسية لعملية التالي، بالإضافة إلى جملة واحدة من [[منطق الرتبة الثانية|الرتبة الثانية]] تُعتبر قاعدةَ الاستقراء الرياضي للأعداد الطبيعية. من الجدير بالذكر أنه يمكن الحصول على نظام من منطق الرتبة الأولى أضعف (أقل قدرة تعبيرية) من حساب بيانو من خلال إضافة رموز عمليات الجمع والضرب إلى جملة البديهيات واستبدال بديهية الاستقراء ذات الرتبة الثانية [[مخطط بديهية|بمخطط بديهية]] من الرتبة الأولى.
 
== البديهيات ==