In literature:
All that is easily provable.
"Jude the Obscure" by Thomas Hardy
Here, fortunately, she was powerless, it being apparently so provable against her that she had a husband in undiminished existence.
"The Golden Bowl" by Henry James
Boyers River is provably 25 yds.
"The Journals of Lewis and Clark" by Meriwether Lewis and William Clark
And more, it is a provable fact that only a portion of the coal measures is left.
"Town Geology" by Charles Kingsley
But in the Mauritius there was not, nor is there now, one negro to whom a good title is clearly provable.
"The History of the Rise, Progress and Accomplishment of the" by Thomas Clarkson
The point was provable.
"The Precipice" by Elia Wilkinson Peattie
Freedom, immortality, God, are not indeed provable.
"Edward Caldwell Moore" by Edward Moore
Provably genuine, every one.
"The Clarion" by Samuel Hopkins Adams
The other judgment illustrates the logic of correct, provable premises.
"Applied Psychology for Nurses" by Mary F. Porter
This idea of separateness is unreasonable, not provable by logic, nor supported by science.
"The Buddhist Catechism" by Henry S. Olcott
Logic is the theory of Proof, and everything provable can be exhibited as a proposition, propositions alone being objects of belief.
"Analysis of Mr. Mill's System of Logic" by William Stebbing
Only a creditor who owns a demand or provable claim can vote at creditors' meetings.
"Putnam's Handy Law Book for the Layman" by Albert Sidney Bolles
Nevertheless, it is authentic and provable.
"The Ship Dwellers" by Albert Bigelow Paine
It is not provable, and it is not proved.
"Trial of the Officers and Crew of the Privateer Savannah, on the Charge of Piracy, in the United States Circuit Court for the Southern District of New York" by A. F. Warburton
The term probable means provable, not guessed at, or jumped at without reason.
"Essays In Pastoral Medicine" by Austin ÓMalley
For that we build from below, brick upon brick, never getting beyond the provable fact.
"The Wanderings of a Spiritualist" by Arthur Conan Doyle
We hold firmly that these truths are provable by reason.
"The Catholic World. Volume III; Numbers 1, 2, 3, 4, 5, 6." by E. Rameur
For the matter of that, none of them had any provable claim upon beauty.
"Local Color" by Irvin S. Cobb
***
In news:
Tort – Defamation – Actionable And Provable Statements.
But that does not mean abandoning weapons that are provably effective in deterring some enemies.
BitZino And The Dawn Of ' Provably Fair' Casino Gaming.
Is Organic Food Provably Better.
Huaqun Wang, "Proxy Provable Data Possession in Public Clouds," IEEE Transactions on Services Computing, vol 99, no.
Proxy Provable Data Possession in Public Clouds IS - 1 SN - 1939-1374 SP EP EPD - 1 A1.
***
In science:
We say that A is provably P (where P is a property) if the statement “A has P ” is provable in PA.
Every Computably Enumerable Random Real Is Provably Computably Enumerable Random
Theorem 9 Suppose (ni, yi )i ∈ N × Σ∗ is a primitive recursive enumeration of “requests” which provably satisﬁes Pi 2−ni ≤ 1.
Every Computably Enumerable Random Real Is Provably Computably Enumerable Random
In this section we discuss three forms of provability for randomness.
Every Computably Enumerable Random Real Is Provably Computably Enumerable Random
A c.e. real α is provably Chaitin-random if there exists a provably universal machine U and constant c such that PA proves that for all n ≥ 1, HU (α(n)) ≥ n − c. A c.e. real α is provably ML-random if for every set A which PA proves to be a ML test and PA proves that there exists an i such that α 6∈ Ai .
Every Computably Enumerable Random Real Is Provably Computably Enumerable Random
The classical theorem that states that a real is Chaitin-random iff it is ML-random is provable in PA.
Every Computably Enumerable Random Real Is Provably Computably Enumerable Random
Theorem 12 Every c.e. provably Chaitin-random real is provably ML-random.
Every Computably Enumerable Random Real Is Provably Computably Enumerable Random
Take a c.e. real α, a machine U which is provably universal and a natural c > 0 such that PA proves that for all n ≥ 1, HU (α(n)) ≥ n − c.
Every Computably Enumerable Random Real Is Provably Computably Enumerable Random
Since U is provably universal there is a constant d ≥ 1 such that for all strings x, HU (x) ≤ HM (x) + d, so in particular, PA proves that for all n ≥ 2, if s ∈ Sn2, then HU (s) ≤ HM (s) + d ≤ |s| − n + d < |s| − n + d + 1.
Every Computably Enumerable Random Real Is Provably Computably Enumerable Random
We are now in a position to ﬁnd a natural n ≥ 2 such that PA proves that α /∈ An2 showing that α is provably ML-random.
Every Computably Enumerable Random Real Is Provably Computably Enumerable Random
V is a provably universal machine, c ≥ 0 is an integer and γ > 0 is a provably c.e. real.
Every Computably Enumerable Random Real Is Provably Computably Enumerable Random
Then ΩU = Pp∈dom(U ) 2−|p| is provably Chaitin-random.
Every Computably Enumerable Random Real Is Provably Computably Enumerable Random
Since U is provably universal, there is a c such that for all x, HU (x) ≤ HM (x) + c = 2|x| + c + 1.
Every Computably Enumerable Random Real Is Provably Computably Enumerable Random
This shows that HU (x) is provably total and U is provably onto.
Every Computably Enumerable Random Real Is Provably Computably Enumerable Random
Deﬁne the primitive recursive sequence of rationals ωk = Pk i 2−|π1 (g(i))| and notice that (ωk )k is provably strictly increasing; ΩU is, by deﬁnition, the limit of this sequence.
Every Computably Enumerable Random Real Is Provably Computably Enumerable Random
As U is provably universal, there exists an a such that for all y, HU (y) ≤ HC (y) + a is provable in PA.
Every Computably Enumerable Random Real Is Provably Computably Enumerable Random
***