proof theory

Offers advice and examples designed to help middle school math teachers conform to the NCTM's Process Standards when instructing students in grades six through eight on how to explore their reasoning and support their mathematical thinking.

"In a wide-ranging discussion that is both immersed in the past and unusually attuned to the competing philosophical ideas of contemporary mathematicians ... shows that proof and other forms of mathematical exploration continue to be living evolving practices--responsive to new technologies yet embedded in permanent (and astonishing) facts about human beings"--Back cover.

Examines the life and work of mathematician and logician, Kurt Godel, briefly looking at his early scholarly life, then describing the elements of contradiction is his life that lead to his formulation of the Incompleteness Theorem--a groundbreaking work in twentieth century science.