| http://www.w3.org/ns/prov#value | - I don???t have a very big problem with mathematical Platonism, since I don???t think it of any great consequence. ???There are correct rules of syntax for programming languages which do not exist.??? As to the question of why mathematics `works???, I think there is a double answer: (1) we select axioms and structures that are useful, and (2) that principles in a universe in which we can exist can
|
