GLOSSARY ENTRY (DERIVED FROM QUESTION BELOW) | ||||||
---|---|---|---|---|---|---|
|
01:03 Jan 27, 2006 |
English to Arabic translations [PRO] Mathematics & Statistics / Mathematics | |||||||
---|---|---|---|---|---|---|---|
|
| ||||||
| Selected response from: Shazly Egypt Local time: 08:14 | ||||||
Grading comment
|
Summary of answers provided | ||||
---|---|---|---|---|
5 | الرياضيات المنطقية للمجموعات |
| ||
3 +1 | ما بعد الرياضيات |
| ||
1 +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) -------------------------------------------------- ما بعد الرياضيات هو المعني الفلسفي أما الرياضة البحتة فهي المعني الرياضي |
| |
Grading comment
| ||
Login to enter a peer comment (or grade) |
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) |
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. |
| |
Login to enter a peer comment (or grade) |
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.