科学发现，生活，爱因斯坦，哥德尔，哥德尔的理论，区域:塔拉戈纳城、算法的证据