Reverse Mathematics - Proofs from the Inside OutPevná vazba
Reverse Mathematics - Proofs from the Inside OutPevná vazba This book presents reverse mathematics to a general mathematical audience for the first time. In the two thousand years that mathematicians…
Specifikacia Reverse Mathematics - Proofs from the Inside OutPevná vazba
Reverse Mathematics - Proofs from the Inside OutPevná vazba
This book presents reverse mathematics to a general mathematical audience for the first time. In the two thousand years that mathematicians have been deriving theorems from axioms, it has often been asked: which axioms are needed to prove a given theorem? Reverse mathematics is a new field that answers some old questions.
In Reverse Mathematics, John Stillwell gives a representative view of this field, emphasizing basic analysis--finding the "right axioms" to prove fundamental theorems--and giving a novel approach to logic.Stillwell introduces reverse mathematics historically, describing the two developments that made reverse mathematics possible, both involving the idea of arithmetization. Only in the last two hundred years have some of these questions been answered, and only in the last forty years has a systematic approach been developed. The first was the