اراکین : اور کموینیکیشن |شمولیت اختیار کریں |نئے سوالات کا اندراج
کے لئے تلاش کریں
[میں ترمیم کریں ] Metamathematics
Metamathematics ریاضی کے طریقوں کا استعمال کرتے ہوئے ریاضی کا مطالعہ ہے. یہ مطالعہ میٹیٹھیریٹس تیار کرتا ہے، جو ریاضیاتی نظریات دوسرے ریاضیاتی نظریات کے بارے میں ہیں. metamathematics (اور شاید اصطلاح کے قیام پر زور) 20 ویں صدی کے ابتدائی حصے میں ریاضی کے بنیادوں کو محفوظ کرنے کے لئے ڈیوڈ ہالببرٹ کی کوشش خود کو مجبور کرتا ہے. Metamathematics "ریاضی اور منطق کے لئے بنیاد کی دشواریوں کی ایک بڑی قسم کی تحقیقات کے لئے ایک سخت ریاضیاتی تکنیک فراہم کرتا ہے" (کلین 1952، صفحہ 59). metamathematics کی ایک اہم خصوصیت نظام کے اندر اور ایک نظام کے باہر سے استدلال کے درمیان مختلف پر زور دیا ہے. اس کا غیر رسمی مثال یہ ہے کہ "2 2 = 4" کی تجویز "ریاضی سے متعلق" کے مطابق ہے جس میں تجویز "2 2 = 4" جائزے کی درجہ بندی کرتے ہوئے "درست ہے" کے طور پر metamathematics کے.
ہسٹری.1
سنگ میل.2
ہائیپربلک جامی کی تلاش.1.2
Begriffsschrift.2.2
پرنپپیا ریاضی.3.2
گوڈیل کی نامکمل تھیم.4.2
ماڈل کی تیاریکی کی تعریف - نظریاتی اطمینان.5.2
Entscheidungsproblem کی عدم اطمینان.6.2
[اپ لوڈ کریں مزید فہرست ]

Lxjkh 2018@ حقوق نقل و اشاعت