Chris Freiling
Freiling's Axiom of Symmetry (AX) is a set-theoretic axiom proposed by Chris Freiling. The conjunction of AX with the axiom of choice entails that the continuum hypothesis does not hold.
Let A be the set of functions mapping real numbers into countable sets of real numbers. Given a function f in A, and some arbitrary real numbers x and y, it is generally held that x is in f(y) with probability 0, i.e. x is not in f(y) with probability 1. Similarly, y is not in f(x) with probability 1. AX states:
- For every f in A, there exist x and y such that x is not in f(y) and y is not in f(x).
Probabilistic intuition strongly supports this proposition.
Referenced By
Continuum Hypothesis. | Continuum hypothesis | Generalized Continuum Hypothesis | Hilbert's first problem | Hilberts first problem | List of mathematical topics (D-F) | List of mathematical topics (F-Z)
|
