• Title/Summary/Keyword: Note

Search Result 3,545, Processing Time 0.024 seconds

A Note on the Spectrum of any Self-adjoint Extension

  • Lim, Chong Rock
    • The Mathematical Education
    • /
    • v.22 no.1
    • /
    • pp.67-68
    • /
    • 1983
  • In this note we consider properties for the discreteness of the spectrum of second-order differential operators. If we give some conditions, then the spectrum of any self-adjoint extension of $A_{0}$ , $A_{0}$ u=$\alpha$[u], D( $A_{0}$ )= $C_{0}$ $^{\infty}$(0.1) is discrete.1) is discrete.

  • PDF

A note on the well-formed formulas of a pure functional calculus of the first order

  • Ryan, Joseph T.
    • Bulletin of the Korean Mathematical Society
    • /
    • v.8 no.1
    • /
    • pp.9-15
    • /
    • 1971
  • The purpose of this note is to use primitive recursive functions and predicates similar to those presented by Davis [2] to show the well-known result first proved by Godel in [3] that the well-formed formulas of a pure functional calculus form a recursive set. The technique shown in this paper immediately suggests a unique approach to Theorem proving using a computer.

  • PDF