Über die Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt.
Skizze eines Vollständigkeitsbeweises für ein gewisses System \(\mathfrak A_k\) in dem Sinn, daß für jede einschlägige sinnvolle Aussage \(\mathfrak p\) ohne freie Variablen entweder \(\mathfrak p\) oder non-\(\mathfrak p\) zu \(\mathfrak A_k\) gehört, und daß sogar die Entscheidung hierüber durch endlich viele Operationen herbeigeführt werden kann; m. a. W: In \(\mathfrak A_k\) gibt es keine unentschiedenen Probleme. \(\mathfrak A_k\) ist wesentlich die Arithmetik der ganzen Zahlen mit der Addition als einziger (umkehrbarer) Operation. Zur Festlegung von \(\mathfrak A_k\) geht Verf. aus von drei von \textit{Lukasiewicz} stammenden Axiomen des Aussagenkalküls und den (in bezug auf = und + als Grundzeichen ausgedrückten) Axiomen der Identität und der Addition im Bereich der ganzen Zahlen, die mangels eines Multiplikationszeichens in unendlicher Anzahl auftreten. Die (namentlich mittels Substitution und Syllogismus folgenden) Konsequenzen aus diesem Axiomensystem bilden \(\mathfrak A_k\). Der Beweis ergibt sich im Anschluß an \textit{Hilbert-Ackermann}s Logik und in Anlehnung an Gedankengänge \textit{Tarski}s im wesentlichen durch Reduktion jeder sinnvollen Aussage ohne freie Variablen auf eine disjunktive Normalform. Der Kern dieser Methode ist schon früher von \textit{Skolem} und \textit{Langford} eingeführt worden. Bei Einführung der Multiplikation würden sich neue, vorläufig (und wohl noch auf lange hinaus) unüberbrückbare Schwierigkeiten ergeben. Dagegen läßt sich das Ergebnis nach Angabe des Verf. aufrecht erhalten, wenn noch das Grundzeichen \(>\) hinzugefügt wird.
- Taking complete finite prefixes to high level, symbolically
- Towards modelling the topology of homogeneous manifolds by means of symbolic computation
- Reasoning about reversal-bounded counter machines
- Taking complete finite prefixes to high level, symbolically
- Decidability of membership problems for flat rational subsets of \(\mathrm{GL}(2,\mathbb{Q})\) and singular matrices
- Positive existential Definability with unit, addition and coprimeness
- Universal quantification makes automatic structures hard to decide
- On the power of ordering in linear arithmetic theories
- Weakly-unambiguous Parikh automata and their link to holonomic series
- Artificial intelligence and inherent mathematical difficulty
- An efficient quantifier elimination procedure for Presburger arithmetic
- Integer linear-exponential programming in NP by quantifier elimination
- Parameterized algorithms for block-structured integer programs with large entries
- Significativity indices for agreement values
- Synchronized CTL over one-counter automata
- Universal quantification makes automatic structures hard to decide
- Giovanni in Paris
- Natural constructive proofs of A via A B, proof paradoxes, and impredicativity
- Encoding Peano arithmetic in a minimal fragment of separation logic
- An introduction to the theory of linear integer arithmetic (invited paper)
- One-parametric Presburger arithmetic has quantifier elimination
This page was built for publication: Über die Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1830461)
