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

أُضيف 1٬005 بايت ، ‏ قبل 9 سنوات
توسيع
(إضافة التصنيفات)
(توسيع)
تعرف بديهيات بيانو، المسماة أيضاً مسلمات بيانو، في المنطق الرياضي بأنها مجموعة من البديهيات الخاصة بالأعداد الطبيعية أوجدها في القرن التاسع عشر عالم الرياضيات الإيطالي [[جيوسيبي بيانو]]. استخدمت هذه البديهيات كما هي وبدون تعديلات تذكر في عدد من الأبحاث الرياضية أهمها التحقق من اتساق وكمال نظرية الأعداد.
 
أثار هيرمان غراسمان ضرورة الاهتمام بالشكليات {{إنج|formalism}} [[حسابيات|الحسابية]] عام 1860 من خلال أبحاثه التي بين فيها إمكانية [[استقراء رياضي|استقراء]] العديد من الحقائق الرياضية المعقدة بدءاً من حقائق أساسية عن عملية التالي وطريقة الاستقراء. أوجد الرياضي [[شارل ساندرز بيرس|تشارلز ساندرز بيرس]] عام 1881 تبديهاً (أي تبسيطاً للحقائق) {{إنج|Axiomatization}} لحساب الأعداد الطبيعية. وقد اقترح [[ريتشارد ديدكايند]] عام 1888 جملةً من البديهيات المتعلقة بالأعداد، ونشر بيانو عام 1889 نسخةً منها أكثر دقة ضمن كتابه "مبادئ الحساب موضحةً بطريقة جديدة" {{لات|Arithmetices principia, nova methodo exposita}}.
 
{{بذرة}}
804

تعديل