"Paper: Yuchen Zhang, John C Duchi, Michael I Jordan, Martin J Wainwright, Information-theoretic lower bounds for distributed statistical estimation with communication constraints"
Paper: Nachum Dershowitz and Yuri Gurevich, "A Natural Axiomatization of Computability and Proof of Church's Thesis" https://doi.org/10.2178/bsl/1231081370
