The background to Church's work on computability and undecidability, based on his correspondence with Bernays during the years 1934-1937, is examined by Sieg in .
Ang background sa Simbahan ng trabaho sa computability at undecidability, batay sa kanyang mga sulat na may Bernays habang ang mga taong 1934-1937, ay napagmasdan sa pamamagitan ng Sieg sa.