# 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