"That’s true—after Gödel it became ‘Can we determine whether any given statement is provable or non-provable?’ In other words, is there some sort of mechanical process we could use to separate the provable statements from the nonprovable ones?"