i.e., A mathematical proof is a sequence of statements in which each statement is either an axiom, or is derived from preceding statements by some rule of reasoning
The prize is to anyone who could meet my Cape Town challenge to prove 1+1 = 2 in REAL numbers from first principles (in the manner of Russell's proof of 1+1=2)
without assuming any theorem of axiomatic set theory and proving everything from axioms.
The case of "real" numbers is important since
real numbers purportedly needed for calculus on current teaching
and calculus needed for all science.
Hence, real numbers taught in class IX and class X to indoctrinate children
without ANY comprehension of the difficulties involved.
Hence, math of calculus so difficult that
California (US technology hub) recently cancelled calculus teaching in schools.
Their aim: to replace it with data science.
Risky strategy: data science needs statistics which needs calculus.
Half understood statistics may create bugs in AI programs
on which the world may depend in future for decision-making.
So, correct strategy is to make calculus easy.
This can be done by teaching calculus as ganita
the way it originated in India
with the 5th c. Aryabhata
as the numerical solution of differential equations
That gaṇita makes calculus easy has been DEMONSTRATED
by teaching experiments over the last 14 years with 8 groups in 5 universities in 3 countries (India, Malaysia, Iran).
E.g. De Morgan a very influential professor from University College London
foolishlydeclared negative numbers impossible. (Morgan, Augustus de. Elements of Algebra: Preliminary to the Differential Calculus, 2nd ed. London: Taylor and Walton, 1837, p. xi.
based on the Doctrine of Christian discovery that any piece of land/knowledge belongs to the first Christian to sight it (Bull Inter-Caetera)
as in Vasco "discovered" India.
So what difference does Western theft of calculus make to calculus TEACHING today?
(Today's talk not about history but about teaching ganita vs math.)
Europeans stole calculus because they had an INFERIOR knowledge of it.
Should we ape it?
Unlike other cases of arithmetic, algebra
in the case of calculus, the West admitted its failure to understand it
hence Dedekind invented "real" numbers in late 19th c., 250 years after Newton's death.
Today "real" number are regarded as essential to understand calculus
(but, as we saw, almost no one in the country really understands 1+1=2 in real numbers
and no one has accepted the challenge to prove it)
and no university mathematician is willing to publicly debate why real numbers are needed for calculus
when they are never used in practice
but make calculus so very difficult.
Let us understand the problem
Consider the number \(\sqrt 2\)
The number is a surd.
That means if we apply Aryabhata's 5th c. algorithm (the algorithm you learnt in school) to extract the square root
the process never terminates.
That is, $\sqrt 2 = 1.4142135…$
where the three dots indicate that the process goes on indefinitely.
Another way to see it is that we have an infinite sum
\[\sqrt 2 = 1+ 0.4 + 0.01 + 0.004 + ...\] or
\[\sqrt 2 = 1+ \frac{4}{10} + \frac{1}{100} + \frac{4}{1000}+ ...\]
This fact about \(\sqrt 2\) was known from the earliest times, in India and