Abstract

In mathematics statements about mathematical objects are formulated and proved. In logics the formulation of statements (the syntax), the meaning of statements (the semantics), truth, proofs,etc. are studied. In this chapter we shall exhibit some applications of recursion theory to logics. Decidability, productivity, and effective inseparability will play an important role.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call