metamathematics
/ˌmɛt.ə.mæθˈmæt.ɪks/noun
/ˌmɛt.ə.mæθˈmæt.ɪks/
Область исследования, занимающаяся логическим анализом и основами математических рассуждений.
Rama de la filosofía y la lógica que estudia las matemáticas desde un punto de vista externo, analizando sus fundamentos, estructuras y métodos mediante herramientas lógicas y formales. También se refiere al estudio de las teorías matemáticas en sí mismas, incluyendo la teoría de la demostración y los límites de los sistemas formales.
Domaine d'étude qui procède à l'analyse logique des mathématiques et de leurs fondements, notamment par l'étude formelle des théories mathématiques, des preuves et de la démonstration.
Teilgebiet der Mathematik und Logik, das die logischen Grundlagen, Formalisierungen und Methoden mathematischer Beweise untersucht.
Ramo da pesquisa que se ocupa da análise lógica e dos fundamentos do raciocínio matemático, incluindo o estudo formal das teorias e demonstrações matemáticas.
研究数学的逻辑分析和基础的学科，关注数学推理、证明和形式系统。
فرع من الرياضيات والمنطق يبحث في الأسس المنطقية للرياضيات وفي بنية النظريات الرياضية وأدلتها. يشمل دراسة الأنظمة الصورية، ونظرية البرهان، والتحليل المنطقي للاستدلال الرياضي.
A field of study concerned with the logical analysis and foundations of mathematical reasoning.
uncountable
Logical analysis of mathematicsC2formal
The study of mathematics itself using logical and philosophical methods, focusing on the foundations, structure, and limits of mathematical systems.
Логический анализ математикиMetamatemáticamétamathématiqueLogische Analyse der MathematikAnálise lógica da matemática数学的逻辑分析التحليل المنطقي للرياضيات- Metamathematics explores whether a mathematical system can prove its own consistency.
- Gödel's incompleteness theorems are a cornerstone of metamathematics.
- Researchers in metamathematics analyze the logical underpinnings of arithmetic.
Forms
- metamathematics plural form
- metamathematics' possessive plural form
- metamathematics's possessive singular form