Title:Why resolving PvNP may require a paradigm shift

Abstract:I shall argue that a resolution of the PvNP problem requires building a `bridge' between the domain of provability and that of computability. Specifically, I shall show how P is not NP follows if an arithmetical formula [F] is PA-provable if, and only if, it interprets as an arithmetical expression F*---under a sound interpretation of PA---such that F* is algorithmically decidable as true over the structure N of the natural numbers. I shall show that a definition of what it means for a quantified arithmetical expression to be algorithmically decidable is implicit in the standard interpretation of first order Peano Arithmetic, but is obscured by the belief that Aristotle's particularisation must hold over the natural numbers. I shall argue that recognising the falseness of this belief requires a paradigm shift in our perception of Tarski's analysis of the concept of truth in the languages of the deductive sciences.