Login or register (free and only takes a few minutes) to participate in this question.You will also have access to many other tools and opportunities designed for those who have language-related jobs (or are passionate about them). Participation is free and the site has a strict confidentiality policy.
English to Arabic translations [PRO]
Mathematics & Statistics / Mathematics | | English term or phrase: Metamathematics | | Metamathematics is the logical analysis of mathematical reasoning. |
| | | الرياضيات البحتة | Explanation:
ما بعد الرياضيات
علم المنطق الرياضي
Metamathematics is mathematics used to study mathematics. It was originally differentiated from ordinary mathematics in the 19th century to focus on what was then called the foundations problem in mathematics. Important branches include proof theory and model theory. The original meaning of David Hilbert is closest to proof theory (see Hilbert's program). These would nowadays be considered part of Mathematical logic, which (according to Googlefight) is much more widely used than the obsolete term metamathematics [though still used by the Library of Congress and the books Metamathematics of Fuzzy Logic (2002) & Gödel, Escher, Bach].
metamathematics
_______________________________________
Noun
the logical analysis of mathematical reasoning
(hypernym) pure mathematics
(classification) mathematics, math, maths
--------------------------------------------------
Note added at 2006-01-27 06:41:30 (GMT)
--------------------------------------------------
ما بعد الرياضيات هو المعني الفلسفي أما الرياضة البحتة فهي المعني الرياضي |
| Selected response from:
 Shazly
Egypt
Local time: 23:19
| Grading comment Thanx Shazly! Thanx all!
4 KudoZ points were awarded for this answer |
| |
| Discussion entries: 0 |
|---|
Automatic update in 00:
|
4 hrs confidence:   peer agreement (net): +1 | metamathematics ما بعد الرياضيات
Explanation:
ما بعد الرياضيات / Metamathematics / Metamathématique
مفهوم يدل على النظرية التي تدرس الصفات المختلفة للأنساق والحسابات الصورية (عدم التناقض، الاكتمالـ الخ). وقد أخل هيلبرت مصطلح ما بعد الرياضيات فيما يتعلق بمفهومه في أسس الرياضيات (أنظر المذهب الصوري). وفي الماضي كان قد تم التوصل إلى عدد من النتائج الهامة (نظرية جوديل في عدم اكتمال الحساب الصوري وفي استحالة البرهنة على عدم تناقض نسق ما بواسطة الوسائل المصاغة صياغة صورية في مثل هذه الأنساق).
Read more about (Meta):
http://www.marxists.org/arabic/glossary/terms/24.htm
| | |
| | Login to enter a peer comment (or grade) |
Return to KudoZ list
|
| | | | X Sign in to your ProZ.com account... | | | | |
| KudoZ™ translation helpThe KudoZ network provides a framework for translators and others to assist each other with translations or explanations of terms and short phrases. See also: Search millions of term translations  |
The translation workplace 
Software comparison tool
