Gives a complete overview of modern constructive mathematics and its applications through surveys by leading experts.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Anbieter: BooksRun, Philadelphia, PA, USA
Hardcover. Zustand: Good. New. It's a preowned item in good condition and includes all the pages. It may have some general signs of wear and tear, such as markings, highlighting, slight damage to the cover, minimal wear to the binding, etc., but they will not affect the overall reading experience. Artikel-Nr. 1316510867-11-1
Anzahl: 1 verfügbar
Anbieter: moluna, Greven, Deutschland
Zustand: New. InhaltsverzeichnisPreface Douglas Bridges, Hajime Ishihara, Michael Rathjen and Helmut Schwichtenberg Part I. Introductory: 1. Introduction to intuitionistic logic Michael Rathjen 2. Introduction to CZF: an appetizer Michael Rathjen 3. Artikel-Nr. 736809321
Anzahl: Mehr als 20 verfügbar
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: Neu. Neuware - 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. Artikel-Nr. 9781316510865
Anzahl: 1 verfügbar