对角线论证 🎲
一种证明方法，通过对某个集合所有元素组成的列表进行对角化来构造反例，常用于证明不可数性。
Пока нет связанных полок. Скоро появятся.
🌐 English — Diagonal argument
A proof technique that constructs a counterexample by diagonalizing against a list of all members of a set, used to prove uncountability.
🌐 中文 — 对角线论证
一种证明方法，通过对某个集合所有元素组成的列表进行对角化来构造反例，常用于证明不可数性。
🌐 العربية — البرهان القطري
أسلوب برهاني يبني مثالاً مضاداً عبر القيام بالتوازي القطري مقابل قائمة تضم جميع عناصر مجموعة ما، ويُستخدم لإثبات عدم القابلية للعد.
🌐 Español — Argumento diagonal
Técnica de demostración que construye un contraejemplo diagonalizando contra una lista de todos los elementos de un conjunto, empleada para probar la no numerabilidad.
🌐 Français — Argument diagonal
Technique de démonstration qui construit un contre-exemple en diagonalisant contre une liste de tous les éléments d'un ensemble, utilisée pour prouver la non-dénombrabilité.
🌐 de — Diagonalargument
Ein Beweisverfahren, das durch Diagonalisierung gegen eine Liste aller Elemente einer Menge ein Gegenbeispiel konstruiert und die Überabzählbarkeit zeigt.
🌐 pt — Argumento diagonal
Técnica de prova que constrói um contraexemplo ao diagonalizar contra uma lista de todos os elementos de um conjunto, usada para demonstrar a não enumerabilidade.
🌐 tr — Köşegen argümanı
Bir kümenin tüm elemanlarının listesine karşı köşegenleştirme yaparak karşı örnek kuran ve sayılamazlığı kanıtlamak için kullanılan ispat tekniği.
🌐 hi — विकर्ण तर्क
एक उपपत्ति तकनीक जो किसी समुच्चय के सभी अवयवों की सूची के विरुद्ध विकर्णीकरण करके प्रतिउदाहरण बनाती है और अगणनीयता सिद्ध करने में प्रयुक्त होती है।