Does there exist a mathematical text that references a formal computer verified proof for every theorem it presents? I'm imagining a digital textbook that gives the higher level concepts in typical prose but also provides a means to examine each logical step in as much detail as desired. If not, is such a thing feasible or likely to be attempted?
2026-03-25 09:32:36.1774431156
A truly rigorous textbook
104 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
Not a textbook but a blog article by Timothy Gowers discussing the ability for computers to write proofs to problems at the level of analysis 1. Here he says
"a few years ago I teamed up with a colleague of mine, Mohan Ganesalingam, to write a computer program to solve easy problems."
and then he goes on to discuss the process
Here's the link https://gowers.wordpress.com/2014/02/03/how-to-work-out-proofs-in-analysis-i/