steve@hubcap.clemson.edu ("Steve" Stevenson) (03/05/91)
Jon Barwise's column in the January issue of the Notices of the AMS has a provocative article by de Bruijn on ``justification'' programs rather than theorem provers. That sets off a line of thinking about how mathematicians actually work (as he pointed) versus how we think mathematicians work. I remember that Suppe's *Intro to Logic* has a chapter on the mechanics of setting things up [Chapter 3, I think. He talks about pre-theoretical terms, etc.] My question: are there other well laid out discussions of the ``idomatic'' and ``pragmatics'' of mathematical development? -- =============================================================================== Steve (really "D. E.") Stevenson steve@hubcap.clemson.edu Department of Computer Science, (803)656-5880.mabell Clemson University, Clemson, SC 29634-1906