6
$\begingroup$

Michael Sipser's textbook Introduction to the Theory of Computation (now 3rd ed.) includes for each major theorem, a demarcated Proof Idea of length a paragraph to more than a page, prior to presenting the formal Proof.

I am seeking examples of textbooks that do something similar, regularly providing proof sketches prior to the proofs. Of course it is not uncommon to sketch the main idea before a proof, but I am seeking systematic use of this pedagogical practice spanning an entire textbook.

$\endgroup$

2 Answers 2

5
$\begingroup$

I'm not sure if this is what you're looking for, but "How to Read and Do Proofs: An Introduction to Mathematical Thought Processes" by Solow is an intro-to-proof-writing book that frequently goes very slow and wordily through a proof/argument before giving the concise mathematical version.

$\endgroup$
1
  • $\begingroup$ Great example---Thanks! $\endgroup$ May 28, 2023 at 12:07
1
$\begingroup$

Two great books that do this are the books on proof writing and real analysis by Jay Cummings.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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