| http://www.w3.org/ns/prov#value | - Even though the thought-??processes in a human mathematician???s mind is distinct from the processes governing automated theorem proving, at the base, mathematics is not sui generis human as much as they are patterns for discovery ??? imaginary numbers, complex numbers, other forms of irrational numbers even while having no correlates in nature or grounding in empirical reality are still about min
|
