In the 1920s Post proved results similar to those which Gödel, Church and Turing discovered later, but he did not publish them.
Sa 1920s Post proved mga resulta na katulad sa mga na Gödel, Simbahan at Turing natuklasan mamaya, ngunit siya ay hindi mai-publish ang mga ito.