теорема о неполноте 🎲
Автоматически добавлено Астрой для семантической связи
Пока нет связанных полок. Скоро появятся.
🌐 English — Incompleteness Theorem
A theorem in mathematical logic showing that any consistent formal system capable of expressing basic arithmetic cannot prove all truths about natural numbers.
🌐 中文 — 不完备定理
数理逻辑中的一个定理，表明任何能够表达基本算术的一致形式系统都无法证明关于自然数的所有真理。
🌐 العربية — مبرهنة عدم الاكتمال
مبرهنة في المنطق الرياضي تُظهر أن أي نظام شكلي متسق قادر على التعبير عن الحساب الأساسي لا يمكنه إثبات جميع الحقائق حول الأعداد الطبيعية.
🌐 Español — Teorema de incompletitud
Teorema de lógica matemática que muestra que cualquier sistema formal consistente capaz de expresar la aritmética básica no puede demostrar todas las verdades sobre los números naturales.
🌐 Français — Théorème d'incomplétude
Théorème de logique mathématique montrant que tout système formel cohérent capable d'exprimer l'arithmétique de base ne peut pas démontrer toutes les vérités sur les nombres naturels.
🌐 de — Unvollständigkeitssatz
Satz der mathematischen Logik, der besagt, dass jedes konsistente formale System, das grundlegende Arithmetik ausdrücken kann, nicht alle Wahrheiten über natürliche Zahlen beweisen kann.
🌐 pt — Teorema da incompletude
Teorema de lógica matemática que mostra que qualquer sistema formal consistente capaz de expressar aritmética básica não pode provar todas as verdades sobre números naturais.
🌐 tr — Eksiklik teoremi
Matematiksel mantıkta, temel aritmetiği ifade edebilen tutarlı herhangi bir biçimsel sistemin doğal sayılar hakkındaki tüm doğruları kanıtlayamayacağını gösteren teorem.
🌐 hi — अपूर्णता प्रमेय
गणितीय तर्क में एक प्रमेय जो दर्शाता है कि बुनियादी अंकगणित को व्यक्त करने में सक्षम कोई भी संगत औपचारिक प्रणाली प्राकृतिक संख्याओं के बारे में सभी सत्य सिद्ध नहीं कर सकती।