Парадокс Банаха — Тарского, или парадокс удвоения шара, говорит, что трёхмерный шар равносоставлен двум своим копиям.
Два подмножества евклидова пространства называются равносоставленными, если одно можно разбить на конечное число «кусков» и составить из них второе. При этом для удвоения шара достаточно пяти кусков, но четырёх недостаточно.
Более точно, два множества A и B являются равносоставленными, если их можно представить как конечное объединение непересекающихся подмножеств , так, что для каждого i подмножество Ai конгруэнтно Bi.
Верен также более сильный вариант парадокса:Любые два ограниченных подмножества евклидова пространства с непустой внутренностью являются равносоставленными.
Ввиду своей неправдоподобности, этот парадокс часто используется как довод против принятия аксиомы выбора, которая существенно используется при построении такого разбиения. Принятие подходящей альтернативной аксиомы позволяет доказать невозможность указанного разбиения, не оставляя места для этого парадокса.
Парадокс был открыт в 1926 году Стефаном Банахом и Альфредом Тарским. Очень похож на более ранний парадокс Хаусдорфа и его доказательство основано на той же идее. Поэтому более правильно называть парадоксом Хаусдорфа — Банаха — Тарского. Современные науки, использующие логику в качестве инструмента познания, нередко наталкиваются на теоретические противоречия либо на противоречия теории опыту. Это бывает обусловлено неверной аксиоматизацией теорий, логическими ошибками в построении суждений, несовершенством существующих в настоящее время научных методов или недостаточной точностью используемых в опытах инструментов.
Наличие парадокса стимулирует к новым исследованиям, более глубокому осмыслению теории, её «очевидных» постулатов и нередко приводит к полному её пересмотру.
Примерами парадоксов в науке могут служить Парадокс Банаха — Тарского, Парадокс Смейла, Парадокс Хаусдорфа, ЭПР-парадокс
Парадокс в логике — это противоречие, имеющее статус логически корректного вывода и, вместе с тем, представляющее собой рассуждение, приводящее к взаимно исключающим заключениям. Логическая ошибка парадокса в отличие от паралогизма и софизма не обнаружена пока из-за несовершенства существующих методов логики.
Различаются такие разновидности логических парадоксов, как апория и антиномия.
Апория характеризуется наличием аргумента, противоречащего очевидному, общепринятому мнению, здравому смыслу.
Антиномия — наличием двух противоречащих друг другу, одинаково доказуемых суждений.