[HM] Archimedes, Hardy and Littlewood

Moshe' Machover (moshe.machover@kcl.ac.uk)
Thu, 5 Nov 1998 12:11:00 GMT

At 2:33 pm -0800 4/11/98, milo.gardner@24stex.com wrote:
> Moshe:
>
> Your recent HM post can be answered two ways.
> First, when no serious attempt is made to find
> abstract math before 600 BC a modern scholar
> can NOT lay claim to Greeks being more advanced
> than Egyptians (and Babylonians). That is, read
> the 1920's works of DE Smith, Otto Neugebauer
> and many others that declare with weak proof that
> Egyptian arithmetic was only binary, and not
> abstract as Greeks later 'discovered'. Smith,
> for example, declared that all Egyptian math
> was additive, or duplation in form. Neugebauer
> did a little more work, following the suggestions
> of Sylvester, that 2/p series did not follow
> Fibonacci's 'gready algorithm' and therefore
> could not have been advance thinking.
>
> Continuing on the first point, Hultsch in 1895 showed
> that RMP 2/nth table 2/p series followed an abstract
> rule, as Sylvester attempted to refute, one that I
> like to state as:
>
> 2/p - 1/a = (2a -p)/ap
>
> where a is any highly composite number < p, but
> greater than p/2, such that the aliquot parts
> of a were used to additively compute 2a -p.
>
> For example,
>
> Solve for 2/19 as Ahmes listed in his table?
> Ahmes chose a = 12, and with the divisors of
> 12 being 6, 4, 3, 2, and 1, only two pairs
> (3 + 2) and (4 + 1) add to 5 (2a -p). Note
> that 3 + 2 was chosen, as computed as
> follows:
>
> 2/19 - 1/12 = (3 + 2)/(12*19)
>
> and therefore,
>
> 2/19 = 1/12 + 1/76 + 1/114
>
> as was the case for all 2/p series < 2/101.
>
> For some reason, that connects to the EMLR,
> and not translated until 1927, and brought by
> Henry Rhind from Egypt in the late 1850's, the
> RMP 2/101 series used the rule:
>
> 1/101 = 1/101*(1/2 + 1/3 + 1/6)
>
> or,
>
> 2/101 = 1/101*(1/1 + 1/2 + 1/3 + 1/6)
>
> = 1/101 + 1/202 + 1/303 + 1/606
>
>
> The final aspect of the first point is that
> 2/pq series were not analyzed, and if they
> had, a scholar would have found:
>
> 2/pq = 2/a x a/pq
>
> where a = (p + 1), for all but 2/35 and 2/91
>
> and a = (p + q) for 2/35 and 2/91, a rule
>
> that is present in the EMLR in its 1/p form.
>
>
> My second point is that Greek math has been FORCED
> to read only in the forward time direction, towards
> the neo-Pythagoreans and neo-Platoni types of 400 years +
> after Plato, and not backwards in time, as Archimedes
> based his works.
>
> That is, I would be happy to show you how and why
> Archimedes solved the following 1/4th geometric
> series as an Egyptian fraction series, dating back to
> the RMP, EMLR and other documents, and not as many
> have tried to report, as based in axiomatic methods:
>
> 4/3 = A + B + C + D + E + E/3
>
> where B = A/4, C = B/4, D = C/4 and E = D/4
>
> Thank you for offering your views on HM. I hope that
> we can continue this discussion, privately, or
> publically on HM.
>
> Regards,
>
> Milo Gardner
> Sacramento, Calif.

implicitly) that *there is* an objective progress in mathematics.

He claims that classical Greek mathematics has not been *shown* to be more
advanced than ancient Egyptian and Babylonian mathematics. But I note that
he does not go so far as to claim that, according to the available
evidence, Greek matheamtics can be shown to be *not* more advanced than
ancient Egyptian and Babylonian mathematics.

He does not answer the question as to whether our present mathematics is
much more advanced than ancient mathematics. I believe that, on the
available evidence, the answer must be a definite `yes'.

Be that as it may, I think that historians, who display such exemplary
caution in making value judgements about the mathematics of various
civilizations, should not rush to condemn Hardy and Littlwood as
class-biased snobs, under the ideological influence of imperialist
thinking. This seems to me a case of some histrians reading the
Hardy/Littlewood dictum in the light of their (the historians') own
pre-conceived sociological-ideological bias, without due consideration of
the evidence.
++++++++++++++++++++++++++++++++++++++

At 3:50 pm -0600 4/11/98, Glen Van Brummelen wrote:

>I have thought about this question in my paper. As you say, our
>present mathematics contains immeasurably more content than any
>non-Western culture. In fact, it contains the entire content of these
>ancient results (as we know them) as a tiny subset, and often more
>precise arguments to support them.
>
>But:
>
>-- Comparison of the *amount* of mathematics produced confuses the
>*actual* power/superiority with *potential* power. Western
>mathematics has had immeasurably more resources devoted to it, and
>there is no way to answer whether, say, the medieval Chinese approach
>would have produced more/better results, given the equivalent
>centuries and personnel applied to it.

This seems to me extremely plausible. Humans in other civilizations did not
differ from us in ingenuity or other relevant attributes.

Glen goes on:

>-- Continuing my fantasy, I imagine that a modern, well-developed
>"Chinese mathematics" would develop in ways quite distinct from our
>own. Our desire to reduce to axioms is not present in Chinese
>mathematics, whereas some of their (fantasized modern) computational
>math might be well beyond ours. We value the study of analysis and
>transcendental numbers, Lebesgue integration, and so forth at least
>partly because of the relations that arise when we axiomatize (and
>study pathological cases); the Chinese might prefer to emphasize
>other subdisciplines.

I find this also very plausible. Progress need not be uni-directional.

>Who is to say which emphasis is better? We can make a firm conclusion
>only by agreeing at the outset on what we value about mathematics,
>and that is culturally bound. (That being said, a culturally bound
>answer is not then automatically valueless; just restricted).

I refrained from using value terms such as `better' (in the sense used
here). *More advanced* is clearly not at all the same thing as *better*.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Moshe' Machover | E-MAIL: moshe.machover@kcl.ac.uk %%
%% Department of Philosophy | FAX (office)*: +44 171 873 2270 %%
%% King's College, London | PHONE (home)*: +44 181 969 5356 %%
%% Strand | %%
%% London WC2R 2LS | * If calling from UK, replace %%
%% England | +44 by 0 %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%