By Topic

IBM Journal of Research and Development

Issue 1 • Jan. 1960

Filter Results

Displaying Results 1 - 11 of 11
  • Toward Mechanical Mathematics

    Publication Year: 1960, Page(s):2 - 22
    Cited by:  Papers (13)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (2130 KB)

    Results are reported here of a rather successful attempt of proving all theorems, totalling near 400, of Principia Mathematica which are strictly in the realm of logic, viz., the restricted predicate calculus with equality. A number of other problems of the same type are discussed. It is suggested that the time is ripe for a new branch of applied logic which may be called “inferentialȁ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Thermodynamic Treatment of Dilute Superconducting Alloys

    Publication Year: 1960, Page(s):23 - 27
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (559 KB)

    The effect of adding small concentrations of an impurity to a superconducting metal is analyzed by thermodynamic methods. Two possible types of variation of the Gibbs free energy with composition are then discussed, utilizing a number of simplifying assumptions. For the case in which alloys have a superconducting second-order transition, there is a long-range interaction among solute atoms, even i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Proof Method for Quantification Theory: Its Justification and Realization

    Publication Year: 1960, Page(s):28 - 35
    Cited by:  Papers (4)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1030 KB)

    A program is described which can provide a computer with quick logical facility for syllogisms and moderately more complicated sentences. The program realizes a method for proving that a sentence of quantification theory is logically true. The program, furthermore, provides a decision procedure over a subclass of the sentences of quantification theory. The subclass of sentences for which the progr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Wave Equation in a Medium in Motion

    Publication Year: 1960, Page(s):36 - 42
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (631 KB)

    A model for the transverse vibrations of a tape moving between a pair of pulleys is devised using a variational procedure. It is shown by means of energy-type integrals that the energy of that portion of the tape between the pulleys is not conserved, but that there is a periodic transfer of energy into and out of the system. The solution for the wave equation is then constructed by a method which ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Design Methods for Maximum Minimum-Distance Error-Correcting Codes

    Publication Year: 1960, Page(s):43 - 57
    Cited by:  Papers (14)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1121 KB)

    In error-correcting codes for combating noisy transmission channels, a central concept is the notion of minimum distance. If a code can be constructed with minimum distance between code points of 2m+1, then any number of errors per code word which does not exceed m can be corrected, thus increasing the reliability of transmission above that to be expected with no redundancy in the code. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A New Group of Codes for Correction of Dependent Errors in Data Transmission

    Publication Year: 1960, Page(s):58 - 65
    Cited by:  Papers (7)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (696 KB)

    Multiple related errors of any configuration can be automatically corrected by a class of codes having the property of using two groups of parity bits, one defining the error pattern, the other determining the location of the errors within the block. In particular, error bursts can be corrected with a minimum amount of redundancy. Because each parity-bit group is derived by using maximum-length sh... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Information Theoretical Analysis of Multivariate Correlation

    Publication Year: 1960, Page(s):66 - 82
    Cited by:  Papers (41)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1522 KB)

    A set λ of stochastic variables, y1 ,y2, …, yn, is grouped into subsets, µ1, µ2, ..., µk. The correlation existing in λ with respect to the µ's is adequately expressed by an equation where S(ν) is the entropy function defined with reference to the variables y in subset ν... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • IBM Technical Papers Published in Other Journals

    Publication Year: 1960, Page(s):83 - 88
    IEEE is not the copyright holder of this material | PDF file iconPDF (750 KB)
    Freely Available from IEEE
  • Recent IBM Patents

    Publication Year: 1960, Page(s):89 - 90
    IEEE is not the copyright holder of this material | PDF file iconPDF (265 KB)
    Freely Available from IEEE
  • Authors

    Publication Year: 1960, Page(s): 91
    IEEE is not the copyright holder of this material | PDF file iconPDF (260 KB)
    Freely Available from IEEE
  • Contents of Previous Four Issue

    Publication Year: 1960, Page(s): 92
    IEEE is not the copyright holder of this material | PDF file iconPDF (226 KB)
    Freely Available from IEEE

Aims & Scope

Meet Our Editors

Editor-in-Chief
Clifford A. Pickover
IBM T. J. Watson Research Center