Jump to ContentJump to Main Navigation
From Sets and Types to Topology and Analysis
Users without a subscription are not able to see the full content.

From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics

Laura Crosilla and Peter Schuster

Abstract

Constructive mathematics is a vital area of research which has gained special attention in recent years due to the distinctive presence of computational content in its theorems. This characteristic had been already stressed by Bishop in his fundamental contribution to the subject, Foundations of Constructive Analysis (1967). Following Bishop's new approach to mathematics based on intuitionistic logic, various formal systems were introduced in the early 1970s with the intent to clarify the notion of set theory underlying his work. This book addresses the relationship between foundations and pra ... More

Keywords: constructive mathematics, constructive set theory, constructive type theory, formal topology, constructive analysis, Bishop

Bibliographic Information

Print publication date: 2005 Print ISBN-13: 9780198566519
Published to Oxford Scholarship Online: September 2007 DOI:10.1093/acprof:oso/9780198566519.001.0001

Authors

Affiliations are at time of print publication.

Laura Crosilla, editor
Universite di Firenze

Peter Schuster, editor
Mathematical Institut, Universitaet Munich

Subscriber Login

Forgotten your password?