metamathematicss

[États-Unis]/ˌmɛtəˌmæθəˈmætɪks/
[Royaume-Uni]/ˌmɛtəˌmæθəˈmætɪks/

Traduction

n. une branche des mathématiques qui étudie les fondements et les implications des mathématiques elles-mêmes

Expressions & Collocations

metamathematics theory

théorie des métamatématiques

metamathematics foundations

fondements des métamatématiques

metamathematics concepts

concepts des métamatématiques

metamathematics framework

cadre des métamatématiques

metamathematics language

langage des métamatématiques

metamathematics proof

preuve des métamatématiques

metamathematics research

recherche en métamatématiques

metamathematics principles

principes des métamatématiques

metamathematics tools

outils des métamatématiques

metamathematics applications

applications des métamatématiques

Phrases d'exemple

metamathematics explores the foundations of mathematics.

La métamatémathématique explore les fondements des mathématiques.

many mathematicians study metamathematics to understand proofs better.

De nombreux mathématiciens étudient la métamatémathématique pour mieux comprendre les preuves.

metamathematics can provide insights into the limitations of formal systems.

La métamatémathématique peut fournir des informations sur les limites des systèmes formels.

in metamathematics, we analyze the consistency of mathematical theories.

En métamatémathématique, nous analysons la cohérence des théories mathématiques.

metamathematics is a branch of mathematical logic.

La métamatémathématique est une branche de la logique mathématique.

understanding metamathematics requires a solid background in logic.

Comprendre la métamatémathématique nécessite une solide formation en logique.

some famous results in metamathematics include gödel's incompleteness theorems.

Certains résultats célèbres en métamatémathématique incluent les théorèmes d'incomplétude de Gödel.

researchers in metamathematics often collaborate with computer scientists.

Les chercheurs en métamatémathématique collaborent souvent avec des informaticiens.

metamathematics helps in understanding the nature of mathematical truth.

La métamatémathématique aide à comprendre la nature de la vérité mathématique.

the study of metamathematics can lead to new mathematical discoveries.

L'étude de la métamatémathématique peut conduire à de nouvelles découvertes mathématiques.

Mots populaires

Explorez le vocabulaire le plus recherché

Téléchargez l'application pour débloquer l'intégralité du contenu

Vous souhaitez apprendre du vocabulaire plus efficacement ? Téléchargez l'application DictoGo et profitez de plus de fonctionnalités de mémorisation et de révision du vocabulaire !

Téléchargez DictoGo maintenant