المؤلفون: Salmón, Nathan

المصدر: Logica Universalis. 17(2)

مصطلحات موضوعية: Algorithm, Church's thesis, Church-Turing thesis, Computability, Decidability, Decision procedure, Effectively calculable, Effective procedure, Turing, Pure Mathematics

وصف الملف: application/pdf

URL الوصول: https://escholarship.org/uc/item/1p51d5xv