The Robot Devolution Game (The World's Hardest Game! Coming soon)

Abstracts and Papers

  1. Naveen Sundar Govindarajulu, Uncomputable Games: Toward Crowd-sourced Solving of Truly Difficult Problems, Turing Centenary Conference CiE 2012 Abstracts Booklet, Page 62, June 2012, Cambridge UK.
  2. Naveen Sundar Govindarajulul & Selmer Bringsjord, Proving Theorems using Uncomputable Games: Examples from Physics, in Colloquim Logicum 2012 , September 2012, Paderborn, Germany.

Preview video of my iOS implementation: