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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have