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.
RecognitionINSA Fellowship for Pro. Hema Somanathan
AnnouncementInformation Regarding BSMS Admission 2026