Concepedia

Noncomputability in analysis and physics: A complete determination of the class of noncomputable linear operators

Marian Boykan Pour‐El, Ian Richards

Advances in Mathematics · 1983 · 61 citations · 12 references

DOI

Concepts

References

12

Foundations of Constructive Analysis.

Abraham Robinson, Errett Bishop · American Mathematical Monthly · 1968 · 1.3K citations

, , +4

On the definitions of computable real continuous functions

Andrzej Grzegorczyk · Fundamenta Mathematicae · 1957 · 292 citations

, , +7

The wave equation with computable initial data such that its unique solution is not computable

Marian Boykan Pour‐El, Ian Richards · Advances in Mathematics · 1981 · 240 citations

, , +16

Computable functionals

Andrzej Grzegorczyk · Fundamenta Mathematicae · 1955 · 195 citations · Full text

A computable ordinary differential equation which possesses no computable solution

Marian Boylan Pour-el, Ian Richards · Annals of Mathematical Logic · 1979 · 166 citations

, , +9