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
Some ideas in mathematics education that have been invented or discussed by Gowers:
- Just-do-it proof
- "Let" trick
- Fake difficulty