3 ms·
Most universities have a course specifically geared towards proofs, including first order propositional and predicate logic, set theory, basic proof techniques,
by jackmaney 12y ago
Most universities have a course specifically geared towards proofs, including first order propositional and predicate logic, set theory, basic proof techniques, etc. I've taught this particular course a few times when I was in academia, and one of the better books that was around at the time (2004--8) was Krantz's _Elements of Advanced Mathematics_.
- jackmaney 12y agoAlso, the initial dialog in _Proofs and Refutations_ by Imre Lakatos is a nice discussion not only of proofs, but on thought processes that one often goes through during mathematical research.