Handbook of Constructive Mathematics

— —

Douglas Bridges (University of Canterbury, Christchurch, New Zealand) Hajime Ishihara (Japan Advanced Institute of Science and Technology)

Handbook of Constructive Mathematics

Douglas Bridges (University of Canterbury, Christchurch, New Zealand), Hajime Ishihara (Japan Advanced Institute of Science and Technology), Michael Rathjen (University of Leeds) , Helmut Schwichtenberg (Ludwig-Maximilians-Universität Munchen)

$283.95

Hardback

Not in-store but you can order this
How long will it take?

Availability Information

We source books from suppliers in Australia and overseas. For books we don't currently have in stock, the time it takes to get them from our suppliers can vary widely - from a few days to a few months - so we check each book with each supplier to determine the expected time it will take to be supplied to us.

We then advise you accordingly. If the time taken to get any book is too long for you, you can let us know and we will cancel or adjust your order, and refund as required.

To find out the anticipated arrival time for specific items prior to ordering, please contact us by phone or email:

Phone +61 2 9264 3111, or 1800 4 BOOKS (1800 4 26657) if outside Sydney:
option 1 Abbey's Bookshop (Crime, History, Science, Kids & more) • info@abbeys.com.au
option 2 Language Book Centre (ESL & Foreign Languages) • language@abbeys.com.au
option 3 Galaxy Bookshop (Sci-fi, Fantasy, Romance, Graphic Novels) • sf@galaxybooks.com.au

QTY:

English

Cambridge University Press
11 May 2023

Set theory; Algebra; Geometry; Topology; Stochastics

Series: Encyclopedia of Mathematics and its Applications

Constructive mathematics – mathematics in which 'there exists' always means 'we can construct' – is enjoying a renaissance. fifty years on from Bishop's groundbreaking account of constructive analysis, constructive mathematics has spread out to touch almost all areas of mathematics and to have profound influence in theoretical computer science. This handbook gives the most complete overview of modern constructive mathematics, with contributions from leading specialists surveying the subject's myriad aspects. Major themes include: constructive algebra and geometry, constructive analysis, constructive topology, constructive logic and foundations of mathematics, and computational aspects of constructive mathematics. A series of introductory chapters provides graduate students and other newcomers to the subject with foundations for the surveys that follow. Edited by four of the most eminent experts in the field, this is an indispensable reference for constructive mathematicians and a fascinating vista of modern constructivism for the increasing number of researchers interested in constructive approaches.

Edited by: Douglas Bridges (University of Canterbury Christchurch New Zealand), Hajime Ishihara (Japan Advanced Institute of Science and Technology), Michael Rathjen (University of Leeds), Helmut Schwichtenberg (Ludwig-Maximilians-Universität Munchen)
Imprint: Cambridge University Press
Country of Publication: United Kingdom
Dimensions: Height: 250mm, Width: 176mm, Spine: 49mm
Weight: 1.630kg
ISBN: 9781316510865
ISBN 10: 1316510867
Series: Encyclopedia of Mathematics and its Applications
Pages: 800
Publication Date: 11 May 2023
Audience: College/higher education , Further / Higher Education
Format: Hardback
Publisher's Status: Active

Douglas Bridges is Professor Emeritus of Pure Mathematics at University of Canterbury, Christchurch, New Zealand. He is co-author, with the late Errett Bishop, of the monograph Constructive Analysis, as well as seven other books and almost 200 research papers in constructive mathematics. Hajime Ishihara is Professor of Mathematical Logic at Japan Advanced Institute of Science and Technology (JAIST). He has worked for over thirty years in constructive mathematics and mathematical logic, in which he is known for introducing 'Ishihara's tricks' and for opening up constructive reverse mathematics. Michael Rathjen was Professor of Mathematics at the Ohio State University and is currently Professor of Mathematics at the University of Leeds, England. His main research area is mathematical logic, especially proof theory, ordinal analysis, constructive and alternative set theories as well as intuitionism. Helmut Schwichtenberg is Professor Emeritus of Mathematics at Ludwig-Maximilians-Universität, Munich, Germany. He is co-author of the monographs Basic Proof Theory (1996, 2000) and Proofs and Computations (2012).