metamathematical

My principal metamathematical work has been called destructive, and not without reason.

I think I see where the metamathematical catalogue has come from.

The theorem is also known for its metamathematical properties.

This - metamathematical data - was stored carelessly.

'That the metamathematical catalogue was only a byproduct of Marsden's true research.

"Some metamathematical results on completeness and consistency," 595-96.

'So, Susan, perhaps this metamathematical experiment was not Marsden's primary concern.

(1973), Metamathematical investigation of intuitionistic arithmetic and analysis, Springer.

The literature occasionally mentions this axiomatization but never goes into detail, notwithstanding its economy and elegant metamathematical properties.

Serious metamathematical reflection began with the work of Gottlob Frege, especially his Begriffsschrift.

Michael J. Beeson, "Foundations of constructive mathematics: metamathematical studies", 1985.

Since then, a plethora of t-norm fuzzy logics have been introduced and their metamathematical properties have been investigated.

The typography is a serious matter, because Gödel expressly wished to emphasize "those metamathematical notions that had been defined in their usual sense before .

They presented their result in the metamathematical language called non-standard analysis, but, as it was realized very soon, that was a matter of personal preference, not necessity."

These axioms have been used nearly unchanged in a number of metamathematical investigations, including research into fundamental questions of consistency and completeness of number theory.

Rather, Tarski designed his system to facilitate its analysis via the tools of mathematical logic, i.e., to facilitate deriving its metamathematical properties.

Michael Rathjen, "Metamathematical properties of Intuitionistic Set Theories with Choice Principles", in ch.

Nevertheless, his program of unsolved mathematical problems, out of which grew this metamathematical proposal, continued to influence the direction of mathematics for the rest of the 20th century.

Hilbert was initially a deductivist, but, he considered certain metamathematical methods to yield intrinsically meaningful results and was a realist with respect to the finitary arithmetic.

Metamathematical metatheorems about mathematics itself were originally differentiated from ordinary mathematical theorems in the 19th century, to focus on what was then called the foundational crisis of mathematics.

Hence Tarski's theorem is much easier to motivate and prove than the more celebrated theorems of Gödel about the metamathematical properties of first-order arithmetic.

These axioms are a more elegant version of a set Tarski devised in the 1920s as part of his investigation of the metamathematical properties of Euclidean plane geometry.

PRA is often taken as the basic metamathematical formal system for proof theory, in particular for consistency proofs such as Gentzen's consistency proof of first-order arithmetic.

In the course of this he made several metamathematical discoveries, most notably Tarski's undefinability theorem using the same formal technique as Kurt Gödel used in his incompleteness theorems.

Yuri Matiyasevich, Proof Procedures as Bases for Metamathematical Proofs in Discrete Mathematics, Personal Journal of Yury Matiyasevich.