Definición de metamathematics en inglés:

metamathematics

Silabificación: met·a·math·e·mat·ics
Pronunciación: /ˌmetəˌmaTH(ə)ˈmatiks
 
/

sustantivo

[usually treated as singular]
  • The field of study that deals with the structure and formal properties of mathematics and similar formal systems.
    Más ejemplos en oraciones
    • Tarski made important contributions in many areas of mathematics: set theory, measure theory, topology, geometry, classical and universal algebra, algebraic logic, various branches of formal logic and metamathematics.
    • Proof theory, a form of metamathematics, studies the ways in which proofs are used in mathematics.
    • Thus, only in his early sixties did Hilbert truly proceed to create proof theory and metamathematics.

Derivativos

metamathematical

Pronunciación: /-ˈmatikəl/
adjetivo
Más ejemplos en oraciones
  • Gentzen's proof of the consistency of arithmetic is undoubtedly a very interesting metamathematical result, which may prove very stimulating and fruitful.
  • Meaning is then introduced at the metamathematical level, in the metalanguage.
  • Robinson's theory is based on the metamathematical fact that the system of real numbers is incomplete.

metamathematician

Pronunciación: /-məˈtiSHən/
sustantivo
Más ejemplos en oraciones
  • Perhaps some young metamathematician of the next generation will prove why this has to be so.
  • It is not easy to speculate just how a metamathematician should conduct himself in the pursuit of this discipline.
  • The study of formal calculi is more a job for metamathematicians than mathematicians.

Más definiciones de metamathematics 

Definición de metamathematics en: 

Obtener más de Oxford Dictionaries

Subscribirse para eliminar anuncios y acceder a los recursos premium

Palabra del día mage
Pronunciación: meɪdʒ
noun
a magician or learned person