Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Lately I've gotten a friend of mine interested in mathematics. He has no college-level education to speak of, but is well employed as a software engineer. So I feel he's competent to learn this stuff on his own.

He asked me recently if there was a 'mathematical' version of "The Little Schemer".

The point being, if there was an "introduction to proofs" book which took a more hand-holding approach. He's also expressed fondness for the metamath project.

However, metamath's proofs are obviously a bit too low level to learn anything serious.

At one point in our conversation, I mentioned the dependently typed programming language Agda, but I felt it's not quite as helpful until he at least gets some experience with Haskell (for which the target audience of Agda is Haskell programmers, hence the similarity in syntax).

Anyone have any good suggestions on a book?

share|improve this question
Somewhat tangential, but: it seems to me that your friend will greatly benefit from Zeitz's book. –  J. M. Dec 1 '11 at 4:06
As J.M. mentioned the book Zeitz: The Art and Craft of Problem Solving, it reminded me of this question: math.stackexchange.com/questions/7743/getting-better-at-proofs Perhaps you can find something useful there. –  Martin Sleziak Dec 1 '11 at 7:54
add comment

2 Answers

up vote 2 down vote accepted

This isn't exactly on point, but since you mentioned the possibility that your friend might be learning Haskell, you could try "The Haskell Road to Logic, Maths, and Programming". Pretty good book, maybe a natural transition for your friend.

share|improve this answer
add comment

May I humbly suggest my free DC Proof program. It's not a book, but a software program. Although I think you are selling Metamath short -- check out the vast library of formal proofs at the site! -- my program is somewhat higher level and, in my opinion, much easier for the beginner to learn. It comes with a ten-part tutorial to introduce the user to the program and various methods of proof.

share|improve this answer
add comment

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.