Fondements de la métamathématique rationnelle.

MaRDI QIDQ2624142zbMATH OpenFDO

Authors W. Hetper, J. Herzberg, Leon Chwistek

Publication date 1933

Review text

Die vorliegende Arbeit stellt die Grundlegung zur Formalisierung der Metamathematik (allgemeiner: der Semantik) dar. Aufgabe der Semantik ist die Untersuchung der in einem gegebenen Kalkül vorkommenden Ausdrücke, diese ausschließlich als formale Zeichenreihen aufgefaßt. Die formale Semantik geht von wenigen Grundbegriffen aus, deren wichtigster der folgende ist: \((EFGB) =\) ``ersetzt man im Ausdruck \(E\) den Teilausdruck \(F\) durch \(G\), so entsteht \(H\). Die Verf. gelangen in der vorliegenden Arbeit bis zur formalen Charakterisierung der Klassen und Relationen der verschiedenen Typen.

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: Fondements de la métamathématique rationnelle.

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