<http://webisa.webdatacommons.org/prov/450093990>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://webisa.webdatacommons.org/241634591> .
<http://webisa.webdatacommons.org/241634591>	<http://www.w3.org/ns/prov#value>	"So we can might hypothesize a generalized Church-Turing thesis: as ???for all types A and B, all computable functions f : A ??? B can be implemented on Turing machines???." .
<http://webisa.webdatacommons.org/prov/450234863>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://webisa.webdatacommons.org/241634591> .
<http://webisa.webdatacommons.org/241634591>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/ns/prov#Entity> .
<http://webisa.webdatacommons.org/241634591>	<http://www.w3.org/ns/prov#wasQuotedFrom>	<scottaaronson.com> .