✦ LIBER ✦

Eine Axiomatisierung der zweiwertigen Prädikatenkalküle der ersten Stufe, welche die Implikation enthalten

✍ Scribed by Helmut Thiele

Publisher: John Wiley and Sons
Year: 1956
Tongue: English
Weight: 908 KB
Volume: 2
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19560020505

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Ein Aufbau der Mengenlehre mit transfini

Ein Aufbau der Mengenlehre mit transfiniten Typen, formalisiert im Prädikatenkalkül der ersten Stufe

✍ Dieter Klaua 📂 Article 📅 1957 🏛 John Wiley and Sons 🌐 English ⚖ 787 KB

Die stufenfreien Systeme konnen schon im einsortigen Pradikatenkalkul der ersten Stufe (sogar ohne Identitlit) formalisiert werden. AuBerdem liefert der Klassenkalkul von J. V. NEUMANNwir beziehen uns im folgenden bei stufenfreien Aufbauarten stets auf diesen -im Gegensatz zur Typentheorie noch gewi

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)

Ü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