Re: grassroots level SPARK Initiation

[Mehdi Saada <00120260a@gmail.com>]

> Most math is fundamentally about reasoning about infinite sets. 
Except men have been doing math way before last century's mania with set theory. The computer is *never* counting up to the infinite, of course... It's not *reasoning* about infinite stuff either, it's always applying a logical, step-by-step recipe, however complex. Many things *can* be cast in different formalism, be it better or not. The same happen within math... some problem are more naturally, whatever the term means, cast in some language than other. Or some properties/structures made more apparent. For more on all of that, see NJ.Wildberger, math teacher on YT ... Just be sure this stance isn't coming from nowhere, nor is devoid of reason.

> https://www.fecundity.com/codex/forallx.pdf
I'll look at it. Do you know "HOW TO PROVE IT, A Structured Approach", from Daniel J. Velleman ? It's lengthier, among other things. But like you said, many good books here.