An Indian solution to ‘incompleteness’

  title={An Indian solution to ‘incompleteness’},
  author={U. A. Vinaya Kumar},
  journal={AI & SOCIETY},
Kurt Gödel’s Incompleteness theorem is well known in Mathematics/Logic/Philosophy circles. Gödel was able to find a way for any given P (UTM), (read as, “P of UTM” for “Program of Universal Truth Machine”), actually to write down a complicated polynomial that has a solution iff (=if and only if), G is true, where G stands for a Gödel-sentence. So, if G’s… CONTINUE READING