# Doubt, proof, and what it means to do mathematics

Throwback post from 2013 on a way of thinking of mathematics as the interplay between belief and doubt.

*This is a throwback post, originally posted in July 2013. I realized recently I haven't posted about mathematics much recently, other than how I'm designing my upcoming courses. So I'd thought I'd put this out there for those who might appreciate it â€“ which IMO extends well beyond mathematicians, as you'll see. See the bottom of the article for some updated 2021 thoughts on this. *

Yesterday I was doing some literature review for an article Iâ€™m writing about my inverted transition-to-proof class, and I got around to reading a paper by Guershon Harel and Larry SowderÂą about student conceptions of proof. Early in the paper, the authors wrote the following passage about mathematical proof to set up their main research questions. This totally stopped me in my tracks, for reasons Iâ€™ll explain below. All emphases are in the original.

An observation can be conceived of by the individual as either aor as aconjecture.factA conjecture is an observation made by a person who has doubts about its truth. A personâ€™s observation ceases to be a conjecture and becomes a fact in her or his view once the person becomes certain of its truth.

This is the basis for our definition of the process of proving:By â€śprovingâ€ť we mean the process employed by an individual to remove or create doubts about the truth of an observation.

The process of proving includes two subprocesses:andascertaining.persuadingAscertaining is the process an individual employs to remove her or his own doubts about the truth of an observation.Persuading is the process an individual employs to remove othersâ€™ doubts about the truth of an observation.

Central to this paper is the question:How are conjectures rejected or rendered into facts?

This is a really fascinating way to frame the nature of mathematical proof and what it means to do mathematics in the first place: as a back-and-forth tension between certainty and uncertainty. The clarity of this description helped me reflect on some thoughts Iâ€™ve had about proof and teaching students how to prove. Here are some of those thoughts:

**At its heart, the process of proof**â€“ and one could extend this to the entire discipline of mathematics â€“**begins with**And proof without observation, such as what can take place when we just give students fully worked-out conjectures to prove, is at most half the mathematical story. And yet this construction of proofs given fully worked-out statements is the primary way we teach students proof..*observation*- Using the definition above of â€śconjectureâ€ť,
**itâ€™s impossible to make conjectures without entertaining doubts about the truth of the observations**. This is a powerful thing and very hard to teach. Many students have been socially conditioned not even toobservations unless they are already sure of their truth. Therefore to teach students to prove, we have to teach them first how to conjecture, which means we have to teach them how to*make*.*doubt* - At the same time,
**a person who canâ€™t move beyond doubts will never prove anything**. They will remain in a world of conjectures. This is also hard for students â€“ doubt is hard, but so is certainty. Most students are equally uncomfortable with each. A socially acceptable indeterminacy about things, accompanied by an emotionally felt truth, is a much more comfortable place for most students. But mathematics somehow demands we reject both casual uncertainty and warm-fuzzy conviction and replace them, respectively, with principled skepticism and rigorous belief. - It seems obvious that â€śascertainingâ€ť has to take place before â€śpersuadingâ€ť, and Iâ€™m sure that those two concepts are given in that order in the paper on purpose.
**But a key misstep of most students in learning how to prove**â€“ really in learning how to solve any problem at all â€“**is that they skip over the ascertaining step and jump straight into trying to persuade other people of the truth of a statement that they themselves donâ€™t believe in**. Getting students to go completely through both stages in an intellectually honest and patient way is a key challenge for transitioning to proof. - If the previous point is true then
**itâ€™s no wonder that many solutions of problems, including but not limited to proofs, that are given by novice math students look incomprehensible**â€“ symbols sprayed indiscriminately on the page, proof rituals attempted but not done right â€“ because the only way to persuade somebody of a truth that you have not accepted yourself is brute force, to shout down the other personâ€™s thought process. Most solutions like this are really a form of a denial of service attack against the intellect of the reader. The readerâ€™s faculties are spammed so vigorously as to be unusable, and hence the argument or solution is accepted by surrender. Many students make it through high school and even freshman calculus with this approach. But then the targets of this attack get more and more hardened and the old non-mathematical ways of â€śprovingâ€ť donâ€™t work anymore.

So based on those five thoughts, hereâ€™s a short list of what a professor teaching a transition-to-proof class has to accomplish:

- Convince students that mathematics is about observations and truth, not about computations and right answers.
- Put students in a position where they must experiment and observe, and then have enough confidence in their observations to make conjectures â€“ but not so much confidence that they canâ€™t reserve judgment on the truth of those conjectures until the doubt is removed.
- Get students to be intellectually honest, to the point that they can judge objectively and accurately whether they really believe in something or not â€“ and not merely to â€śbelieveâ€ť in the truth of a conjecture merely by capitulating because an authority figure said so or because credulity is easier than proof.
- Get students to understand that doubt is not only OK but essential to mathematics â€“ but also that the mathematics is not truly finished until that doubt is truly removed both within oneself and in the minds of all others.
- Teach students to see their hard-fought conjectures, which they have â€śascertainedâ€ť, from the viewpoint of others â€“ so that even though they are convinced of the statementâ€™s truth, they can anticipate what objections others may have.

And of course, the professor also has to teach students that yes, they do have to write in professional English, use mathematical notation correctly, be able to recite definitions and perform calculations correctly, and all that other stuff.

So, in case this wasnâ€™t clear already, **transition-to-proof is really hard**, and itâ€™s hard to teach. In such a course, students not only have to learn new mathematical content and proper professional writing standards but also come to grips with notions of doubt and certainty that are at the center of humanity itself. Itâ€™s no wonder students struggle with this! At the same time, it makes a very good case for why students * need* to learn proof, because emerging from the other side of struggles with belief and doubt makes a person that much more capable of living a full life.

*ÂąHarel, G., & Sowder, L. (1998). Studentsâ€™ proof schemes: Results from exploratory studies. Research in collegiate mathematics education III, 7, 234â€“282.*

Some new thoughts from 2021:

- The course I described in this article was actually the last time I taught the transition-to-proof course. So I haven't had an opportunity to revisit it in eight years. But, as I've taught Discrete Structures for Computer Science â€” which includes aspects of proof, starting with combinatorial and induction proofs in the first semester then moving on to more induction and other forms of proof in the second â€” all of the observations I made here apply to those classes. In fact the epistemology of this article is really applicable to reasoning anywhere.
- It's been interesting to see how Computer Science majors approach the same proof concepts as Math majors. The CS majors, if anything, tend to have a much more comfortable relationship with doubt and skepticism than Math majors. Maybe it comes from so much experience with their code never compiling properly on the first try? Getting CS majors to doubt their conjectures is not a problem. Getting them to
*believe*in them is the problem! Whereas I've often found mathematics majors to be credulous to a fault. It's not a character defect, just an observation. - Teaching proof is still very, very hard. So hard in fact that it's foolish to think that one course will do it all. The workflow of doing mathematics in this way â€” not as computations but as an exploration of the tension between belief and doubt â€” is something that has to start early, perhaps get formalized in a transition-to-proof class, but then recur as a regular feature of every math course you take.