New foundation of formal metamathematics.

DOI10.2307/2267504MaRDI QIDQ2595482zbMATH OpenOpenAlexFDO

Authors W. Hetper, Leon Chwistek

Publication date 1938

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2267504

Review text

Die Verf., bekannt durch verschiedene Arbeiten, die den rein formalen Aufbau der Metamathematik zum Gegenstand haben (vgl. die in JFM 61.0977.* bei der Besprechung von \textit{W. Hetper}, C. R. Soc. Sci. Lett. Varsovie Cl. III. 27 (1934), 9-26 angegebene Literatur) geben hier einen auf denselben Grundsätzen beruhenden Aufbau dieser Art, der gegenüber den früheren verschiedene wesentliche Vereinfachungen aufweist, u. a. einen sehr eingeschränkten Gebrauch des zum Aufbau eines formalen Systems nun einmal erforderlichen Bruchstücks der natürlichen Sprache. In dieser formalen Metamathematik findet z. B. das bekannte \textit{Gödel}sche Theorem seinen formalen Ausdruck und läßt sich auch rein formal beweisen.

Cited in

(3)

• On the concept of relatively uniform realizability of propositional formulas
• scientific article; zbMATH DE number 1343458 (Why is no real title available?)
• On a paradox of Hilbert and Bernays

This page was built for publication: New foundation of formal metamathematics.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2595482)