Перевод слова
Metamathematics - метаматематика
Часть речи
Metamathematics - существительное
Транскрипция:
- /ˌmɛtəˌmæθəˈmætɪks/ - Британский английский
- /ˌmɛtəˌmæθəˈmætɪks/ - Американский английский
Примеры употребления
| Пример | Перевод на русский |
|---|---|
| Metamathematics is the study of mathematics itself. | Метаматематика — это изучение самой математики. |
| Hilbert's program was a major development in metamathematics. | Программа Гильберта была значительным развитием в метаматематике. |
| The field of metamathematics deals with the foundations of mathematics. | Область метаматематики занимается фундаментами математики. |
| Proof theory is a branch of metamathematics. | Теория доказательств является отраслью метаматематики. |
| Metamathematics examines the consistency of mathematical systems. | Метаматематика исследует согласованность математических систем. |
| Gödel's incompleteness theorems are famous results in metamathematics. | Теоремы неполноты Гёделя — известные результаты в метаматематике. |
| Metamathematics investigates the provability of mathematical statements. | Метаматематика исследует доказуемость математических утверждений. |
| The study of metamathematics includes model theory and proof theory. | Исследование метаматематики включает теорию моделей и теорию доказательств. |
| Metamathematics is concerned with the logical structure of mathematics. | Метаматематика занимается логической структурой математики. |
| In metamathematics, logicians analyze formal systems. | В метаматематике логики анализируют формальные системы. |
| Metamathematics explores questions about the nature of mathematical truth. | Метаматематика исследует вопросы природы математической истины. |
| The term "metamathematics" was popularized by David Hilbert. | Термин «метаматематика» был популяризирован Давидом Гильбертом. |
| One focus of metamathematics is to understand the limitations of formal systems. | Одной из целей метаматематики является понимание ограничений формальных систем. |
| Metamathematics often involves studying the completeness of axiomatic systems. | Метаматематика часто включает изучение полноты аксиоматических систем. |
| Researchers in metamathematics aim to understand the properties of mathematical proofs. | Исследователи в метаматематике стремятся понять свойства математических доказательств. |
| Theories in metamathematics can be applied to computer science. | Теории метаматематики могут быть применены к информатике. |
| Metamathematics addresses the existence of mathematical objects. | Метаматематика касается существования математических объектов. |
| Metamathematics is an abstract study of the practice of mathematics. | Метаматематика — это абстрактное исследование практики математики. |
| Logical paradoxes are a topic of interest in metamathematics. | Логические парадоксы — это тема, представляющая интерес в метаматематике. |
| Metamathematics can shed light on philosophical questions about mathematics. | Метаматематика может пролить свет на философские вопросы о математике. |
| Historical developments in metamathematics have shaped our understanding of mathematics. | Исторические достижения в метаматематике сформировали наше понимание математики. |
Однокоренные слова
- Metamathematical - метаматематический
- Mathematics - математика
- Mathematical - математический
- Mathematician - математик
Формы слова
- Metamathematics - метаматематика
- Metamathematical - метаматематический
Словосочетания
- Formal system - формальная система
- Axiomatic system - аксиоматическая система
- Logical structure - логическая структура
- Proof theory - теория доказательств
- Model theory - теория моделей
- Incompleteness theorem - теорема о неполноте
- Mathematical truth - математическая истина
- Mathematical consistency - математическая согласованность
- Logical analysis - логический анализ
- Provable statement - доказуемое утверждение
- Mathematical object - математический объект
- Formal language - формальный язык
- Consistent theory - согласованная теория
- Abstract study - абстрактное исследование
- Logical paradox - логический парадокс
- Philosophical question - философский вопрос
- Mathematical proof - математическое доказательство
- Theory of computation - теория вычислений
- Foundations of mathematics - основания математики
- Mathematical logic - математическая логика
- Set theory - теория множеств
- Theoretical computer science - теоретическая информатика
- Gödel’s theorem - теорема Гёделя
- Consistency proof - доказательство согласованности
- Logical foundation - логическое основание
- Mathematical framework - математическая основа
Начать учить английский
- Первые результаты уже через месяц
- Плюс 1 уровень за 3 месяца
- Разговорные клубы в подарок
