|
الكاتب/ Minerve
|
|
26/03/2008 |
|
تتحدّد الصورنة Formalisation في المعنى الحديث باعتبارها تقديم النظريات العلمية في سياق نسق صوري Un Système formel. يمكّن من تخصيص التعابير اللغوية وقواعد البرهان المقبولة دون غموض. ولكن يجب أن لا نختزل الأهمية العلمية للصورنة في التعبير Formulation، أو في الصياغة. ذلك أن صورنة النظريات الرياضية الأساسية كان مدفوعا في الأصل بمشاكل أسس الرياضيات، وأدّى في القرن العشرين إلى تطوير مستقل لمنطق رياضي ينتج إشكالياته الخاصة ومفاهيمه الخاصة. ثم إن صورنة الرياضيات منذ ظهورها ارتبطت بتطور الأكسيومية وبدراسة أنواع البنى المجرّدة الحاضرة في مختلف ميادين الرياضيات والتي تفسّر وحدتها. |
