PREFERRED TERM
قضیه ناتمامیت گودل
TYPE
-
http://www.irandoc.ac.ir/onto/irandoc-meta/Concept
BROADER CONCEPT
RELATED CONCEPTS
SCOPE NOTE
-
این قضیه که هر دستگاه حسابی صوری نا تمام است به این معنی که اگر سازگار باشد نمیتواند سازگاری خود را اثبات کند.
IN OTHER LANGUAGES
Godel incompleteness theorem
English
URI
http://www.irandoc.acir/onto/irandoc/MAT0007295