库尔特·哥德尔，计算机程序设计师