𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Über die Ausdrucksfähigkeit des Prädikatenkalküls der Ersten Stufe mit Funktionalen.by Günter Asser

✍ Scribed by Review by: Wilhelm Ackermann

Book ID
124186064
Publisher
Association for Symbolic Logic
Year
1958
Tongue
English
Weight
212 KB
Volume
23
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Über die Ausdrucksfähigkeit des Prädikat
Über die Ausdrucksfähigkeit des Prädikatenkalküls der ersten Stufe mit Funktionalen. Dem Andenken an Heinrich Scholz gewidmet
✍ Günter Asser 📂 Article 📅 1956 🏛 John Wiley and Sons 🌐 English ⚖ 964 KB

tfBER DIE AUSDRUCKSFAHIGKEIT DES PRADIKATENKALKULS DER ERSTEN STUFE MIT FUNKTIONALEN1) Dem Andenken an HEINRICH SCHOLZ gowidmet Von GUNTER ASSER in Berlin 1. I m AnschluB an meine Arbeit uber das Reprasentantenproblem im Pradikatenkalkul der ersten Stufe mit Identitatz) hat Herr Prof. sCHoLZ3) die F

Ein Direkter Beweis für die Allgemein-Re
Ein Direkter Beweis für die Allgemein-Rekursive Unlösbarkeit des Entscheidungsproblems des Prädikatenkalküls der Ersten Stufe mit Identität
✍ László Kalmár 📂 Article 📅 1956 🏛 John Wiley and Sons 🌐 English ⚖ 888 KB

Fur den zuerst von A. CHURCH^) bewiesenen Satz, wonach das Entscheidungsproblem des Pradikatenkalkiils der ersten Stufe (mit oder ohne Identitiit) 3, sich (bei Zugrundelegung der iiblichen Numerierungen der Formeln des Priidikatenkalkiils) nicht durch ein allgemein-rekursives Verfahren losen laBt,4)