About: http://webisa.webdatacommons.org/147606063

Property	Value
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/ns/prov#Entity
http://www.w3.org/ns/prov#value	There is a sense in which that???s not formalizable, in the sense that if there were an algorithm which generated all and only correct mathematical proofs, we could not prove that it was correct [laughs].
http://www.w3.org/ns/prov#wasQuotedFrom	harvardphilosophy.com