5 ms·

> 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 whe

by hiatus 3y ago

> 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 3y ago
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 3y ago
  >some introductory logic class like forall x from openlogicproject?
  - cubefox 3y ago
    Yes! It looks like a great introduction. Perhaps even better than the Lean course mentioned above. Here is the link: https://forallx.openlogicproject.org/ https://forallx.openlogicproject.org/
vkazanov 3y ago
"How to prove it" is the best book you can find
- layer8 3y ago
  How do you prove that?
  - vkazanov 3y ago
    With an intuitive explanation!
    - cubefox 3y ago
      "a sequence of thoughts convincing a sound mind" (Gödel 1953, p. 341)
auxi 3y ago
"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-jdc7ZxO9SXkgZKKiNsD12M0 https://www.youtube.com/watch?v=lOnsQUFFUEE&list=PL8GFp_SBW-...