Paper: Nachum Dershowitz and Yuri Gurevich, "A Natural Axiomatization of Computability and Proof of Church's Thesis" https://doi.org/10.2178/bsl/1231081370
Over the past few decades, probabilistic models have become an important tool for under-standing risks and decision making in practical financial systems.
A p-random restriction is a random partial input obtained by independently leaving each input variable unset with probability p setting them to either 0,1 with (1-p)/2 each.
An algebraic circuit computes a polynomial using addition and multiplication operators. Understanding the power of algebraic circuits has close connections to understanding general computation.
