em pˌaɾtikulˈaɾ ˈes posˈiβle kˌonsiðeɾˈaɾ ˈuna kwˈaɾta pɾˌopjeðˈad ke pwˈeðe usˈaɾse pˌaɾa βˌaliðˈaɾ la tˈesis ðe tʃˈuɾtʃtˈuɾiŋ, de ke tˈoða funθjˈon kˌalkulˈaβle se pwˈeðe pɾˌoɣɾamˈaɾ en ˈuna mˈakina ðe tˈuɾiŋ o ˌekiβalˈɛntemˈente, en ˈun leŋɡwˈaxe ðe pɾˌoɣɾamaθjˈon sˌufiθjˈɛntemˈente xˌeneɾˈal:
En particular es posible considerar una cuarta propiedad que puede usarse para validar la tesis de Church-Turing, de que toda función calculable se puede programar en una máquina de Turing (o equivalentemente, en un lenguaje de programación suficientemente general):