Sentence examples for was provable from inspiring English sources

Was there a method by which it could be decided, for any given mathematical proposition, whether or not it was provable?

Its origins are to be found in Hilbert's question concerning the decidability of predicate calculus: could there be an algorithm, a procedure, for deciding of an arbitrary sentence of the logic whether it was provable (The Entscheidungsproblem).

Leon Henkin put forward the question whether the sentence expressing its own provability ("I am provable") is true or false, and provable or not (Henkin 1952).

Heyting also proposes a provability operator +, where +p means "p is provable".

But they are provable untruths.

Hence, if the arithmetic sentence were provable, p would also be provable contradicting the previous result.

None of their theories are provable, but all are plausible.

The truth is plain, and it is provable.

"It's provable that it will have that impact," Professor Safranek said.

Like him, I can't think of any that are provable.

Since ∼p is a theorem, it should be true, and there seem then to be two conflicting sentences that are both true namely, p is provable in the system and ∼p is provable in it.