대한수학회보 (Bulletin of the Korean Mathematical Society)
- 제8권1호
- /
- Pages.9-15
- /
- 1971
- /
- 1015-8634(pISSN)
- /
- 2234-3016(eISSN)
A note on the well-formed formulas of a pure functional calculus of the first order
초록
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.
키워드