> There’s a wonderful book, How to Prove It by Daniel Velleman

the name sounds familiar but i don't think i have read that one, i did enjoy "introduction to mathematical reasoning" by eccles.

personally my relationship with mathematical proofs has been complicated. it took some work to understand basic proofs (dedekind cuts, ideas vs. instructions with mathematical notation), but all of the theory of computation proofs, which supposedly are difficult for many, were completely intuitively easy for me.

i think mathematicians are facing a similar confusion as computer programmers. the medium used to require precise thinking and the simple act of reading, writing and composing it was a mechanism for thinking and learning. in the llm era, the question is: should there be a new mechanism and if so, what should it look like?