Why is Bertrand's Postulate Called a "Postulate?"

Question

I have two questions:

(1) Is a postulate the same thing as an axiom? This answer seems to suggest the answer is yes. I've always thought the two were the same but the question below suggests a difference.

(2) If the answer to (1) is yes, then why is Bertrand's Postulate so named? It is a theorem, one can prove it. Was it taken as an axiom at one point or is this just a sort of "abuse of terminology?"

I guess, if said naming is indeed an abuse of terminology, my opinion is that this abuse is not totally benign. When I first heard of Bertrand's Postulate, it was mentioned in a proof in the following manner: "We see that Statement X follows immediately from Bertrand's Postulate." Not familiar with the theorem, I assumed this was another name for some famous axiom, which was confusing to me since I knew of no axiom which readily implied the result. Upon looking up Bertrand's Postulate, my misconception was cleared up but I was left wondering why they called it a postulate.

In modern use, axiom and postulate have the same meaning. — Mauro ALLEGRANZA, Sep 09 '16 at 17:50
It was a conjecture, named by someone (who ?) postulate; it has been proved, and thus now is a theorem. There is no reason to think that (human) mathematicians are "logical" ... — Mauro ALLEGRANZA, Sep 09 '16 at 17:51
@MarianoSuárez-Álvarez Right, I see that that is likely the reason the naming has persisted, but someone had to give it that name originally suggesting that, upon first discovery, Bertrand's Postulate may have been taken as an axiom. I'm wondering if this is true or if there is some other reason, perhaps the term "postulate" has not always held the same meaning we give it today? — M10687, Sep 09 '16 at 17:52
+1 for the question. I hope it gets a good etymological answer. Bertrand seems to have conjectured it, not assumed it as an axiom. My guess is that calling it a postulate is an abuse and that we're stuck with the times folks read it your way and then have to take the time to clear things up. — Ethan Bolker, Sep 09 '16 at 17:54
I think that "postulate" in this context is probably used as a verb, meaning to "claim". Bertrand conjectured ("postulated") that there were primes between $n$ and $2n$ for $n>1$, but it was only proved several years later by Chebyshev. — Mark Yasuda, Sep 09 '16 at 17:57
See Bertrand's paper, page 129 : "In order to prove [...] I'll assume as a fact, for every number $n > 6$, the existence at least of a prime number ... This statement is true for every number less than six millions, and thus it seems to be true in general." It is clearly stated as a conjecture. — Mauro ALLEGRANZA, Sep 09 '16 at 17:59
Ah. So it was originally a postulate in the sense of "a proposition... that is for a specific purpose assumed true, and that is used in the proof of other propositions" — Robert Israel, Sep 09 '16 at 18:08

quid · Accepted Answer · 2016-09-09T18:19:19.430

It is a theorem since a long time. Bertrand conjectured it (in 1845) but did not prove it.

Postulate means something that is assumed to be true. As an axiom or tentatively as a conjecture. As detailed in a comment by Mauro Allegranza this matches exactly what happened. That is, Betrand assumed this to be true (tentatively as a conjecture) in order to be able to progress with an argument.

It seems he did not use the word himself though. Yet, Chebyshev already used this term few years later (1852) writing in the paper where he proved it "ce qui est le postulatum connu de M. Bertrand" meaning "which is the known postulatum of Mr. Betrand" (my translation).

score 5 · Answer 2 · answered Sep 09 '16 at 17:51

5

"Postulate" is used here as a synonym of "conjecture". Bertrand conjectured this in 1845, Chebyshev proved it in 1852.

answered Sep 09 '16 at 17:51

Robert Israel

448,999

Clearly "postulate" is meant here as a synonym for "conjecture". I think (hope) the OP is asking whether that usage has a history/ – Ethan Bolker Sep 09 '16 at 17:56

Why is Bertrand's Postulate Called a "Postulate?"

2 Answers2