Скачать или смотреть Ganita vs formal math: an obituary of formal math

This is my concluding seminar (25 March 2021) as a Tagore Fellow at the Indian Institute of Advanced Study.


Twitter summary:
1. Ganita (गणित) differs from (formal) math,
2. it makes math easy, and
3. makes science better.
4. This is an obituary of formal math.


Slogan formulation
Formal math is dead,
long live normal math (गणित)


Detailed "abstract" (synoptic contents etc.)
http://ckraju.net/papers/IIAS-3rd-sem...


Presentation
http://ckraju.net/papers/presentation...


Best run on site (without downloading). Space bar moves presentation forward. Blue text indicates hyperlinks (for those who would like to examine the briefly displayed material in detail).