اصطلاح مرجح
قضیه ناتمامیت گودل
نوع
-
http://www.irandoc.ac.ir/onto/irandoc-meta/Concept
مفهوم اعم
مفهومهای وابسته
یادداشت دامنه
-
این قضیه که هر دستگاه حسابی صوری نا تمام است به این معنی که اگر سازگار باشد نمیتواند سازگاری خود را اثبات کند.
در زبان های دیگر
Godel incompleteness theorem
English
URI
http://www.irandoc.acir/onto/irandoc/MAT0007295