hyperthesis

A parallel processor is you!

There'a a story that when someone wrote up a famous mathematician's work (Euler?), he found many errors, some quite serious. But all the theorems were true anyway.

Sounds like Tao's third stage, of informed intuition.

Consider whaling, by killer apes.

This beats TFA. Interesting relation between cumulativeness and distribution ("Yule process"). But how does this explain variation is how quickly children pick up maths - would you argue it's due to prior exposure e.g. parental tutoring?

Any comments on the "10x programmer"?

Being more precise: I like Spivak not defining addition, multiplication or number. I just want the other steps explicit, like equality transitivity, enough to implement it (for a computer without "mathematical maturity".)

I feel I already know what's needed - but I didn't catch the 0.a=0 omission at first, and there's surely others I'm still missing... Part of the problem is I have too much implicit knowledge.

Thanks, I'll take a look at those late chapters.

The algebra is my main interest, that happens to be in a calculus text.

0a = 0 is proven later in ch 1, it's just the ordering.

By "something I could code", I mean implementimg these properties (more like writing a proof assistant).

TBF Binet's formula is astonishing

Knuthing it.

This is like when Joel said git stores diffs.

Read of a study years ago that had postmenopausal wpmen do weight training - giving a dramatic 40% increase in bone density in 6 weeks IIRC the details.

It's not that frail people need to be inactive, but that inactivity causes frailty.