اصطلاح مرجح
تز چرچ
نوع
-
http://www.irandoc.ac.ir/onto/irandoc-meta/Concept
مفهوم اعم
مفهومهای وابسته
اصطلاحهای نامرجح
-
تز تورینگ
یادداشت دامنه
-
یک تابع به مفهوم شهودی، محاسبه پذیر است اگر و تنها اگر قابل محاسبه بوسیله ماشین تورینگ باشد.
در زبان های دیگر
Church thesis
English
URI
http://www.irandoc.acir/onto/irandoc/MAT0007234