In it you mentioned mathematician’s notebooks – much like Beethoven’s scores – with things crossed out, paths leading to dead ends; and that when we see the proofs – or hear the symphonies – we see the final, close-to-perfect result of a lot of struggle.

So I’d really like to see Euclid’s notebooks.

A good proof is sort of like a chess game: you wonder why he started here, where he’s going, then all of a sudden, it’s “check”, = QED.

Speaking of proofs, have you read about Mochizuki’s proof of the ABC Conjecture? So far, nobody understands it, and Mochizuki isn’t talking. I hear that if the conjecture is really proved, it would clear up a lot of other areas.

Would it be unmathematical to assume the proof is valid, then go to the other areas that seem to depend on it, and see where that leads?

My first question is, why do you limit the platforms to portables? Is it because those are more suited to what you’re doing? I’m an old salt, rooted in desktops (before that, mainframes), who recently made the switch to laptops.

I hope which you will proceed sharing your wisdom with us.