PREFERRED TERM
تز چرچ
TYPE
-
http://www.irandoc.ac.ir/onto/irandoc-meta/Concept
BROADER CONCEPT
RELATED CONCEPTS
ENTRY TERMS
-
تز تورینگ
SCOPE NOTE
-
یک تابع به مفهوم شهودی، محاسبه پذیر است اگر و تنها اگر قابل محاسبه بوسیله ماشین تورینگ باشد.
IN OTHER LANGUAGES
Church thesis
English
URI
http://www.irandoc.acir/onto/irandoc/MAT0007234