constructive mathematics, realizability, computability
propositions as types, proofs as programs, computational trinitarianism
analysis (differential/integral calculus, functional analysis, topology)
metric space, normed vector space
open ball, open subset, neighbourhood
convergence, limit of a sequence
compactness, sequential compactness
continuous metric space valued function on compact metric space is uniformly continuous
…
…
This pages compiles material related to the book
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
Errett Bishop, Douglas Bridges:
Constructive analysis
Grundlehren der mathematischen Wissenschaften 279,
Springer (1985)
on the foundations of constructive mathematics in general (cf. Bishop's constructive mathematics) and on constructive analysis in particular.
Last revised on February 8, 2023 at 10:03:49. See the history of this page for a list of all contributions to it.