From the church-turing thesis to the first-order algorithm theorem | IEEE Conference Publication | IEEE Xplore