[hiatus]

> When I was first introduced to mathematical proofs, I was perplexed by how fuzzy and intuition-based the notion of proof was.

This was precisely my issue when studying proofs in school. Do you have any suggestions for resources to get started down the right path?

[cubefox]

The lecture notes for some introductory logic class of an analytic philosophy department may be quite good, but unfortunately I can't recommend something specific for English.

[yep31]

>some introductory logic class

like forall x from openlogicproject?

[cubefox]

Yes! It looks like a great introduction. Perhaps even better than the Lean course mentioned above. Here is the link:

https://forallx.openlogicproject.org/

[vkazanov]

"How to prove it" is the best book you can find

[layer8]

How do you prove that?

[vkazanov]

With an intuitive explanation!

[cubefox]

"a sequence of thoughts convincing a sound mind" (Gödel 1953, p. 341)

[auxi]

"How to Read and Do Proofs" by Daniel Solow, also there is a playlist on YT with the video lectures, very beginner friendly in my opinion https://www.youtube.com/watch?v=lOnsQUFFUEE&list=PL8GFp_SBW-...