Ein Spezialfall des Entscheidungsproblems der theoretischen Logik. (Q577755)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Ein Spezialfall des Entscheidungsproblems der theoretischen Logik. |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Ein Spezialfall des Entscheidungsproblems der theoretischen Logik. |
scientific article |
Statements
Ein Spezialfall des Entscheidungsproblems der theoretischen Logik. (English)
0 references
1931
0 references
Die Arbeit enthält die Skizzierung eines Entscheidungsverfahrens, das für die Formeln der Gestalt \[ (Ex_1\ldots x_n)(y_1y_2)(Ez_1\ldots z_m) \mathfrak A(x_1\ldots x_m y_1y_2z_1\ldots z_m) \] die Frage nach der Erfüllbarkeit zu beantworten gestattet. Ein ausführlicher Bericht über den Gegenstand ist mittlerweile erschienen in \textit{K. Gödel}, Zum Entscheidungsproblem des logischen Funktionenkalküls (1933; F. d. M. \(59_{\text{II}}\), 865).
0 references
