Foundations of Constructive Analysis

Bishop, E. (1967). Foundations of Constructive Analysis. McGraw-Hill.

Type

Book

Intellectual base

Textbook

Year

1967

Link

https://archive.org/details/foundationsofcon0000bish

Cited from

computer_science

Cited by

1 citation across 1 artifact.

Each citation links to the sentence it supports in the citing article.

Primes

• Algorithm
  • The constructive-versus-existential proof distinction (Bishop, 1967)

    This sourceFounds constructive analysis, distinguishing non-constructive existential proofs from constructive proofs whose 'performable operations' produce explicit results

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:013f4fa32ffe · see in the full table