metamathematics

In so doing, they helped found what are now known as metamathematics and model theory.

The previous section says more about the relevant metamathematics.

Early investigations into metamathematics had been driven by Hilbert's program.

David Hilbert founded metamathematics as a discipline for discussing formal systems.

"Clarifying the nature of the infinite": the development of metamathematics and proof theory.

In 1920 he proposed explicitly a research project in metamathematics, which became known as Hilbert's program.

E.H. Moore's work on axiom systems is considered one of the starting points for metamathematics and model theory.

Today, the paradox is ordinarily used in order to motivate the importance of carefully distinguishing between mathematics and metamathematics.

He objected to restricting the role of metamathematics to the foundations of mathematics."

III Technically, it was a branch of metamathematics, usually called metamathics.

"In [Tarski's] view, metamathematics became similar to any mathematical discipline.

Metamathematics of first-order arithmetic, 2nd ed.

David Hilbert was the first to invoke the term "metamathematics" with regularity (see Hilbert's program).

(In 1920 David Hilbert proposed a research project in what was called "metamathematics.")

Hájek P., Metamathematics of fuzzy logic.

Borel determinacy and metamathematics.

Introduction to Metamathematics, North-Holland (11th printing; 6th printing added comments).

Alfred Tarski (1956) Logic, semantics and metamathematics.

Logic, Semantics, Metamathematics, 2nd ed.

An English translation had to await the 1956 first edition of the volume Logic, Semantics, Metamathematics.

'And many experimental results on quantum nonlinearity, which - ' 'Tell me about metamathematics,' Hassan said.

Today, metalogic and metamathematics are largely synonymous with each other, and both have been substantially subsumed by mathematical logic in academia.

It is also a gentle and humorous introduction to combinatory logic and the associated metamathematics, built on an elaborate ornithological metaphor.

He was also one of the first people to make the distinction between mathematics and metamathematics, and warmly defended Cantor's set theory and transfinite numbers.

Mathematics describes mathematics: mathematics can be used reflexively to describe itself-this is an area of mathematics called metamathematics.