Switch to: References

Add citations

You must login to add citations.
  1. Pāṇini's Grammar and Modern Computation.John Kadvany - 2016 - History and Philosophy of Logic 37 (4):325-346.
    Pāṇini's fourth century BC Sanskrit grammar uses rewrite rules utilizing an explicit formal language defined through a semi-formal metalanguage. The grammar is generative, meaning that it is capable of expressing a potential infinity of well-formed Sanskrit sentences starting from a finite symbolic inventory. The grammar's operational rules involve extensive use of auxiliary markers, in the form of Sanskrit phonemes, to control grammatical derivations. Pāṇini's rules often utilize a generic context-sensitive format to identify terms used in replacement, modification or deletion operations. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Indistinguishable from magic: Computation is cognitive technology. [REVIEW]John Kadvany - 2010 - Minds and Machines 20 (1):119-143.
    This paper explains how mathematical computation can be constructed from weaker recursive patterns typical of natural languages. A thought experiment is used to describe the formalization of computational rules, or arithmetical axioms, using only orally-based natural language capabilities, and motivated by two accomplishments of ancient Indian mathematics and linguistics. One accomplishment is the expression of positional value using versified Sanskrit number words in addition to orthodox inscribed numerals. The second is Pāṇini’s invention, around the fifth century BCE, of a formal (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The First Textbook of Calculus: Yuktibhāṣā. [REVIEW]P. P. Divakaran - 2007 - Journal of Indian Philosophy 35 (5-6):417-443.
    Download  
     
    Export citation  
     
    Bookmark   1 citation