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 languagerelated 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. 
 Bright BridgeKudoZ activityQuestions: 133 ( 4 open) ( 2 without valid answers) ( 18 closed without grading) Answers: 377 Morocco
  Local time: 21:44

 الرياضيات البحتة  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 20060127 06:41:30 (GMT) 
ما بعد الرياضيات هو المعني الفلسفي أما الرياضة البحتة فهي المعني الرياضي 
 Selected response from: Shazly Egypt Local time: 22:44
 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 