It means that any fixed Turing-recognizable model of arithmetic will either fail to prove some factually true things about arithmetic, or else it will be inconsistent, meaning that it will prove everything, including false things. In that sense, every Turing-recognizable and consistent model of arithmetic is “incomplete,” since it will have “blind spots” in terms of true things for which it actually provides a proof. It means that no fixed formal computational model of arithmetic can account for all of the things that are actually true about arithmetic.
Latest Answers