| http://www.w3.org/ns/prov#value | - I am really as much discussing how human mathematicians can trust mathematics as I am how AIs can trust mathematics - when we have all that G??del and L??b and Tarski stuff flying around, some people are tempted to say Oh, mathematics can not really prove things, therefore not-Platonism and not-infinities", which I think is a mistake.
|
