India to the World
Wikimedia Commons, via Wikipedia: Pāṇini

Logic & Philosophy of Science

Panini's generative grammar

c. 5th-4th c. BCEPaniniAshtadhyayiPan-Indian / unspecified

500 BCE

Nearly 4,000 ordered rules generating valid Sanskrit forms — a formal, generative rule system with metarules and recursion.

Dated
500–301 BCE
As scholars put it
c. 5th-4th c. BCE
Originator
Panini
Source text
Ashtadhyayi
Region
Pan-Indian / unspecified
Discipline
Logic & Philosophy of Science
Evidence
Documented
Confidence
High
Verification
Reference-cited

Meanwhile in the West

Formal grammars and rewrite systems emerged in 20th-c. linguistics/computer science.

Fair to say

Panini didn't 'invent computing'; his system is a strikingly formal grammar admired by modern theorists.

Path to modern innovation

Directly comparable to Backus-Naur Form and compiler grammars.

Transmission

Studied by European Sanskritists from the 19th c.; influenced modern formal-language theory.

Primary sources

References

  • 1Ashtadhyayi
  • 2G. Cardona, Panini: A Survey of Research

Further reading

Related

Corrections and additional sources: edit IND-017 on GitHub.