5
$\begingroup$

In his Logical Foundation of Mathematics and Computational Complexity (2013), Pavel Pudlak invites the readers to ponder about fictitious people whose natural numbers are nonstandard. His exposition is included in Section 6.1, under the subsection Interlude - Life in an Inconsistent World.

According to Gödel’s Second Incompleteness Theorem, Peano Arithmetic augmented with the formal inconsistency of Peano arithmetic, the theory that we denote by $PA + ¬Con(PA)$, is consistent. By the Completeness Theorem, this theory has a model $M$. Imagine a world $\mathcal W$ in which the natural numbers are $M$. Since $M$ is necessarily a nonstandard model, we should think of people living in $\mathcal W$ as being able to compute with nonstandard numbers like we are able to compute with standard natural numbers. I will leave to the reader’s imagination how they can do it; for example, these people may have nonstandard size, or they have standard size, but they have computers of nonstandard size and nonstandard speed, etc. This is not important for our discussion.

He goes on to say that this world is definitely fictitious, i.e. we do not live in it.

Why are we so sure that we do not live in an inconsistent world? The reason is that logic in our world seems to work perfectly; even the extremely long and complicated proofs in mathematics never fail. It is not only logic that is consistent, mathematics works perfectly as well—once a theorem is proven, it holds true in all circumstances without any exceptions. This confirms our belief in the soundness of mathematical theories. As a result we are always ready to extend our theories by statements expressing their soundness.

The problem I have with this argument is time. Presumably, it would take a non-standard amount of time to find the inconsistency in $PA$. If in our world, only a standard amount of time has passed, we would only have standard results, so of course the theorems would work. We would only notice the contradictions after a non-standard amount of time. Indeed, there could be a large initial segment of $M$ for which nothing funky goes on.

Am I missing something? How do we know we aren't in the inconsistent world?

$\endgroup$
5
  • 1
    $\begingroup$ I am not sure this is a purely mathematical question, but I will hold off on voting to close to see if some mathematical sense can be made of it. In the end, we simply assume that our theories are consistent, e.g. by assuming Con(PA) or Con(ZFC) based on our non-formalized belief that these systems are consistent, which is in turn backed up by semi-formal arguments and by experience, as Pudlak explains. $\endgroup$ May 29, 2018 at 1:57
  • $\begingroup$ If PA is inconsistent, then a process that enumerates all proofs in PA and terminates when it proves $x \neq x$ will terminate in finite time. (Aside from that, I don't think Pudlak's observations are particularly pertinent: we can and do reason about non-standard numbers; I can assign no useful meaning to the claim that "proofs ... never fail"; in an inconsistent logic everything is "true in all circumstances without any exceptions", so that is not a relevant criterion.) $\endgroup$
    – Rob Arthan
    May 29, 2018 at 18:10
  • $\begingroup$ @RobArthan In the inconsistent world, mathematicians don't merely know about non-standard numbers. A non-standard number of objects can physically exist. So, for instance, you could physically write down a proof of 0=1, starting from PA, using $H$ symbols, where $H$ is non-standard. We can only contemplate such proofs in our world (presumably). $\endgroup$ May 29, 2018 at 18:12
  • $\begingroup$ Well there we have to agree to differ: in my view, numbers, standard or non-standard, are abstractions that have no physical existence: $2$ is not a physical object. With my view, the inconsistent world is just deprived of our (presumed) ability to distinguish the abstractions that represent standard numbers from the abstraction that represent non-standard numbers. $\endgroup$
    – Rob Arthan
    May 29, 2018 at 18:27
  • $\begingroup$ @Rob Arthan exactly, they can't distinguish them $\endgroup$ Oct 17, 2021 at 14:21

1 Answer 1

4
$\begingroup$

I'll preface this by saying the answer likely depends on who you ask. There are many philosophers who debate disagree on the nature of logic itself; I won't get into their claims as this isn't the forum for such discussion.

Pudlak is not providing a proof that we aren't in the inconsistent world, he is simply explaining why we do believe that we aren't in one. Perhaps a clearer way of seeing his argument is this: say we do live in the inconsistent world. Who cares? Our math works great and does everything we need it to do. We haven't stumbled across any inconsistencies yet; we'll figure out what to do if/when we hit that point.

If it is as you say, that we could only discover such an inconsistency in a `nonstandard' amount of time, then we'll never discover such an inconsistency. And if that's the case, then there is no way of distinguishing a consistent world from an inconsistent one, so what's to stop us from believing in the consistency of our world?

$\endgroup$
2
  • $\begingroup$ "If it is as you say, that we could only discover such an inconsistency in a `nonstandard' amount of time, then we'll never discover such an inconsistency." Why so? $\endgroup$ May 31, 2018 at 13:13
  • $\begingroup$ Well, if we've come to a point in time where we can say "ah! here's an inconsistency!" then we can look a the calendar/clock and see how much time as passed. Since we can determine how much time has passed, then it must be standard! This argument shouldn't be taken very seriously. Without a rigorous definition of `non-standard' time/logic, I could say whatever I please about it. For example, "theorems are only true if written with red pen" is a self-evident truth if you use non-standard logic! $\endgroup$
    – rikhavshah
    May 31, 2018 at 21:11

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .