What is Logic?

The great philosopher Kurt Godel showed that the entire process of reasoning can be formalized based on only finitely many axioms and rules of inference and to a great extent can be mechanized. In this talk we shall give an overview of Godel's work known as the completeness theorem.

Date and Time: 2014/04/04 16:00 Venue: CETAA Hall
Speaker: Prof. S.M. Srivastava Speaker - Affiliations: Department of Mathematics, ISI Kolkata