Soon after, Tony Hoare gave the problem its present formulation.
Peatselt pärast seda sõnastas Tony Hoare selle probleemi ümber einestavate filosoofide probleemina..