The interdeducibility of the new Hilbert-Bernays theory and Principia Mathematica.
type: Item
instance of: scholarly article
title: The interdeducibility of the new Hilbert-Bernays theory and Principia Mathematica.
zbMATH Open document ID: 61.0053.01
DOI: 10.2307/1968573
author: Edward V. Huntington
published in: Annals of Mathematics. Second Series
publication date: 1935-01-01T00:00:00Z
review text: Der vorliegende Aufsatz soll Logikern, die an die Symbolik und den Kalkül von \textit{Whitehead} und \textit{Russell} gewöhnt sind, den Zugang zu den ``Grundlagen der Mathematik'' von \textit{Hilbert} und \textit{Bernays} (1934; JFM 60.0017.*) erleichtern. Verf. beschränkt sich dabei auf den Vergleich des Aussagenkalküls in beiden Systemen. In Teil I und II wird nachgewiesen, daß alle Aussagenformeln, die sich im System der Principia Mathematica gewinnen lassen, auch bei \textit{Hilbert} und \textit{Bernays} ableitbar sind und umgekehrt. In Teil III wird die Unabhängigkeit des von \textit{Hilbert} und \textit{Bernays} gebrauchten inhaltlichen (d. h. nicht formalen) Schlußschemas von den übrigen Postulaten gezeigt.
zbMATH DE Number: 2531295
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.2307/1968573
OpenAlex ID: W2331171291
description: scientific article