اقتباس:
المشاركة الأصلية كتبت بواسطة شهاب كرار
الحفر في الاساس.
لم يهندس ريمان الهندسة الاقليدية، بل حفر في اساسها وبنى من ذات الاساس بتغيير المسلمات الهندسات اللأقليدية فغيير نمط تفكير كامل.
والاشياء ليست منفصلة على عن بعض، فثورة ريمان في الهندسة جاورتها ثورة الفيزياء ايضا عن طريق ذات الطريقة، ماكسويل حفر في اساس المجال وغير نمط التفكير في الموجات، انشتاين في مفهوم الزمان والمكان، جودل وراسل وفريجه فتحو الباب بالحفر في اساس المنطق والرياضيات نفسه لانواع اخرى من المنطق مثل المنطق الضبابي والكمومي وانواع تانية من الرياضيات، بس البيقومو بيهو دا ما كان منطق دا كان ميتا منطق، متجاوز للمنطق نفسه ويعمل عليه.
الحفر في اساس الدوال والتفاضل والتكامل والمفاهيم الاساسية بواسطة ديراك وغيره وإكتشاف الدوال المتقطعة وتكاملاتها ومشتقاتها ترافقت معاها ثورة ميكانيكا الكم ، يعني شغل ديراك ما كان تفاضل وتكامل، كان حفر في اساس التفاضل والتكامل عشان يتعرف على انواع تغيير تانية غير المعتادة والمعروفة.
دا فهمي للميتا، زابط معاك؟
|
غايتو بشكل عام كده شاعري زي مسألة الحب و التطور ديك
زابط معاي !!
لكن حتكون زعلت لوباتفسكي و بوليا شديد، لأن الإتنين ديل هم البدوا الثورة اللاإقليدية و ريمان جا عمم نتائجهم بس !! ده طبعا ما بينفي عبقريته الشاعرية على قول محسن !! .. بعدين Meta دي في المنطق و الرياضيات عندها فهم محدد جدا .. كدي نجيب كلام الويكيبيديا علشان زابط المرة دي
اقتباس:
|
Metalogic is the study of the metatheory of logic. While logic is the study of the manner in which logical systems can be used to decide the correctness of arguments, metalogic studies the properties of the logical systems themselves. According to Geoffrey Hunter, while logic concerns itself with the "truths of logic," metalogic concerns itself with the theory of "sentences used to express truths of logic."
The basic objects of study in metalogic are formal languages, formal systems, and their interpretations. The study of interpretation of formal systems is the branch of mathematical logic known as model theory, while the study of deductive apparatus is the branch known as proof theory.
|
في كتاب لـ Geoffrey Hunter إسمه Metalogic لو ماقريته لازم تسكه و تدرسه .. من أمتع الكتب في المجال ده .. و كمان واحد تاني بتاع عمك Douglas Hofstadter و إسمه Gödel, Escher, Bach - An Eternal Golden Braid برضو متعة .. و لكن بتفق معاك في كون التفكير الإبداعي في الأسس هو تفكير متجاوز و مهم رغم إنو أفتكر جانبك الحظ في بعض الأمثلة
يلا .. نمشي لقدام
تصبحوا على خير