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

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	The proof that there is an algorithm that, when given $n$, returns $f(n)$, is short, simple, and somewhat thought-provoking.
http://www.w3.org/ns/prov#wasQuotedFrom	mathoverflow.net