Abstract
In the early days of computing, special machines were built for solving logical (as opposed to numerical) problems. Experience in several significant problems of Mathematical logic has indicated that a general purpose machine can be used simply and effectively, provided a powerful programming language is available.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Brooker, R. A., Rohl, J. S. and Clark, S. R. (1966),The main features of Atlas Autocode, Computer Journal, Vol. 8, pp. 303–310.
Church, A. (1948),Conditioned Disjunction as a Primitive Connective for the Propositional Calculus, Portug. Math., Vol. 7, pp. 87–90.
Foxley, E. (1960),Testing the Independence of a System of axioms, using a Logical Computer, Proc. Cam. Phil. Soc., Vol. 57, pp. 443–448.
Foxley, E. (1961),Formulae Corresponding to Flip-Flops, Zeitschr. f. Math. Log. und Grundl. der Math., Vol. 7, pp. 66–71.
Foxley, E. (1962),The Determination of all Sheffer Functions in 3-valued logic, using a logical computer, Notre Dame J. Formal Logic, Vol. 3, pp. 41–50.
Foxley, E. (1964),The Determination of the set of all four-variable formulae corresponding to Universal Decision Elements, using a logical computer, Zeitschr. f. Math. Log. und Grundl. der Math., Vol. 10, pp. 302–314.
Gardner, M. (1958),Logic Machines and diagrams, McGraw-Hill.
McCallum, D. B. and Smith, J. B. (1951),Mechanised Reasoning-logical Computers and Their design, Electronic Engineering, Vol. 23, pp. 126–133.
McCallum, D. B. and Smith, J. B. (1951b),Feedback Logical Computers, Electronic Engineering, Vol. 23, pp. 458–461.
Parton, J. E. and Rose, A. (1961),The Universal Decision Element, Trans. Soc. Inst. Tech., Vol. 13, pp. 177–188.
Pugmire, J. M. and Rose, A. (1958),Formulae corresponding to universal decision elements. Zeitschr. F. Math. Log und Grundl. der Math. 4, pp. 1–9.
Rose, A. and Parton, J. E. (1956),Improvements relating to electrical decision elements, British Patent 847, 224.
Rose, A. (1951),Conditioned disjunction as a primitive connective for the m-valued propositional calculus. Math. Ann. 123, pp. 76–78.
Rose, A. (1958a)The use of universal decision elements as flip-flops. Zeitschr. F. Math. Log und Grundl. der Math, 4 pp. 169–174.
Rose, A. (1958b),Many valued logical machines. Proc. Camb. Phil. Soc. 54 pp. 307–321.
Sobocinski, (1953),On a universal decision element, Journal of Computing Systems, vol. 1, No. 2, pp. 71–80.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Foxley, E. Programming problems in mathematical logic. BIT 8, 104–121 (1968). https://doi.org/10.1007/BF01939332
Issue Date:
DOI: https://doi.org/10.1007/BF01939332