كتب التدوين الرياضي والدقة
اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.
التدوين الرياضي، والدقة (معلومة)
معظم الرموز الرياضية المستخدمة اليوم لم يتم اختراعها حتى القرن السادس عشر. قبل ذلك، تم كتابة الرياضيات بالكلمات، مما يحد من الاكتشافات الرياضية. كان أويلر (1707-1783) مسؤولًا عن العديد من الرموز المستخدمة اليوم. التدوين الحديث يجعل الرياضيات أسهل بكثير بالنسبة للمحترفين، ولكن المبتدئين غالبا ما يجدونها شاقة. وفقا لباربرا أوكلي، يمكن أن يعزى ذلك إلى حقيقة أن الأفكار الرياضية هي أكثر تجريدية وأكثر تشفيرًا من أفكار اللغة الطبيعية. على عكس اللغة الطبيعية، حيث يمكن للناس في كثير من الأحيان مساواة كلمة (مثل الشجرة) مع الشيء المادي الذي تقابله، فإن الرموز الرياضية مجردة، وتفتقر إلى أي تناظرية مادية. الرموز الرياضية مشفرة أيضًا بدرجة أكبر من الكلمات العادية، مما يعني أن الرمز الواحد يمكن أن يشفر عددًا من العمليات أو الأفكار المختلفة.
قد يصعب فهم اللغة الرياضية بالنسبة للمبتدئين لأن المصطلحات الشائعة، مثل أو فقط، لها معنى أكثر دقة من المصطلحات المستخدمة في الكلام اليومي، بينما تشير المصطلحات الأخرى مثل "فتح" و"حقل" إلى أفكار رياضية محددة، لا تغطيها معاني العلمانيين. تتضمن اللغة الرياضية أيضًا العديد من المصطلحات الفنية مثل التجانس التماثلي والتكامل الذي لا معنى له خارج الرياضيات. بالإضافة إلى ذلك، تنتمي العبارات المختصرة مثل "iff" ل"إذا وفقط إذا" إلى المصطلحات الرياضية. هناك سبب للتدوين الخاص والمفردات الفنية: تتطلب الرياضيات دقة أكثر من الكلام اليومي. يشير علماء الرياضيات إلى هذه الدقة في اللغة والمنطق باسم "الصرامة".
البرهان الرياضي هو في الأساس مسألة صرامة. يريد علماء الرياضيات أن تتبع نظرياتهم من البديهيات عن طريق التفكير المنهجي. هذا هو تجنب "النظريات" الخاطئة، القائمة على الحدس الخاطئ، والتي حدثت العديد من الحالات في تاريخ الموضوع. تباين مستوى الصرامة المتوقعة في الرياضيات بمرور الوقت: توقع اليونانيون حججًا مفصلة، لكن في زمن إسحاق نيوتن كانت الأساليب المستخدمة أقل صرامة. المشاكل الكامنة في التعاريف التي يستخدمها نيوتن ستؤدي إلى عودة التحليل الدقيق والدليل الرسمي في القرن التاسع عشر. سوء الفهم للدقة هو سبب لبعض المفاهيم الخاطئة الشائعة في الرياضيات. اليوم، يواصل علماء الرياضيات الجدال فيما بينهم حول البراهين المدعومة بالحاسوب. نظرًا لأنه يصعب التحقق من الحسابات الكبيرة، فقد لا تكون هذه الأدلة دقيقة بدرجة كافية.
البديهيات في الفكر التقليدي كانت "حقائق بديهية"، ولكن هذا المفهوم إشكالي. على المستوى الرسمي، البديهية هي مجرد سلسلة من الرموز، التي لها معنى جوهري فقط في سياق جميع الصيغ المشتقة من نظام البديهية. كان هدف برنامج هيلبرت وضع جميع الرياضيات على أساس بديهي ثابت، ولكن وفقًا لمبرهنات عدم الاكتمال لغودل، كل نظام بديهي (قوي بما فيه الكفاية) له صيغ غير قابلة للبرهان؛ وبالتالي فإن البديهية النهائية للرياضيات أمر مستحيل. ومع ذلك، غالبًا ما يُتخيل أن الرياضيات (بقدر محتواها الرسمي) ليست سوى نظرية ثابتة في بعض البديهيات، بمعنى أن كل بيان رياضي أو دليل يمكن أن يُطرح في صيغ ضمن نظرية المجموعات.
