Talk:Friedberg–Muchnik theorem