New Zealand mathematician who has developed Bishop-style constructive mathematics — a rigorous constructive development of real analysis and functional analysis.
Constructive Analysis (with Errett Bishop): a systematic constructive development of real analysis that is mathematically rigorous and practically applicable — every proof is a proof that a computation can be performed. Extended Bishop's programme to topology and algebra.
Discussing
Ask anything about Douglas Bridges — their ideas, influences, contradictions, legacy.
Sign in to start a conversation.