Reverse mathematics : problems, reductions, and proofs / Damir D. Dzhafarov, Carl Mummert.
Reverse mathematics studies the complexity of proving mathematical theorems and solving mathematical problems. Typical questions include: Can we prove this result without first proving that one? Can a computer solve this problem? A highly active part of mathematical logic and computability theory, t...
全面介绍
Saved in: