Alan Turing and the Foundations of Computable Analysis
From MaRDI portal
Publication:3174639
DOI10.2178/bsl/1309952319zbMath1238.03003MaRDI QIDQ3174639
Publication date: 11 October 2011
Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/bsl/1309952319
01A60: History of mathematics in the 20th century
03-03: History of mathematical logic and foundations
03D78: Computation over the reals, computable analysis
Related Items
Cites Work