Introduction to metamathematics / by 308908 Kleene, Stephen Cole

Subjects: “…Metamathematics…”

On The Epistemological Justification of Hilbert’s Metamathematics by Javier Legris

“…The aim of this paper is to examine the idea of metamathematical deduction in Hilbert’s program showing its dependence of epistemological notions, specially the notion of intuitive knowledge. …”
Get full text

Prospects of metamathematical structures in science by S. M. Krylov

“…The paper deals with metamathematical structures based on Malcev's concept of algebraic systems. …”
Get full text

Prospects of metamathematical structures in science by Sergey M Krylov

“…The paper deals with metamathematical structures based on Malcev’s concept of algebraic systems. …”
Get full text

Varieties of self-reference in metamathematics by Grabmayr, B, Halbach, V, Ye, L

Metamathematical investigation of intuitionistic arithmetic and analysis / by Troelstra, A. S. (Anne Sjerp)

Subjects:

Models and Modeling in Science: the role of metamathematics by Décio Krause

Get full text

Universics: a Theory of Universes of Discourse for Metamathematics and Foundations by Ioachim Drugus

“…The described approach referenced as ``universics'' is expected to be useful for metamathematical analysis and to serve as a foundation for mathematics. …”
Get full text

What Is a Theorem (in Practice)? The Role of Metamathematics in the Making of Mathematics by Sylvain Lavau

Subjects: Get full text

Expressing consistency : Gödel's second imcompleteness theorem and intensionality in metamathematics by Auerbach, David Daniel

Subjects: Get full text
Get full text

Foundations of mathematics : questions of analysis, geometry and algorithmics / by 460476 Engeler, Erwin, Thomas, Charles B.

Subjects: “…Metamathematics…”

The mathematics of algebraic systems : collected papers 1936-1967 / by Mal'cev, Antaolii Ivanvich, 1909-1967

Subjects:

Da metamatemática para a ciência cognitiva From metamathematics to Cognitive Science by Henrique de Morais Ribeiro

Subjects: Get full text

Metamathematical model multimodal gestural authentication using two independent mobile devices by Vladimir Leonovich Evseev, Yury Evgenievich Kozlov

Get full text

Metatheoretical critics on current trends in Quantum Mechanics by Carlos C. Aranda

Subjects: Get full text

TOWARDS THE PRAGMATIC CONCEPT OF KNOWLEDGES by Rafał Maciąg

Subjects: Get full text

TENTANG REALITAS DARI SEGALA SESUATU by Agus Budiyanto

Subjects: “…M-theory, The Mathematical Universe Hypothesis, Metamathematics, The Higher Infinite…”
Get full text

METASECURITY – A CONCEPT OF INTEMPESTIVE GEOMETRY by Eugen SITEANU

Subjects: Get full text

Scientific Theories, Models and the Semantic Approach by Décio Krause, Otávio Bueno

“…Thus we cannot leave completely aside the axiomatization of the theories under consideration, nor can we ignore the metamathematics used to elaborate these models, for changes in the metamathematics often impose restrictions on the resulting models. …”
Get full text

“Surveyability” in Hilbert, Wittgenstein and Turing by Juliet Floyd

“…Hilbert initiated the idea within his metamathematics, Wittgenstein took up a kind of game formalism in the 1920s and early 1930s in response. …”
Get full text