Некоторые математические истины нельзя доказать

ВОТ ЧТО ИНТЕРЕСНО

В сокрушительном ударе по логическим пуристам теоремы о неполноте доказали, что внутри любой сложной математической системы всегда будут существовать истинные утверждения, которые принципиально не могут быть подтверждены правилами самой системы. Математика фундаментально и неизбежно несовершенна, построена на аксиомах, в которые мы просто слепо соглашаемся верить.

Из коллекции Stacky1 мин чтения

Некоторые математические истины нельзя доказать — STACKY / Наука

Темы этого фактаlogicmathematics

Одно открытие ведёт к другому.

Продолжите читать факты по этой теме.

Наука →

ЕЩЁ ОДНО ОТКРЫТИЕ?

Продолжите открытие

Вся тема →

Наука

Почему 0,999… — это единица

Поскольку человеческая интуиция часто подводит, ноль целых девять в периоде не просто бесконечно приближается к единице — это и есть единица. Если умножить…

Узнать больше

Наука

Теоретические машины могут вычислять любую математическую функцию

Тезис Черча — Тьюринга диктует абсолютные границы вычислимой логики. Он утверждает, что любая математически вычислимая функция может быть теоретически решена…

Узнать больше

Наука

Теорема Эрроу: идеальной системы голосования не существует

Математика агрессивно подтверждает, что идеальная демократия буквально невозможна. Теорема строго доказывает, что при выборе между тремя и более вариантами ни…

Узнать больше

Наука

Как аксиома выбора ломает привычную математику

Если позволить математикам устанавливать правила, реальность немедленно распадается на парадоксы. Принимая аксиому выбора, теоретики могут законно…

Узнать больше

Наука

Принцип Дирихле доказывает, что дубликаты обязаны существовать

Если у вас есть десять голубей и только девять клеток, в одной клетке обязательно должно быть два голубя. Это болезненно очевидное математическое правило…

Узнать больше

Наука

Прогнозирование будущего выбора ломает модели рационального принятия решений

Парадокс Ньюкома разрушает теорию ожидаемой полезности. Сверхразумный предсказатель предлагает вам две коробки: в одной тысяча долларов, в другой — миллион…

Узнать больше

Некоторые математические истины нельзя доказать

Большой мир.Маленькие открытия.

Продолжите открытие

Почему 0,999… — это единица

Теоретические машины могут вычислять любую математическую функцию

Теорема Эрроу: идеальной системы голосования не существует

Как аксиома выбора ломает привычную математику

Принцип Дирихле доказывает, что дубликаты обязаны существовать

Прогнозирование будущего выбора ломает модели рационального принятия решений

Большой мир.
Маленькие открытия.