#TNSO (The Not So Obvious) --- SynTalk

SynTalk

Do ‘birds that fly instinctively swim’? Are self-evident truths easy to prove? When is ‘want to’ not ‘wanna’? Is verification easier than proof? Are proofs explanations? Is that why proofs are supposed to be elegant? Is reasoning algorithmic? Is there one Method to all reasoning? Are all ungrammatical sentences also unacceptable? When do sentences have ambiguous meanings? Can statements with long proofs be obvious? Does economy play a significant role in language constructions? Can human beings extract insights from verbose arguments? Are young kids born with some innate inductive principles? Is obviousness purely syntax dependent? Is the measure of (theory) simplicity language-dependent? What constitutes a valid proof system? Are all mathematical proof systems automatable? Why are certain mistakes never made? ‘Can’ we hit upon scientific Truth by chance? Has Language evolved? Can ‘explanation’ be given without ‘understanding’, but not vice versa? Why is proving absence (=falseness) often harder than proving presence (=truth)? &, how might intuition, syntax, and proof systems change in the future? SynTalk thinks about these & more questions using concepts from linguistics (Dr. Tanmoy Bhattacharya, University of Delhi, New Delhi), theoretical computer science (Prof. Meena Mahajan, IMSc, HBNI, Chennai), & philosophy (Dr. Kit Patrick, Azim Premji University, Bangalore). Listen in...