<?xml version="1.0" encoding="UTF-8"?>

<record version="11" id="8201">
 <title>paradox</title>
 <name>Paradox</name>
 <created>2006-07-30 15:07:34</created>
 <modified>2007-05-14 17:43:23</modified>
 <type>Definition</type>
 <creator id="1863" name="Wkbj79"/>
 <author id="1863" name="Wkbj79"/>
 <classification>
	<category scheme="msc" code="03B99"/>
	<category scheme="msc" code="03A05"/>
 </classification>
 <synonyms>
	<synonym concept="paradox" alias="paradoxical"/>
	<synonym concept="paradox" alias="paradoxically"/>
	<synonym concept="paradox" alias="dilemma"/>
 </synonyms>
 <preamble>\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}

\usepackage{psfrag}
\usepackage{graphicx}
\usepackage{amsthm}
\usepackage{xypic}
</preamble>
 <content>A {\sl paradox\/} is an assertion that is apparently self-contradictory, though based on a valid deduction from acceptable premises.

Paradoxes typically lead to a reevaluation of the axioms of mathematics.  \PMlinkescapetext{Even} after axioms are assumed so that the paradox is averted, the statement is still usually referred to as a paradox.

Occasionally, one may refer to a surprising result as a paradox.  Such is the case in the birthday paradox, which is not apparently self-contradictory.

Examples of paradoxes include:

\begin{itemize}
\item Banach-Tarski paradox
\item binary tree paradox
\item \PMlinkname{birthday paradox}{BirthdayParadox}
\item Burali-Forti paradox
\item Cantor's paradox
\item Hausdorff paradox
\item Russell's paradox
\item Simpson's paradox
\item Zeno's paradox
\end{itemize}

</content>
</record>
