Proof vs Truth in Mathematics by Murawski Roman

“…We distinguish between informal proofs constructed by mathematicians in their research practice and formal proofs as defined in the foundations of mathematics (in metamathematics). Their role, features and interconnections are discussed. …”
Get full text

Otto Hölder’s Interpretation of David Hilbert’s Axiomatic Method by Mircea Radu

“…My reconstruction focuses on Hölder’s critical assessment of David Hilbert’s account of axiomatics in general, and of Hilbert’s conception of metamathematics in particular. I argue that Hölder’s analysis of Hilbert’s general methodological ideas and, more importantly, Hölder’s analysis of the logical structure of the proofs provided by Hilbert in his Grundlagen der Geometrie of 1899 are helpful in reaching a clearer understanding of van der Waerden’s claim linking Hölder’s conception of proof to the tradition established by Kurt Gödel.…”
Get full text

Philosophie scientifique : origines et interprétations. Hans Reichenbach et le groupe de Berlin by Hourya Benis-Sinaceur

“…Hilbert’s axiomatic method and metamathematics are certainly a common root for both Reichenbach’s orientation, as well as that of the French historical epistemology of mathematics. …”
Get full text

Three Naturalistic Accounts of the Epistemology of Argument by Mark Weinstein

“…My own contribution relies on a metamathematical reconstruction of mature science, and as such, is a radical break with the usual approaches within the theory of argument.…”
Get full text

TOOLKIT FOR SELECTING TECHNOLOGY AS A TRANSFER OBJECT UNDER MULTI-CRITERIA CONDITIONS by S. I. Kravchenko, A. V. Meshkov, A. I. Kiseleva

“…The proposed approach makes it possible to increase the degree of validity of management decisions by reducing the volume of metamathematical operations and reducing the impact of subjectivism.…”
Get full text

Some Multifaceted Aspects of Mathematical Physics, Our Common Denominator with Elliott Lieb ^† by Daniel Sternheimer

“…The last part deals briefly with metaphysical and metamathematical considerations related to axioms.…”
Get full text

Cumulative hierarchies and computability over universes of sets by Domenico Cantone, Claudio Chiaruttini, Marianna Nicolosi Asmundo, Eugenio G. Omedeo

“…<p>Various metamathematical investigations, beginning with Fraenkel&rsquo;s historical proof of the independence of the axiom of choice, called for suitable definitions of hierarchical universes of sets. …”
Get full text

Sidewinding locomotion of flatworm-like mesh robot WORMESH-II by Ganegoda V. C. Rasanga, Kengo Hiraishi, Ryuichi Hodoshima, Shinya Kotosaka

“…The dynamic simulation of WORMESH-II and testing with the WORMESH-II prototype confirmed the proposed method, which was based on the metamathematical explanation of locomotion.…”
Get full text

On the logical complexity of cyclic arithmetic by Anupam Das

“…The uniformity of our method also allows us to recover a metamathematical account of fragments of $\mathsf{CA}$; in particular we show that, for $n\geq 0$, the consistency of $C\Sigma_n$ is provable in $I\Sigma_{n+2}$ but not $I\Sigma_{n+1}$. …”
Get full text

Truth, deflationism and the ontology of expressions: an axiomatic study. by Nicolai, C

“…Chapter 5 investigates a possible application of the setting just introduced: a realisation of the all-present interaction, in metamathematical practice, between informal metatheoretic claims and their (suitably chosen) coded counterparts. …”

Fabling about Infinity: The Arithmetization of Writing in Salvador Elizondo’s “Grünewalda, o una fábula del infinito” by Ómar Vargas

“…Thus, beyond ascribing his rhetoric to a metaphysical sphere, a metamathematical realm is presented as a more adequate depiction of Elizondo’s writing.   …”
Get full text