Timothy Gowers

Timothy Gowers (also known as Tim Gowers or W.T. Gowers) is a mathematician who has thought extensively about how to think about and teach mathematics.

Some of Gowers' contributions to the genre of teaching about mathematics and teaching mathematics:

• Robotone (with Mohan Ganesalingam; an automated theorem prover that tries to imitate human reasoning)
• Various web pages about how to discover proofs, on his academic website https://www.dpmms.cam.ac.uk/~wtg10/mathsindex.html
• https://gowers.wordpress.com/2018/12/22/how-craig-barton-wishes-hed-taught-maths/
• https://books.google.com/books/about/Mathematics_A_Very_Short_Introduction.html?id=DBxSM7TIq48C
• https://gowers.wordpress.com/category/cambridge-teaching/basic-logic/
• https://gowers.wordpress.com/category/cambridge-teaching/general-concepts/
• https://gowers.wordpress.com/category/demystifying-proofs/
• https://gowers.wordpress.com/2008/08/16/just-do-it-proofs/

Some ideas in mathematics education that have been invented or discussed by Gowers:

• Just-do-it proof
• "Let" trick
• Fake difficulty
• Gunction