Question on a paper of Patton's
in [Logic]
|
Prev: prime numbers
Next: How Can ZFC/PA do much of Math - it Can't Even Prove PA is Consistent(EASY PROOF)
From: Frederick Williams on 26 Jun 2010 08:40 This post refers to Thomas E. Patton, 'Church's Theorem on the Decision Problem', Notre Dame Journal of Formal Logic, volume VI, Number 2, April 1965. It will mean nothing to people not familiar with that paper. Formula (8b) on page 150 reads Az_2,y,Z_3 -> Ax,11,z_2 -> Ay,111,z_1 -> Gz_1 -> Hz_1 is there a misprint? Presumably not, so is there a clearer account of the transformation described at the foot of page 149 and the top of 150? [What I hate more than anything is my own stupidity.] -- I can't go on, I'll go on.
From: Frederick Williams on 26 Jun 2010 09:15
Frederick Williams wrote: > > This post refers to Thomas E. Patton, 'Church's Theorem on the Decision > Problem', Notre Dame Journal of Formal Logic, volume VI, Number 2, April > 1965. Which is here: http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.ndjfl/1093958155, by the way. > It will mean nothing to people not familiar with that paper. > > Formula (8b) on page 150 reads > > Az_2,y,Z_3 -> Ax,11,z_2 -> Ay,111,z_1 -> Gz_1 -> Hz_1 > > is there a misprint? Presumably not, so is there a clearer account of > the transformation described at the foot of page 149 and the top of 150? -- I can't go on, I'll go on. |