Also found in: Dictionary, Encyclopedia, Wikipedia.
Graphic Thesaurus  🔍
Display ON
Animation ON
  • noun

Words related to metamathematics

the logical analysis of mathematical reasoning

References in periodicals archive ?
In the early twentieth century under Hilbert's influence, logic became the tool of metamathematics, whose concern was the analysis of axiomatic theories for consistency, completeness, and independence, becoming aligned in the end with set theory and abstract model theory.
The solution to the consistency dilemma resides in a critical distinction between mathematics and metamathematics.
and Translator), Logic, semantics, and metamathematics (translated in 1956, pp.
The author is at his weakest explaining Hilbert's metamathematics.
Frege and then Peano brilliantly set the stage for Hilbert, Whitehead and Russell and 20th century metamathematics.
co-founder of metamathematics (David Hilbert is considered the other founder), formulator of the famous "Truth Tables," etc.