Como todo buen científico de la computación, su experiencia alcanzaba desde la aplicación práctica de sus ideas a la demostración matemática de su correctitud para asegurar la validez de su enfoque.