Диагональный аргумент

Диагональный аргумент может относиться к:

• Диагональный аргумент (прием доказательства), приемы доказательства, используемые в математике.

Диагональный аргумент в математике — это метод, используемый при доказательстве следующих теорем:

• Диагональный аргумент Кантора (самый ранний)
• Теорема Кантора
• парадокс Рассела
• Диагональная лемма
  • Первая теорема Гёделя о неполноте
  • Теорема Тарского о неопределимости
• Проблема остановки
• Теорема рекурсии Клини

Смотрите также

• Диагонализация (разрешение неоднозначности)