 As previously mentioned, Section 9 of Turing’s 1936 paper offered a number of arguments for the thesis. Kripke attempts to build a mathematical demonstration of the Church-Turing thesis around the second of these, Turing’s II, claiming that his demonstration is “very close” to Turing’s (Kripke 2013: 80). (Although Kripke admits that he does “not find [Turing’s] argument II to be entirely clearly presented” (2013: 81) and, in its detail, the Kripke argument differs from Turing’s argument.) 