nLab Foundations of Constructive Analysis

This pages compiles material related to the book

  • Errett Bishop,

    Foundations of Constructive Analysis

    McGraw-Hill (1967)

    [p. ix:] This book is a piece of constructivist propaganda, designed to show that there does exist a satisfactory algebrative [to classical mathematics]. To this end we develop a large portion of abstract analysis within a constructive framework.

revised as

on the foundations of constructive mathematics in general (cf. Bishop's constructive mathematics) and on constructive analysis in particular.

category: reference

Last revised on February 8, 2023 at 10:03:49. See the history of this page for a list of all contributions to it.