теорема гёделя о неполноте 🎲
Автоматически добавлено Астрой для семантической связи
Пока нет связанных полок. Скоро появятся.
🌐 English — Gödel's incompleteness theorems
Fundamental results in mathematical logic showing that any consistent formal system strong enough for arithmetic contains true statements it cannot prove.
🌐 中文 — 哥德尔不完备定理
数学逻辑中的基本定理，表明任何足以表达算术的一致形式系统都包含无法在该系统内证明的真命题。
🌐 العربية — مبرهنات غودل لعدم الاكتمال
نتائج أساسية في المنطق الرياضي تبين أن أي نظام صوري متسق وقوي بما يكفي للحساب يحتوي على عبارات صحيحة لا يمكن إثباتها داخله.
🌐 Español — Teoremas de incompletitud de Gödel
Resultados fundamentales de la lógica matemática que muestran que todo sistema formal consistente y suficientemente potente para la aritmética contiene enunciados verdaderos que no puede demostrar.
🌐 Français — Théorèmes d'incomplétude de Gödel
Résultats fondamentaux de la logique mathématique montrant que tout système formel cohérent et suffisamment puissant pour l'arithmétique contient des énoncés vrais qu'il ne peut pas démontrer.
🌐 de — Gödels Unvollständigkeitssätze
Grundlegende Ergebnisse der mathematischen Logik, die zeigen, dass jedes konsistente formale System, das stark genug für die Arithmetik ist, wahre Aussagen enthält, die es nicht beweisen kann.
🌐 pt — Teoremas da incompletude de Gödel
Resultados fundamentais da lógica matemática que mostram que todo sistema formal consistente e suficientemente forte para a aritmética contém enunciados verdadeiros que não pode provar.
🌐 tr — Gödel'in eksiklik teoremleri
Matematiksel mantıkta, aritmetik için yeterince güçlü her tutarlı biçimsel sistemin kanıtlayamadığı doğru ifadeler içerdiğini gösteren temel sonuçlar.
🌐 hi — गोडेल की अपूर्णता प्रमेयें
गणितीय तर्क के मूलभूत परिणाम जो दर्शाते हैं कि अंकगणित के लिए पर्याप्त शक्तिशाली कोई भी सुसंगत औपचारिक निकाय ऐसे सत्य कथन रखता है जिन्हें वह सिद्ध नहीं कर सकता।