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