Playing Chess & Proving Theorems

Re: http://www.cs.nyu.edu/pipermail/fom/2010-January/014359.html

I'm not especially interested in the game of chess, but many of
the same themes -- especially what Harvey Friedman describes as
"orthognality" -- arose in my computer studies of proof styles,
those requiring "insight" and those permitting "brute force",
non-strategic routines.

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
_______________________________________________
Inquiry mailing list
[email protected]
http://stderr.org/cgi-bin/mailman/listinfo/inquiry