| http://www.w3.org/ns/prov#value | - Reply math grad student permalink August 15, 2010 8:05 pm In regards to writing machine checkable proof, in fact, if you find someone with ex-Soviet background, kids were taught to write exactly the sort of proof you described, in basic Euclidean geometry, around the age of 14 or so.
|
