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

Categories

<span>%d</span> bloggers like this:

## 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