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.

Переводы на другие языки
Войдите, чтобы добавить личную заметку и отметить слово как «Учу» / «Изучено».
Чат словохаба — общий для всех языков
Пишите на своём языке — другие увидят перевод на свой. Сообщения проходят модерацию.
Argumento diagonal — это слово, вокруг которого собрано всё, что с ним связано на сайте. Здесь вы можете найти товары, услуги, медиа (видео, аудио, текст), а также упоминания в комментариях и статьях. Если вы хотите создать что-то своё — выберите подходящий тип ниже. Ваш контент появится в разделе «Что есть» на этой же странице.
Что есть на сайте

Пока нет связанных полок. Скоро появятся.

Связи
Что можно создать на слово «Argumento diagonal»
Справочник-перевод
🌐 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 — विकर्ण तर्क

एक उपपत्ति तकनीक जो किसी समुच्चय के सभी अवयवों की सूची के विरुद्ध विकर्णीकरण करके प्रतिउदाहरण बनाती है और अगणनीयता सिद्ध करने में प्रयुक्त होती है।


🔙 Входит в состав / Связи: