Michael Mitzenmacher has a great post this morning on a humorous attempt to outsource the undecidable halting problem to GetACoder.com, complete with advice from Georg Cantor.
Categories
Michael Mitzenmacher has a great post this morning on a humorous attempt to outsource the undecidable halting problem to GetACoder.com, complete with advice from Georg Cantor.
4 replies on “Outsourcing the Halting Problem”
[…] outsourcing the halting problem might not get you very far, outsourcing PR may be the next new thing for retailers. Saul Hansell at […]
LikeLike
What about Mechanical Turk instead of GetACoder.com 😉
LikeLike
Is there anything in the terms of service about submitting recursively enumerable (but not recursive) tasks?
http://en.wikipedia.org/wiki/Recursively_enumerable_language
LikeLike
It seems as if Alan Turing has paid a visit to RentACoder:
http://www.rentacoder.com/RentACoder/misc/BidRequests/ShowBidRequest.asp?lngBidRequestId=1146467
LikeLike