One of the mysteries of the English language finally explained.
treated as singular The field of study that deals with the structure and formal properties of mathematics and similar formal systems.
- ‘Thus, only in his early sixties did Hilbert truly proceed to create proof theory and metamathematics.’
- ‘Furthermore, Hilbert's work on metamathematics has greatly improved our understanding of the nature of mathematical reasoning.’
- ‘In conjunction with the twenty-fourth problem, this shows that, even at the time, he had at least a vague idea of metamathematics.’
- ‘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.’
Top tips for CV writingRead more
In this article we explore how to impress employers with a spot-on CV.