Page "Saul Kripke" Paragraph 167
from
Wikipedia
" Another Approach: The Church-Turing ' Thesis ' as a Special Corollary of Gödel's Completeness Theorem ," in Computability: Gödel, Turing, Church, and beyond, Copeland, B. J., Posy, C., and Shagrir, O.
Page 1 of 1.
2.281 seconds.