The translation workplace
 Ideas

Metamathematics

Arabic translation: الرياضيات البحتة

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.
GLOSSARY ENTRY (DERIVED FROM QUESTION BELOW)
 English term or phrase: Metamathematics Arabic translation: الرياضيات البحتة Entered by:

 01:03 Jan 27, 2006
English to Arabic translations [PRO]
Mathematics & Statistics / Mathematics
 English term or phrase: Metamathematics Metamathematics is the logical analysis of mathematical reasoning.
 Bright BridgeMorocco Local time: 21:20
 الرياضيات البحتة 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: 22:20
 Thanx Shazly! Thanx all!4 KudoZ points were awarded for this answer

3 +1ما بعد الرياضيات
 Iman Khaireddine
1 +1الرياضيات البحتة
 Shazly

4 hrs   confidence: peer agreement (net): +1
الرياضيات البحتة

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)
--------------------------------------------------

ما بعد الرياضيات هو المعني الفلسفي أما الرياضة البحتة فهي المعني الرياضي

 ShazlyEgyptLocal time: 22:20Native speaker of: ArabicPRO pts in category: 21
 Thanx Shazly! Thanx all!

agree
 1 day2 hrs

4 hrs   confidence: peer agreement (net): +1
metamathematics
ما بعد الرياضيات

Explanation:
ما بعد الرياضيات / Metamathematics / Metamathématique

مفهوم يدل على النظرية التي تدرس الصفات المختلفة للأنساق والحسابات الصورية (عدم التناقض، الاكتمالـ الخ). وقد أخل هيلبرت مصطلح ما بعد الرياضيات فيما يتعلق بمفهومه في أسس الرياضيات (أنظر المذهب الصوري). وفي الماضي كان قد تم التوصل إلى عدد من النتائج الهامة (نظرية جوديل في عدم اكتمال الحساب الصوري وفي استحالة البرهنة على عدم تناقض نسق ما بواسطة الوسائل المصاغة صياغة صورية في مثل هذه الأنساق).

http://www.marxists.org/arabic/glossary/terms/24.htm

 Iman KhaireddineUnited KingdomLocal time: 21:20Native speaker of: Arabic

agree
 11 hrs

1 day20 hrs   confidence:
metamathematics
الرياضيات المنطقية للمجموعات

Explanation:
It is a branch of logic dealing with the study of the combination and application of mathematical symbols is also sometimes called metamathematics or metalogic.

 Ashraf SadaLocal time: 23:20Works in fieldNative speaker of: Arabic, English