Is a Proof a Proof If No One Can Check It?

Re:Is a Proof a Proof If No One Can Check It? by eru on Thursday June 25, 2009 @04:38AM (#673355)

I agree with your notion of "proof as conversation". That's the way presenting proofs verbally works in practice. (And I am a mathematician.)

[ Parent | on HN ]

Re:Is a Proof a Proof If No One Can Check It? by justin_vanw on Thursday June 25, 2009 @05:15PM (#674387)

I got most of this from conversations with Rich Schwartz. http://www.math.brown.edu/~res/

[ Parent | on HN ]