A note on the Entscheidungsproblem.
In einer früheren Veröffentlichung (Amer. J. Math. 58 (1936), 345-363; F.~d.~M. 62\(_{\text{I}}\), 46) hatte Verf. eine gewisse Präzisierung des Begriffes ``rekursive Funktion gegeben und auf Grund dieser Definition gezeigt, daß das Entscheidungsproblem als Ganzes in einem System der symbolischen Logik unlösbar ist, das einen gewissen Teil der elementaren Arithmetik zu entwickeln gestattet und außerdem \(\omega\)-widerspruchsfrei ist. In der vorliegenden Note wird dieses Ergebnis bezüglich des Entscheidungsproblems auf den ``engeren Funktionenkalkül (nach der Bezeichnung von \textit{Hilbert-Ackermann}, Grundzüge der theoretischen Logik, 1. Aufl. 1928; F.~d.~M. 54, 55) übertragen. Vgl. auch die nachstehend erwähnte Berichtigung.
- On principles of emergent organization
- Decidable fragments of the quantified argument calculus
- The Expressive Power of theN-Operator and the Decidability of Logic in Wittgenstein’sTractatus
- Did Turing prove the undecidability of the halting problem?
- A note on Turing's three pioneering initiatives and on their interplays
- Turing's influence on programming. Book extract from ``The dawn of software engineering: from Turing to Dijkstra [Zbl 1328.68010]
- A syntactic proof of the decidability of first-order monadic logic
- Variations on the Kripke trick
- Symbolic mathematical computation 1965--1975. The view from a half-century perspective
- Superintuitionistic predicate logics of linear Kripke frames: undecidability with two individual variables
- Symbolic mathematical computation 1965--1975: the emergence of a discipline
This page was built for publication: A note on the Entscheidungsproblem.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2610757)
