Abstractmath.org is a website I have been maintaining since 2005. It is intended for people beginning the study of abstract math, often a course that requires proofs and thinking about mathematical structures. The Introduction to the website and the article Attitude explain the website in more detail.

One of the chapters in abstractmath.org covers Proofs. As everywhere in abstractmath.org, there is no attempt at complete coverage: the emphasis is on aspects that cause difficulty for abstraction-newbies. In the case of proofs, this includes sections on how proofs are written (math language is a big emphasis all over abstractmath.org). One of those sections is Forms of Proof. This post is a fairly extensive revision of that section.

More than half of the section on Proofs has already been revised (the ones entitled “abstractmath.org 2.0)”, and my current task is to finish that revision.

Normally, I post the actual article here on Gyre&Gimble, but something has changed in the operation of WordPress which causes the html processor to obey linebreaks in the input, which would make the article look chaotic.

So this time, I have to ask you to click a button to read the revised section on Forms of Proof. I apologize for the excessive effort by your finger.
 

This work is licensed under a Creative Commons Attribution-ShareAlike 2.5 License.

Send to Kindle