An Informal Exposition of Proofs of Godel's Theorems and Church's Theorem.
J. Barkley RosserPublished in: J. Symb. Log. (1939)
Keyphrases
- interactive theorem proving
- digital topology
- cut elimination
- sequent calculus
- intuitionistic logic
- proof search
- natural deduction
- linear logic
- informal learning
- inference rules
- theorem prover
- information systems
- fixed point theorem
- databases
- modal logic
- sufficient conditions
- theorem proving
- fixed point
- three dimensional
- web services
- website
- formal proof
- mathematical knowledge
- formal proofs
- machine learning