You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
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, the subject offers beautiful results as well as significant foundational insights. This text provides a modern treatment of reverse mathematics that combines computability theoretic reductions and proofs in formal arithmetic to measure the complexity of theorems and problems from all areas of mathematics. It includes detailed introductions to techniques from computable mathematics, Weihrauch style ...
This book combines psychological and mathematical perspectives to analyse how qualitative mathematics can be used to create models of social and psychological processes.
View the abstract.
View the abstract.
View the abstract.
View the abstract.