Ste_Evans

Nokia's problem was their UI, which was not controlled by Symbian, not the underlying OS. Hundreds of Symbian-OS based phones were on the market from 2001, including in the Japanese market which had the most testing. The p800 and p910 had a UI similar to iPhone and Android in 2003, 3 years before the iPhone, on 3G networks. The second version of the Symbian OS kernel from 2003 was real time i.e. a comms stack could be run together with the apps off the one CPU. Are the Linux kernel or iOS kernel real time now even?

Android OS and iOS are hacks of desktop OSes so are optimised for performance rather than battery life or memory usage; Symbian OS was designed as a mobile OS from the beginning optimising power and memory management.

It was the timing of Google's IPO which scuppered Symbian. Google were able to spend billions getting Android in place to capture Symbian's market share and customers as iPhone buzz grew the market.

This paper is a good example of why mathematicians often ignore philosophy of maths.

"When a community of mathematicians is small then our modern standards of truth aren't necessary"

Proof is needed to provide confidence in the intuition. Lots of historical examples of mathematical intuition unsupported by rigorous proof going astray.

Also, on p11 it is not enough just to complete the square and derive the formulae for quadratic roots, the substitution on p12 is also necessary. Otherwise, one has just shown the possible form roots can take if they exist, but not that they exist.

i.e. showing A=>B is true, does not show that B is true.