Toward a Scientific Theory of Mathematical Proof

Re: Harvey Friedman @ http://www.cs.nyu.edu/pipermail/fom/2010-May/014703.html

| The key divide is whether one is interested in
|
| (#) *HAVING A SCIENTIFIC THEORY OF MATHEMATICAL PROOF*
|
| as opposed to ad hoc observations.

I'm deep in the middle of other work right now,
but I wanted to make note of this desideratum
for later reflection before I lose track of it.

Jon Awbrey

-- 

inquiry list: http://stderr.org/pipermail/inquiry/
mwb: http://www.mywikibiz.com/Directory:Jon_Awbrey
knol: http://knol.google.com/k/-/-/3fkwvf69kridz/1
oeiswiki: http://www.oeis.org/wiki/User:Jon_Awbrey