IISER - TVM

Colloquiums

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