| http://www.w3.org/ns/prov#value | - This is an algebraic approach (in>> the sense of universal algebra), and, is thus relevant>> to the perspectives of Skolem.>> Well, I have no qualms with an algebraic development of mathematics, but> not for foundations: no primitive is purely syntactical when the> language is a language; equivalently, no proof or argument is ultimately> purely syntactical.>That is one of the questions for apoor
|
