Fondements de la métamathématique rationnelle. (Q2624142)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 2545674
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Fondements de la métamathématique rationnelle. |
scientific article; zbMATH DE number 2545674 |
Statements
Fondements de la métamathématique rationnelle. (English)
0 references
1933
0 references
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.
0 references
