| http://www.w3.org/ns/prov#value | - Godel, Turing, ??? were not ordinary pure mathematics, they were interested in questions related to real world, e.g. Turing machines needed *non-mathematical* justification to be accepted as the correct definition of mechanically computable (See Turing???s paper).
|
