Re: Gifted math student

The book Mathematics for the Nonmathematician and Mathematics: It's
content, methods, and meaning should greatly help him. I would expect
that he should read a section many times.

It is important to note that logic is important and I think can be
formally studied at age 10 or after.

What I would do is get a book like Arithmetic Refresher, run him
through it, and make sure he has it all.
Then use a book on the SAT test.
Thrid use a book such as How to Prove It.

It also important to note that arithmetic and mathematics is not the
same. Mathematics is two parts: slove equations, and prove theorems.

Have you considered homeschooling him?

.

Relevant Pages

  • Re: X = Z
    ... travel a path and return to its beginning, a goal of mathematics is ... that have otherwise generally canonical meaning. ... the fundamental discovery of truth in mathematics, ... appear on the subject of 'primes' above and below mine, ...
    (sci.math)
  • Re: X = Z
    ... travel a path and return to its beginning, a goal of mathematics is ... that have otherwise generally canonical meaning. ... Fashion has nothing to do with truth. ... appear on the subject of 'primes' above and below mine, ...
    (sci.math)
  • Re: truth/falsity of sentences in first-order logic
    ... a lot of what he said, like "Truth has nothing to do with models." ... the notion that a formula doesn't have a meaning ... mathematics, and anything that's technically wrong at the foundation ... of reasoning could "sink the ship of reasoning", ...
    (sci.logic)
  • Re: How do We Know that ZF is the Axiomatization that Proves everything Provable?
    ... formalize or shrink these results.) ... whether it's a valid proof according to CBL? ... meaning "Turing Machine a halts no on input b at iteration number c", ... untethered to any real mathematics. ...
    (sci.logic)
  • Re: Choice sequences, intuition, etc
    ... specifying a different method of constructing the sequence, ... Regarding Bishop, ... axiom systems for mathematics that are weaker. ... Somehow the distinction in meaning between an implication ...
    (sci.logic)