Hostname: page-component-78c5997874-t5tsf Total loading time: 0 Render date: 2024-11-03T00:54:11.520Z Has data issue: false hasContentIssue false
  • English
  • Français

A Boolean derivation of the Moore-Osgood theorem

Published online by Cambridge University Press:  12 March 2014

Archie Blake
Archie Blake*
Affiliation:
Ballistic Research Laboratory, Aberdeen Proving Ground, Maryland
Get access Rights & Permissions [Opens in a new window]

Extract

A fundamental problem of symbolic logic is to define logical calculi sufficient to comprise important parts of mathematics, and to develop systematic methods of calculation therein.

The possibility of progress in this direction has been severely limited by Gödel's proof that a consistent system sufficient to comprise arithmetic must contain propositions whose truth-value cannot be decided within the system, and by Church's extension of Gödel's method to the result that even in the first order logical function calculus the general decision problem cannot be solved.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 11 , Issue 3 , September 1946 , pp. 65 - 70
Copyright
Copyright © Association for Symbolic Logic 1946

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

1 Gödel, Kurt, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, Monatshefte für Mathematik und Physik, vol. 38 (1931), pp. 173–198.CrossRefGoogle Scholar

2 Church, Alonzo, A note on the Entscheidungsproblem, this Journal, vol. 1 (1936), pp. 40–41Google Scholar; Correction to A note on the Entscheidungsproblem, ibid., pp. 101-102.

3 Explained in Chapter IV of General analysis, Part II, by E. H. Moore with the cooperation of R. W. Barnard, American Philosophical Society, 1939.

4 Blake, Archie, Canonical expressions in Boolean algebra, University of Chicago doctoral dissertation, 1937.Google Scholar

5 It is of interest that the applicability of process II is not confined to the first order logical function calculus.

6 For the purpose of verifying that this and subsequent formulas belong to the first order logical function calculus, it is to be noted that each of the factors in parentheses is simply a truth-function of certain x's and y's.