跳出系统

如果计算机是形式系统，而形式系统有极限（哥德尔），人类是否因此更优越？有人说是，因为我们能“跳出”系统看到机器不可证的真理。霍夫世塔特认为那是幻觉：我们只是更复杂的系统，同样有自己的哥德尔盲区。