## Ganita vs formal math: an obituary of formal math

This is a video recording 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.) in three layers..

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).